Gotowe bibliografie tematyczne / Formal methods (Computer science) / Artykuły w czasopismach

Artykuły w czasopismach na temat „Formal methods (Computer science)”

Kliknij ten link, aby zobaczyć inne rodzaje publikacji na ten temat: Formal methods (Computer science).
Autor: Grafiati
Data publikacji: 4 czerwca 2021
Data aktualizacji: 29 lipca 2024

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Sprawdź 50 najlepszych artykułów w czasopismach naukowych na temat „Formal methods (Computer science)”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Przeglądaj artykuły w czasopismach z różnych dziedzin i twórz odpowiednie bibliografie.

1

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

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

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
9

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
11

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
12

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
13

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
14

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
15

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
16

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
17

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
18

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
19

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
20

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
21

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
22

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
23

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
24

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
25

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
26

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
27

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
28

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
29

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
30

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
31

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
32

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
33

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
34

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
35

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
36

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
37

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
38

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
39

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
40

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
41

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
42

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
43

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
44

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
45

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
46

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
47

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
48

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
49

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
50

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Możesz być także zainteresowany bibliografiami na temat „Formal methods (Computer science)” dla innych typów źródeł:
Rozprawy doktorskie Książki
Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!

Do bibliografii