Log in

Relevant bibliographies by topics / Formal methods (Computer science) / Journal articles

Journal articles on the topic 'Formal methods (Computer science)'

To see the other types of publications on this topic, follow the link: Formal methods (Computer science).

Author: Grafiati

Published: 4 June 2021

Last updated: 29 July 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Formal methods (Computer science).'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

9

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!