Accedi

Bibliografie tematiche / Formal methds / Articoli di riviste

Articoli di riviste sul tema "Formal methds"

Segui questo link per vedere altri tipi di pubblicazioni sul tema: Formal methds.

Autore: Grafiati

Pubblicato: 4 giugno 2021

Ultima modifica: 19 febbraio 2022

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

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

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

3

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

4

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

5

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

6

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

7

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

8

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

9

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

10

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

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

11

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

13

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

14

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

15

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

16

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

17

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

18

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

19

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

20

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

21

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

22

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

23

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

24

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

25

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

26

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

27

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

28

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

29

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

30

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

31

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

32

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

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

33

Davies, Jim, e Jeremy Gibbons. "Formal methods for future interoperability". ACM SIGCSE Bulletin 41, n. 2 (25 giugno 2009): 60–64. http://dx.doi.org/10.1145/1595453.1595463.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

34

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

35

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

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

36

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

37

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

38

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

39

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

40

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

41

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

42

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

43

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

44

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

45

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

46

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

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

47

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

48

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

49

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

50

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

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!