Bibliografías temáticas / Formal methods (Computer science) / Artículos de revistas

Artículos de revistas sobre el tema "Formal methods (Computer science)"

Siga este enlace para ver otros tipos de publicaciones sobre el tema: Formal methods (Computer science).
Autor: Grafiati
Publicado: 4 de junio de 2021
Última modificación: 29 de julio de 2024

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores artículos de revistas para su investigación sobre el tema "Formal methods (Computer science)".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
12

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
13

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
14

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
15

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
17

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
18

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
19

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
20

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
21

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
22

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
23

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
24

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
25

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
26

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
27

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
28

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
29

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
30

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
31

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
32

Lano, K., P. T. Breuer y 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
33

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
34

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
35

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
36

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
37

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
38

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
39

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
40

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
41

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
42

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
43

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
44

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
45

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
46

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
47

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
48

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
49

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
50

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías sobre el tema "Formal methods (Computer science)" para otros tipos de fuentes:
Tesis Libros
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía