Accedi

Bibliografie tematiche / Formal methds / Articoli di riviste

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

Articoli di riviste 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, and John Fitzgerald. "Formal methods." ACM Computing Surveys 41, no. 4 (October 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, no. 1 (January 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, no. 3 (November 29, 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, no. 7 (July 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., and Jeannette M. Wing. "Formal methods." ACM Computing Surveys 28, no. 4 (December 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, no. 1 (January 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, no. 4es (December 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, no. 9 (September 17, 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, no. 1 (July 18, 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

Gli stili APA, Harvard, Vancouver, ISO e altri

11

Maibaum, Tom. "Formal methods versus engineering." ACM SIGCSE Bulletin 41, no. 2 (June 25, 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, no. 1 (January 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, no. 2 (June 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, and Martin Sadler. "Formal Methods: A Commentary." Journal of Information Technology 2, no. 2 (June 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, no. 4 (September 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, no. 2 (June 1987): 67–71. http://dx.doi.org/10.1177/026839628700200203.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

18

Maibaum, Tom, and Martin Sadler. "Formal Methods: A Commentary." Journal of Information Technology 2, no. 2 (June 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, no. 6 (November 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, no. 1 (January 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, no. 4 (July 1996): 64–66. http://dx.doi.org/10.1145/232069.232086.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

22

Kordon, F., and L. Petrucci. "Toward Formal-Methods Oecumenism?" IEEE Distributed Systems Online 7, no. 7 (July 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, no. 3 (July 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, no. 2 (April 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, no. 1 (January 1, 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, no. 4 (July 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, no. 1 (April 1, 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, no. 3 (April 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, no. 2 (February 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, and Peter Lenk. "Aspect Level Sentiment Analysis Methods Applied to Text in Formal Military Reports." Information & Security: An International Journal 46, no. 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, no. 1 (January 1, 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, and Dieter Fensel. "Formal methods in knowledge engineering." Knowledge Engineering Review 10, no. 4 (December 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 set

Gli stili APA, Harvard, Vancouver, ISO e altri

33

Davies, Jim, and Jeremy Gibbons. "Formal methods for future interoperability." ACM SIGCSE Bulletin 41, no. 2 (June 25, 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., and V. Stavridou. "Formal Methods and Software Safety." IFAC Proceedings Volumes 25, no. 30 (October 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, and ABEL SAMUEL. "Formal Methods in Information Security." INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY 14, no. 4 (February 9, 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, wi

Gli stili APA, Harvard, Vancouver, ISO e altri

36

Boute, Raymond T. "Session C3: Formal methods II." Microprocessing and Microprogramming 27, no. 1-5 (August 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, 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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

38

Berry, Daniel M. "Formal methods: the very idea." Science of Computer Programming 42, no. 1 (January 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, 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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

40

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

41

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

42

Stepney, S. "NEW HORIZONS IN FORMAL METHODS." Computer Bulletin 43, no. 1 (January 1, 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, and Mary Shaw. "Software Mythbusters Explore Formal Methods." IEEE Software 26, no. 6 (November 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, no. 3 (October 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, no. 3 (March 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., and Ellen J. Bass. "Modeling Affordance Using Formal Methods." Proceedings of the Human Factors and Ergonomics Society Annual Meeting 61, no. 1 (September 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 relati

Gli stili APA, Harvard, Vancouver, ISO e altri

47

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

48

Langari, Zarrin, and Anne Banks Pidduck. "Quality, cleanroom and formal methods." ACM SIGSOFT Software Engineering Notes 30, no. 4 (July 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, no. 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., 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.

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!