Bibliografie tematiche / Formal methds

Indice

  1. Articoli di riviste
  2. Tesi
  3. Libri
  4. Capitoli di libri
  5. Atti di convegni
  6. Rapporti di organizzazioni

Letteratura scientifica selezionata sul tema "Formal methds"

Autore: Grafiati
Pubblicato: 4 giugno 2021
Ultima modifica: 19 febbraio 2022

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Formal methds".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Articoli di riviste sul tema "Formal methds"

1

Woodcock, Jim, Peter Gorm Larsen, Juan Bicarregui, and John Fitzgerald. "Formal methods." ACM Computing Surveys 41, no. 4 (October 2009): 1–36. http://dx.doi.org/10.1145/1592434.1592436.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Berry, Daniel M. "Formal Methods:." Electronic Notes in Theoretical Computer Science 25 (1999): 10–22. http://dx.doi.org/10.1016/s1571-0661(04)00127-6.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Leveson, Nancy. "Formal methods." ACM SIGSOFT Software Engineering Notes 17, no. 1 (January 1992): 49–50. http://dx.doi.org/10.1145/134292.134298.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Wing, Jeannette M. "Formal methods." ACM SIGAda Ada Letters 33, no. 3 (November 29, 2013): 85–86. http://dx.doi.org/10.1145/2658982.2527291.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

van der Linden, Frank J. "Formal methods." ACM SIGPLAN Notices 29, no. 7 (July 1994): 29–38. http://dx.doi.org/10.1145/181593.184668.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Clarke, Edmund M., and Jeannette M. Wing. "Formal methods." ACM Computing Surveys 28, no. 4 (December 1996): 626–43. http://dx.doi.org/10.1145/242223.242257.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Emerson, E. Allen. "Automated formal methods." ACM SIGSOFT Software Engineering Notes 25, no. 1 (January 2000): 49. http://dx.doi.org/10.1145/340855.340886.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Jones, Cliff. "Formal methods light." ACM Computing Surveys 28, no. 4es (December 1996): 121. http://dx.doi.org/10.1145/242224.242380.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Moore, J. Strother. "Functional formal methods." ACM SIGPLAN Notices 37, no. 9 (September 17, 2002): 123. http://dx.doi.org/10.1145/583852.581490.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

George, Louis. "Non-Formal Methods of Chemistry Education." Mapana - Journal of Sciences 4, no. 1 (July 18, 2005): 36–41. http://dx.doi.org/10.12723/mjs.6.8.

Testo completo
Abstract (sommario):
From about 1980' s non•formai education became very popular in India, but the thrust from the establishment and promotions through official channels made the movement formal in operative terms. Though nan-formal was defined on paper in terms Of flexibility, openness, ease Of entry, relevance to life, creativity etc, in effect, much of what was provided under this wos sub-standard education for the poor and disadvantaged groups. Various agencies made commendable prognss in the Oi non-forrnal education in science and one Of them whick made remarkable contribution to spread the spirit Of science
Gli stili APA, Harvard, Vancouver, ISO e altri
Più fonti

Tesi sul tema "Formal methds"

1

Al-Jaljouli, Raja Computer Science &amp Engineering Faculty of Engineering UNSW. "A proposed security protocol for data gathering mobile agents." Awarded by:University of New South Wales. School of Computer Science and Engineering, 2006. http://handle.unsw.edu.au/1959.4/23999.

Testo completo
Abstract (sommario):
We address the security issue of the data which mobile agents gather as they are traversing the Internet. Our goal is to devise a security protocol that truly secures the data which mobile agents gather. Several cryptographic protocols were presented in the literature asserting the security of gathered data. Formal verification of the protocols reveals unforeseen security flaws, such as truncation or alteration of the collected data, breaching the privacy of the gathered data, sending others data under the private key of a malicious host, and replacing the collected data with data of similar a
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Razali, Rozilawati. "Usability of semi-formal and formal methods integration : empirical assessments." Thesis, University of Southampton, 2008. https://eprints.soton.ac.uk/265391/.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Fredriksen, Inge. "Formal Methods for System Development." Thesis, Norwegian University of Science and Technology, Department of Engineering Cybernetics, 2009. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-9991.

Testo completo
Abstract (sommario):
<p>Two main types of formal methods have been investigated, formal specification and formal verification. Focus for formal verification has been on the concept of un-timed model checking. Some dominating formal specification languages, VDM and Z, and some prominent model checkers, FDR, Spin, and LTSA, have been learnt and presented. A tutorial for the formal verification tool Spin is created. The tutorial is example driven and describes the description language Promela and the verification methods available in Spin. Care has been taken to illustrate reasoning about the results from Spin. Top
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Matthews, Chris, and mikewood@deakin edu au. "Fuzzy concepts and formal methods." Deakin University. School of Management Information Systems, 2001. http://tux.lib.deakin.edu.au./adt-VDU/public/adt-VDU20051201.154843.

Testo completo
Abstract (sommario):
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modelling of system properties and behaviour. However some system problems, particularly those drawn from the information systems problem domain, may be difficult to model in crisp or precise terms. It may also be desirable that formal modelling should commence as early as possible, even when our understanding of parts of the problem domain is only approximate. This thesis suggests fuzzy set theory as a possible representati
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Chen, Y. "Formal methods for global synchrony." Thesis, University of Oxford, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.365295.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Hinchey, Michael Gerard. "Structural design and formal methods." Thesis, University of Cambridge, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.624390.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Read, Simon. "Formal methods for VLSI design." Thesis, University of Manchester, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.239786.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Wood, Clark S. M. Massachusetts Institute of Technology. "A formal methods safe harbor." Thesis, Massachusetts Institute of Technology, 2019. https://hdl.handle.net/1721.1/122219.

Testo completo
Abstract (sommario):
Thesis: S.M. in Technology and Policy, Massachusetts Institute of Technology, School of Engineering, Institute for Data, Systems, and Society, 2019<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (pages 77-84).<br>We discuss a problem: Internet of Things devices running software are vulnerable to accidents and exploitation, a technology solution: preventing exploitable bugs by developing machine-checked proofs of software correctness and security, and a policy lever to incentivize adoption of this solution: a safe harbor from FTC unfairness prosecution for manuf
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Yao, Yow-Wei. "Formal methods for protocol conversion /." The Ohio State University, 1991. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487693923198251.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Banks, Michael J. "On confidentiality and formal methods." Thesis, University of York, 2012. http://etheses.whiterose.ac.uk/2709/.

Testo completo
Abstract (sommario):
The contemporary challenge of engineering verifiably secure software has motivated various techniques for measuring and regulating the flow of confidential data from systems to their users. Unfortunately, these techniques suffer from a lack of integration with modern formal methods for software development, which inhibits their application in practice. This thesis proposes a novel approach for integrating information flow security concerns with formal methods. Working in the Unifying Theories of Programming (UTP), this thesis presents a generic framework for modelling interactions between user
Gli stili APA, Harvard, Vancouver, ISO e altri
Più fonti

Libri sul tema "Formal methds"

1

Boulanger, Jean-Louis, ed. Formal Methods. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2013. http://dx.doi.org/10.1002/9781118561898.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Havelund, Klaus, Jan Peleska, Bill Roscoe, and Erik de Vink, eds. Formal Methods. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-95582-7.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Nielson, Flemming, and Hanne Riis Nielson. Formal Methods. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-05156-3.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Araki, Keijiro. Formal methods: Proceedings. Berlin: Springer, 2003.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Brat, Guillaume, Neha Rungta, and Arnaud Venet, eds. NASA Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38088-4.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Derrick, John, Stefania Gnesi, Diego Latella, and Helen Treharne, eds. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-30729-4.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Havelund, Klaus, Gerard Holzmann, and Rajeev Joshi, eds. NASA Formal Methods. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-17524-9.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Polikarpova, Nadia, and Steve Schneider, eds. Integrated Formal Methods. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66845-1.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Leuschel, Michael, and Heike Wehrheim, eds. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-00255-7.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Albert, Elvira, and Emil Sekerinski, eds. Integrated Formal Methods. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10181-1.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Più fonti

Capitoli di libri sul tema "Formal methds"

1

Lysne, Olav. "Formal Methods." In The Huawei and Snowden Questions, 75–85. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-74950-1_9.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

O’Regan, Gerard. "Formal Methods." In Undergraduate Topics in Computer Science, 185–207. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-57750-0_12.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Peled, Doron A. "Formal Methods." In Handbook of Software Engineering, 193–222. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-00262-6_5.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Turner, Raymond. "Formal Methods." In Computational Artifacts, 151–60. Berlin, Heidelberg: Springer Berlin Heidelberg, 2018. http://dx.doi.org/10.1007/978-3-662-55565-1_18.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Kao, Ming-Yang. "Formal Methods." In Encyclopedia of Algorithms, 322. Boston, MA: Springer US, 2008. http://dx.doi.org/10.1007/978-0-387-30162-4_147.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

O’Regan, Gerard. "Formal Methods." In The Innovation in Computing Companion, 133–36. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-02619-6_27.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

O’Regan, Gerard. "Formal Methods." In Introduction to Software Quality, 289–309. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-06106-1_17.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

O’Regan, Gerard. "Formal Methods." In Mathematics in Computing, 89–108. London: Springer London, 2012. http://dx.doi.org/10.1007/978-1-4471-4534-9_5.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Hall, Anthony, Jonathan P. Bowen, Michael G. Hinchey, Jeannette M. Wing, and C. A. R. Hoare. "Formal Methods." In High-Integrity System Specification and Design, 127–230. London: Springer London, 1999. http://dx.doi.org/10.1007/978-1-4471-3431-2_3.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Craigen, Dan, and Karen Summerskill. "Formal Methods." In Workshops in Computing, 33–62. London: Springer London, 1990. http://dx.doi.org/10.1007/978-1-4471-3532-6_4.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri

Atti di convegni sul tema "Formal methds"

1

"[Front cover]." In 2009 Fourth South-East European Workshop on Formal Methods. Formal Methods for Web Services, Formal Methods for Agent-Based Systems (SEEFM 2009). IEEE, 2009. http://dx.doi.org/10.1109/seefm.2009.22.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

"Table of contents." In 2009 Fourth South-East European Workshop on Formal Methods. Formal Methods for Web Services, Formal Methods for Agent-Based Systems (SEEFM 2009). IEEE, 2009. http://dx.doi.org/10.1109/seefm.2009.8.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Wing, Jeannette M. "Formal methods." In the 2013 ACM SIGAda annual conference. New York, New York, USA: ACM Press, 2013. http://dx.doi.org/10.1145/2527269.2527291.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Cavada, Roberto, Alessandro Cimatti, Anders Franzen, Krishnamani Kalyanasundaram, Marco Roveri, and R. K. Shyamasundar. "Computing Predicate Abstractions by Integrating BDDs and SMT Solvers." In Formal Methods in Computer Aided Design. IEEE, 2007. http://dx.doi.org/10.1109/famcad.2007.35.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Shore, Richard P. "A Use Case Interpretation of B AMN." In 2nd Irish Workshop on Formal Methods. BCS Learning & Development, 1998. http://dx.doi.org/10.14236/ewic/fm1998.13.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Couturier, Raphaël. "Formal engineering of the bitonic sort using PVS." In 2nd Irish Workshop on Formal Methods. BCS Learning & Development, 1998. http://dx.doi.org/10.14236/ewic/fm1998.2.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Gibbons, Hugh. "Declarative View of Imperative Programs." In 2nd Irish Workshop on Formal Methods. BCS Learning & Development, 1998. http://dx.doi.org/10.14236/ewic/fm1998.3.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Goldson, Doug. "Multiprogram Design in the theory of Owicki and Gries." In 5th Irish Workshop on Formal Methods. BCS Learning & Development, 2001. http://dx.doi.org/10.14236/ewic/iwfm2001.2.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Droschl, Georg. "On the Integration of Formal Methods: Events and Scenarios in PVS and VDM." In 3rd Irish Workshop on Formal Methods. BCS Learning & Development, 1999. http://dx.doi.org/10.14236/ewic/iwfm1999.4.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Bryans, Jeremy, and John Derrick. "Stochastic Specification and Verification." In 3rd Irish Workshop on Formal Methods. BCS Learning & Development, 1999. http://dx.doi.org/10.14236/ewic/iwfm1999.3.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri

Rapporti di organizzazioni sul tema "Formal methds"

1

WETSTONE TECHNOLOGIES CORTLAND NY. Formal Methods Framework. Fort Belvoir, VA: Defense Technical Information Center, February 2002. http://dx.doi.org/10.21236/ada399514.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Black, Paul E. Formal methods for statistical software. Gaithersburg, MD: National Institute of Standards and Technology, October 2019. http://dx.doi.org/10.6028/nist.ir.8274.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Teitelbaum, Ray. A Prototype Formal Methods Environment. Fort Belvoir, VA: Defense Technical Information Center, May 2001. http://dx.doi.org/10.21236/ada389751.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Witzel, Wayne, Kenneth Michael Rudinger, and Mohan Sarovar. Versatile Formal Methods Applied to Quantum Information. Office of Scientific and Technical Information (OSTI), November 2015. http://dx.doi.org/10.2172/1331534.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Moriconi, Mark. Structure Based Formal Methods for Software Engineering. Fort Belvoir, VA: Defense Technical Information Center, July 1989. http://dx.doi.org/10.21236/ada211660.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Weber, D. G., Cheryl Barbasch, and James Morris. Ada Formal Methods in the STARS Environment. Fort Belvoir, VA: Defense Technical Information Center, June 1992. http://dx.doi.org/10.21236/ada257431.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Rushby, John. A Formal Methods Workbench for Critical Systems. Fort Belvoir, VA: Defense Technical Information Center, May 2000. http://dx.doi.org/10.21236/ada378690.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Heitmeyer, Constance. On the Need for Practical Formal Methods. Fort Belvoir, VA: Defense Technical Information Center, January 1998. http://dx.doi.org/10.21236/ada465485.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Li, Wenchao. Formal Methods for Reverse Engineering Gate-Level Netlists. Fort Belvoir, VA: Defense Technical Information Center, December 2013. http://dx.doi.org/10.21236/ada623698.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Meadows, Catherine. Open Issues in Formal Methods for Cryptographic Protocol Analysis. Fort Belvoir, VA: Defense Technical Information Center, April 2001. http://dx.doi.org/10.21236/ada385327.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Ti possono interessare anche gli elenchi estesi di opere sul tema "Formal methds":
Articoli di riviste Tesi Libri
Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!

Vai alla bibliografia