Bibliografie tematiche / Formal methods (Computer science) / Articoli di riviste

Articoli di riviste sul tema "Formal methods (Computer science)"

Segui questo link per vedere altri tipi di pubblicazioni sul tema: Formal methods (Computer science).
Autore: Grafiati
Pubblicato: 4 giugno 2021
Ultima modifica: 29 luglio 2024

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

Scegli il tipo di fonte:

Vedi i top-50 articoli di riviste per l'attività di ricerca sul tema "Formal methods (Computer science)".

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.

Vedi gli articoli di riviste di molte aree scientifiche e compila una bibliografia corretta.

1

Tremblay, G. "Formal methods: mathematics, computer science or software engineering?" IEEE Transactions on Education 43, n. 4 (2000): 377–82. http://dx.doi.org/10.1109/13.883345.

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

Sergienko, I. V., I. N. Parasyuk e A. I. Provotar. "Formal methods in computer technologies". Cybernetics and Systems Analysis 34, n. 4 (luglio 1998): 609–15. http://dx.doi.org/10.1007/bf02667006.

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

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
4

Skevoulis, Sotiris, e Maria Falidas. "Integrating formal methods tools into undergraduate computer science curriculum". ACM SIGCSE Bulletin 34, n. 3 (settembre 2002): 232. http://dx.doi.org/10.1145/637610.544500.

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

Fung, P., T. O'Shea, D. Goldson, S. Reeves e R. Bornat. "Computer science students perceptions of learning formal reasoning methods". International Journal of Mathematical Education in Science and Technology 24, n. 5 (settembre 1993): 749–59. http://dx.doi.org/10.1080/0020739930240516.

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

Walker, Henry M., H. Conrad Cunningham, Ruth Davis e Douglas Troeger. "Formal methods in the undergraduate computer science curriculum (abstract)". ACM SIGCSE Bulletin 27, n. 1 (15 marzo 1995): 398–99. http://dx.doi.org/10.1145/199691.199899.

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

Polak, Wolfgang. "Formal Methods in Practice". Electronic Notes in Theoretical Computer Science 25 (1999): 62–72. http://dx.doi.org/10.1016/s1571-0661(04)00132-x.

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

BESTAVROS, AZER, ASSAF KFOURY e ANDREI LAPETS. "Postlude: seamless composition and integration – a perspective on formal methods research". Mathematical Structures in Computer Science 23, n. 4 (8 luglio 2013): 934–43. http://dx.doi.org/10.1017/s0960129512000072.

Testo completo
Abstract (sommario):
Have formal methods in computer science come of age? While the contributions to this special issue of Mathematical Structures in Computer Science attest to their importance in the design and analysis of particular software systems, their relevance to the field as a whole is far wider. In recent years, formal methods have become more accessible and easier to use, more directly related to practical problems and more adaptable to imperfect and/or approximate specifications in real-life applications. As a result, they are now a central component of computer-science education and research.
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Parnas, David Lorge. "Really Rethinking 'Formal Methods'". Computer 43, n. 1 (gennaio 2010): 28–34. http://dx.doi.org/10.1109/mc.2010.22.

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

Moller, F. G. "Formal Methods in Computation". Computer Journal 45, n. 1 (1 gennaio 2002): 1. http://dx.doi.org/10.1093/comjnl/45.1.1.

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

Biere, Armin, Cyrille Artho, Malek Haroud e Viktor Schuppan. "Formal Methods Group ETH Zürich". Electronic Notes in Theoretical Computer Science 80 (agosto 2003): 289–93. http://dx.doi.org/10.1016/s1571-0661(04)80828-4.

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

Borges, Rafael Magalhães, e Alexandre Cabral Mota. "Integrating UML and Formal Methods". Electronic Notes in Theoretical Computer Science 184 (luglio 2007): 97–112. http://dx.doi.org/10.1016/j.entcs.2007.03.017.

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

Gopalakrishnan, Ganesh, e Robert M. Kirby. "Formal Methods for MPI Programs". Electronic Notes in Theoretical Computer Science 193 (novembre 2007): 19–27. http://dx.doi.org/10.1016/j.entcs.2007.10.005.

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

Kneuper, Ralf. "Limits of formal methods". Formal Aspects of Computing 9, n. 4 (luglio 1997): 379–94. http://dx.doi.org/10.1007/bf01211297.

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

Fitzgerald, John S. "Formal Methods Europe Update". Formal Aspects of Computing 16, n. 1 (1 aprile 2004): 2–3. http://dx.doi.org/10.1007/s00165-004-0030-0.

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

Troeger, Douglas R. "Formal methods, design, and collaborative learning in the first computer science course". New Directions for Teaching and Learning 1995, n. 61 (1995): 55–66. http://dx.doi.org/10.1002/tl.37219956109.

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

Michael, James Bret, Doron Drusinsky e Duminda Wijesekera. "Formal Methods in Cyberphysical Systems". Computer 54, n. 9 (settembre 2021): 25–29. http://dx.doi.org/10.1109/mc.2021.3089267.

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

Wichmann, B. "Editorial - Formal Methods in Computing". Computer Journal 32, n. 5 (1 maggio 1989): 385. http://dx.doi.org/10.1093/comjnl/32.5.385.

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

Hinchey, Mike, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen e Tiziana Margaria. "Software engineering and formal methods". Communications of the ACM 51, n. 9 (settembre 2008): 54–59. http://dx.doi.org/10.1145/1378727.1378742.

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

Michael, James Bret, George W. Dinolt e Doron Drusinsky. "Open Questions in Formal Methods". Computer 53, n. 5 (maggio 2020): 81–84. http://dx.doi.org/10.1109/mc.2020.2978567.

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

Bowen, J. P., R. W. Butler, D. L. Dill, R. L. Glass, D. Gries e A. Hall. "An Invitation to Formal Methods". Computer 29, n. 4 (aprile 1996): 16. http://dx.doi.org/10.1109/mc.1996.488298.

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

Ward, M. P., e K. H. Bennett. "Formal methods for legacy systems". Journal of Software Maintenance: Research and Practice 7, n. 3 (maggio 1995): 203–19. http://dx.doi.org/10.1002/smr.4360070305.

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

Rushby, John. "Analyzing Cockpit Interfaces Using Formal Methods". Electronic Notes in Theoretical Computer Science 43 (maggio 2001): 1–14. http://dx.doi.org/10.1016/s1571-0661(04)80891-0.

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

Hajnal, Matej, e Samuel Pastva. "Toward Model Selection by Formal Methods". Electronic Notes in Theoretical Computer Science 350 (settembre 2020): 57–71. http://dx.doi.org/10.1016/j.entcs.2020.06.004.

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

Gibbins, PF. "What are formal methods?" Information and Software Technology 30, n. 3 (aprile 1988): 131–37. http://dx.doi.org/10.1016/0950-5849(88)90059-6.

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

Boiten, E., J. Derrick e G. Smith. "Guest Editorial Integrated Formal Methods". Formal Aspects of Computing 17, n. 4 (15 novembre 2005): 389. http://dx.doi.org/10.1007/s00165-005-0078-5.

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

Ma, Meiyi, John A. Stankovic e Lu Feng. "Toward Formal Methods for Smart Cities". Computer 54, n. 9 (settembre 2021): 39–48. http://dx.doi.org/10.1109/mc.2021.3082991.

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

Neumann, Peter G. "Using formal methods to reduce risks". Communications of the ACM 39, n. 7 (luglio 1996): 114. http://dx.doi.org/10.1145/233977.234595.

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

Voas, Jeffrey, e Kim Schaffer. "Insights on Formal Methods in Cybersecurity". Computer 49, n. 5 (maggio 2016): 102–5. http://dx.doi.org/10.1109/mc.2016.131.

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

Glass, Robert L. "The mystery of formal methods disuse". Communications of the ACM 47, n. 8 (agosto 2004): 15–17. http://dx.doi.org/10.1145/1012037.1012052.

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

Stavridou, V. "Formal Methods and VLSI Engineering Practice". Computer Journal 37, n. 2 (1 gennaio 1994): 96–113. http://dx.doi.org/10.1093/comjnl/37.2.96.

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

Lano, K., P. T. Breuer e H. Haughton. "Reverse-engineering cobol via formal methods". Journal of Software Maintenance: Research and Practice 5, n. 1 (1993): 13–35. http://dx.doi.org/10.1002/smr.4360050103.

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

Alty, A. L. "Formal methods in artificial intelligence". Artificial Intelligence in Engineering 5, n. 4 (ottobre 1990): 226. http://dx.doi.org/10.1016/0954-1810(90)90027-2.

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

Dam, Mads, Lars-Åke Fredlund e Dillian Gurov. "Formal Methods Research at SICS and KTH". Electronic Notes in Theoretical Computer Science 80 (agosto 2003): 267–72. http://dx.doi.org/10.1016/s1571-0661(04)80824-7.

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

Beato, M. Encarnación, Manuel Barrio-Solórzano, Carlos E. Cuesta e Pablo de la Fuente. "UML Automatic Verification Tool with Formal Methods". Electronic Notes in Theoretical Computer Science 127, n. 4 (aprile 2005): 3–16. http://dx.doi.org/10.1016/j.entcs.2004.10.024.

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

Liu, Shaoying. "Formal engineering methods for software quality assurance". Frontiers of Computer Science 6, n. 1 (27 gennaio 2012): 1–2. http://dx.doi.org/10.1007/s11704-012-2900-6.

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

Naik, Y. "Formal methods: theory and practice". Information and Software Technology 32, n. 10 (dicembre 1990): 698. http://dx.doi.org/10.1016/0950-5849(90)90103-x.

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

Caswell, M. J. A. "Equivalence of formal semantics definition methods". Formal Aspects of Computing 9, n. 1 (gennaio 1997): 68–77. http://dx.doi.org/10.1007/bf01212525.

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

Barnett, Michael, e Phillip Windley. "Dysfunctional Programming: Teaching Programming Using Formal Methods to Noncomputer Science Majors". Computer Science Education 5, n. 1 (gennaio 1994): 111–22. http://dx.doi.org/10.1080/0899340940050108.

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

Cooke, J. "Editorial - Formal Methods: What? Why? and When?" Computer Journal 35, n. 5 (1 ottobre 1992): 417–18. http://dx.doi.org/10.1093/comjnl/35.5.417.

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

Cooke, J. "Formal Methods - Mathematics, Theory, Recipes or what?" Computer Journal 35, n. 5 (1 ottobre 1992): 419–23. http://dx.doi.org/10.1093/comjnl/35.5.419.

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

van Sinderen, M., L. F. Pires e C. A. Vissers. "Protocol Design and Implementation Using Formal Methods". Computer Journal 35, n. 5 (1 ottobre 1992): 478–91. http://dx.doi.org/10.1093/comjnl/35.5.478.

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

Cooke, J. "Editorial - Formal Methods: What? Why? and When?" Computer Journal 35, n. 6 (1 dicembre 1992): 545–46. http://dx.doi.org/10.1093/comjnl/35.6.545.

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

Schaefer, Ina, e Reiner Hahnle. "Formal Methods in Software Product Line Engineering". Computer 44, n. 2 (febbraio 2011): 82–85. http://dx.doi.org/10.1109/mc.2011.47.

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

Older, S. "Formal Methods for Assuring Security of Protocols". Computer Journal 45, n. 1 (1 gennaio 2002): 46–54. http://dx.doi.org/10.1093/comjnl/45.1.46.

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

Newcombe, Chris, Tim Rath, Fan Zhang, Bogdan Munteanu, Marc Brooker e Michael Deardeuff. "How Amazon web services uses formal methods". Communications of the ACM 58, n. 4 (23 marzo 2015): 66–73. http://dx.doi.org/10.1145/2699417.

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

Johnson, S. D. "Embedded computing - Formal methods in embedded design". Computer 36, n. 11 (novembre 2003): 104–6. http://dx.doi.org/10.1109/mc.2003.1244539.

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

Provan, Gregory. "Formal Methods for Autonomous Vehicles". IT Professional 26, n. 1 (gennaio 2024): 50–56. http://dx.doi.org/10.1109/mitp.2024.3356158.

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

Bræk, Rolv. "Formal Methods Research at NTNU, Department of Telematics". Electronic Notes in Theoretical Computer Science 80 (agosto 2003): 304–9. http://dx.doi.org/10.1016/s1571-0661(04)80831-4.

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

Stevens, Kenneth S., Daniel Gebhardt, Junbok You, Yang Xu, Vikas Vij, Shomit Das e Krishnaji Desai. "The Future of Formal Methods and GALS Design". Electronic Notes in Theoretical Computer Science 245 (agosto 2009): 115–34. http://dx.doi.org/10.1016/j.entcs.2009.07.032.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Ti possono interessare anche gli elenchi di altri tipi di fonti sul tema "Formal methods (Computer science)":
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