Gotowe bibliografie tematyczne / Formal methds / Artykuły w czasopismach

Artykuły w czasopismach na temat „Formal methds”

Kliknij ten link, aby zobaczyć inne rodzaje publikacji na ten temat: Formal methds.
Autor: Grafiati
Data publikacji: 4 czerwca 2021
Data aktualizacji: 19 lutego 2022

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 methds”.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Pełny tekst źródła
Streszczenie:
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 through a functional mass movernent is The Kerala Shastra Sahitya Parish ad.
Style APA, Harvard, Vancouver, ISO itp.
11

Maibaum, Tom. "Formal methods versus engineering". ACM SIGCSE Bulletin 41, nr 2 (25.06.2009): 6–12. http://dx.doi.org/10.1145/1595453.1595455.

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

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.
13

Polak, Wolfgang. "Formal methods in practice". Science of Computer Programming 42, nr 1 (styczeń 2002): 75–85. http://dx.doi.org/10.1016/s0167-6423(01)00027-2.

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

Nicholls, John. "Working with Formal Methods". Journal of Information Technology 2, nr 2 (czerwiec 1987): 67–71. http://dx.doi.org/10.1057/jit.1987.13.

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

Maibaum, Tom, i Martin Sadler. "Formal Methods: A Commentary". Journal of Information Technology 2, nr 2 (czerwiec 1987): 77–80. http://dx.doi.org/10.1057/jit.1987.15.

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

Platek, Richard. "Formal methods in mathematics". ACM SIGSOFT Software Engineering Notes 15, nr 4 (wrzesień 1990): 100–103. http://dx.doi.org/10.1145/99571.99827.

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

Nicholls, John. "Working with Formal Methods". Journal of Information Technology 2, nr 2 (czerwiec 1987): 67–71. http://dx.doi.org/10.1177/026839628700200203.

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

Maibaum, Tom, i Martin Sadler. "Formal Methods: A Commentary". Journal of Information Technology 2, nr 2 (czerwiec 1987): 77–80. http://dx.doi.org/10.1177/026839628700200205.

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

Backes, John, Carsten Varming, Michael Whalen, Pauline Bolignano, Byron Cook, Andrew Gacek, Kasper Soe Luckow i in. "One-Click Formal Methods". IEEE Software 36, nr 6 (listopad 2019): 61–65. http://dx.doi.org/10.1109/ms.2019.2930609.

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

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.
21

Rosenblum, David S. "Formal methods and testing". ACM SIGSOFT Software Engineering Notes 21, nr 4 (lipiec 1996): 64–66. http://dx.doi.org/10.1145/232069.232086.

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

Kordon, F., i L. Petrucci. "Toward Formal-Methods Oecumenism?" IEEE Distributed Systems Online 7, nr 7 (lipiec 2006): 2. http://dx.doi.org/10.1109/mdso.2006.47.

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

Kilov, Haim. "Formal methods and standards". ACM SIGSOFT Software Engineering Notes 19, nr 3 (lipiec 1994): 40. http://dx.doi.org/10.1145/182824.182833.

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

Hogg, John. "Object-Oriented Formal Methods". ACM SIGPLAN OOPS Messenger 3, nr 2 (kwiecień 1992): 6. http://dx.doi.org/10.1145/130943.1041450.

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

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.
26

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.
27

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.
28

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.
29

Zhu, Xiuna. "A Formal Specification Automation Method Based on Focus Framework". International Journal of Modeling and Optimization 4, nr 2 (luty 2014): 116–19. http://dx.doi.org/10.7763/ijmo.2014.v4.357.

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

Ilic Mestric, Ivana, Arvid Kok, Giavid Valiyev, Michael Street i Peter Lenk. "Aspect Level Sentiment Analysis Methods Applied to Text in Formal Military Reports". Information & Security: An International Journal 46, nr 3 (2020): 227–38. http://dx.doi.org/10.11610/isij.4616.

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

Danelyan, Tea Ya. "FORMAL METHODS OF EXPERT ESTIMATIONS". Statistics and Economics, nr 1 (1.01.2015): 183–87. http://dx.doi.org/10.21686/2500-3925-2015-1-183-187.

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

van Harmelen, Frank, i Dieter Fensel. "Formal methods in knowledge engineering". Knowledge Engineering Review 10, nr 4 (grudzień 1995): 345–60. http://dx.doi.org/10.1017/s0269888900007554.

Pełny tekst źródła
Streszczenie:
AbstractThis paper presents a general discussion of the role of formal methods in knowledge engineering. We give an historical account of the development of the field of knowledge engineering towards the use of formal methods. Subsequently, we discuss the pros and cons of formal methods. We do this by summarising the proclaimed advantages, and by arguing against some of the commonly heard objections against formal methods. We briefly summarise the current state of the art and discuss the most important directions that future research in this field should take. This paper presents a general setting for the other contributions in this issue of the journal, which each deal with a specific issue in more detail.
Style APA, Harvard, Vancouver, ISO itp.
33

Davies, Jim, i Jeremy Gibbons. "Formal methods for future interoperability". ACM SIGCSE Bulletin 41, nr 2 (25.06.2009): 60–64. http://dx.doi.org/10.1145/1595453.1595463.

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

Bowen, J. P., i V. Stavridou. "Formal Methods and Software Safety". IFAC Proceedings Volumes 25, nr 30 (październik 1992): 93–98. http://dx.doi.org/10.1016/s1474-6670(17)49413-4.

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

ADEBOWALE, AJAYI, NICULAE GOGA, OTUSILE OLUWABUKOLA i ABEL SAMUEL. "Formal Methods in Information Security". INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY 14, nr 4 (9.02.2015): 5621–31. http://dx.doi.org/10.24297/ijct.v14i4.1963.

Pełny tekst źródła
Streszczenie:
Formal methods use mathematical models for analysis and verification at any part of the program life-cycle. The use of formal methods is admitted, recommended, and sometimes prescribed in safety-and security-related standards dealing, e.g., with avionics, railways, nuclear energy, and secure information systems. This paper describes the state of the art in the industrial use of formal methods ininformation security with a focus on verification of security protocols. Given the vast scope of available solutions, attention has been focused just on the most popular and most representative ones, without exhaustiveness claims. We describe some of the highlights of our survey by presenting a series of industrial projects, and we draw some observations from these surveys and records of experience. Based on this, we discuss issues surrounding the industrial adoption of formal methods in security protocol engineering.
Style APA, Harvard, Vancouver, ISO itp.
36

Boute, Raymond T. "Session C3: Formal methods II". Microprocessing and Microprogramming 27, nr 1-5 (sierpień 1989): 259–60. http://dx.doi.org/10.1016/0165-6074(89)90056-2.

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

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.
38

Berry, Daniel M. "Formal methods: the very idea". Science of Computer Programming 42, nr 1 (styczeń 2002): 11–27. http://dx.doi.org/10.1016/s0167-6423(01)00026-0.

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

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.
40

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.
41

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.
42

Stepney, S. "NEW HORIZONS IN FORMAL METHODS". Computer Bulletin 43, nr 1 (1.01.2001): 24–26. http://dx.doi.org/10.1093/combul/43.1.24.

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

Jaspan, Ciera, Michael Keeling, Larry Maccherone, Gabriel L. Zenarosa i Mary Shaw. "Software Mythbusters Explore Formal Methods". IEEE Software 26, nr 6 (listopad 2009): 60–63. http://dx.doi.org/10.1109/ms.2009.188.

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

Hinchey, M. G. "Formal methods for system specification". IEEE Potentials 12, nr 3 (październik 1993): 50–52. http://dx.doi.org/10.1109/45.282296.

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

Jackson, Michael. "Formal methods and traditional engineering". Journal of Systems and Software 40, nr 3 (marzec 1998): 191–94. http://dx.doi.org/10.1016/s0164-1212(97)00165-9.

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

Abbate, Andrew J., i Ellen J. Bass. "Modeling Affordance Using Formal Methods". Proceedings of the Human Factors and Ergonomics Society Annual Meeting 61, nr 1 (wrzesień 2017): 723–27. http://dx.doi.org/10.1177/1541931213601666.

Pełny tekst źródła
Streszczenie:
Affordances, or the physical interactions that an environment allows for a particular agent, are critical to the design of human-interactive systems. Researchers are developing formal models of human-device interaction that can be used to verify procedures, displays, and controls; however, no formal approaches to guide design exist for affordances. This paper presents such an approach. To model affordance formally, we instantiate an extant formalism from ecological psychology. A human-environment system model represents physical entities in an environment, properties such as 3-D spatial relations among them, and motor capabilities of a human operator. An application is demonstrated in an aircraft cabin door case study, and verification results aid in identifying an undesirable situation involving door openability.
Style APA, Harvard, Vancouver, ISO itp.
47

Almstrum, Vicki L., C. Neville Dean, Don Goelman, Thomas B. Hilburn i Jan Smith. "Support for teaching formal methods". ACM SIGCSE Bulletin 33, nr 2 (czerwiec 2001): 71–88. http://dx.doi.org/10.1145/571922.571962.

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

Langari, Zarrin, i Anne Banks Pidduck. "Quality, cleanroom and formal methods". ACM SIGSOFT Software Engineering Notes 30, nr 4 (lipiec 2005): 1–5. http://dx.doi.org/10.1145/1082983.1083302.

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

Hierons, Rob. "Editorial: Formal methods and testing". Software Testing, Verification and Reliability 12, nr 2 (2002): 69–70. http://dx.doi.org/10.1002/stvr.249.

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

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.
Możesz być także zainteresowany bibliografiami na temat „Formal methds” 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