Log in

Relevant bibliographies by topics / Formal methds / Journal articles

Journal articles on the topic 'Formal methds'

To see the other types of publications on this topic, follow the link: Formal methds.

Author: Grafiati

Published: 4 June 2021

Last updated: 19 February 2022

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

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

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

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!