Увійти

Готові списки джерел за темами / Formal methds / Статті в журналах

Статті в журналах з теми "Formal methds"

Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Formal methds.

Автор: Grafiati

Опубліковано: 4 червня 2021

Оновлено: 19 лютого 2022

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-50 статей у журналах для дослідження на тему "Formal methds".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

8

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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 та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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 та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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 та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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 та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!