Bibliografías temáticas / Formal methds / Artículos de revistas

Artículos de revistas sobre el tema "Formal methds"

Siga este enlace para ver otros tipos de publicaciones sobre el tema: Formal methds.
Autor: Grafiati
Publicado: 4 de junio de 2021
Última modificación: 19 de febrero de 2022

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores artículos de revistas para su investigación sobre el tema "Formal methds".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
13

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
14

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
15

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
16

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
17

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
18

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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 (noviembre de 2019): 61–65. http://dx.doi.org/10.1109/ms.2019.2930609.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
20

Parnas, David Lorge. "Really Rethinking 'Formal Methods'". Computer 43, n.º 1 (enero de 2010): 28–34. http://dx.doi.org/10.1109/mc.2010.22.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
21

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
22

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
23

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
24

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
25

Moller, F. G. "Formal Methods in Computation". Computer Journal 45, n.º 1 (1 de enero de 2002): 1. http://dx.doi.org/10.1093/comjnl/45.1.1.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
26

Kneuper, Ralf. "Limits of formal methods". Formal Aspects of Computing 9, n.º 4 (julio de 1997): 379–94. http://dx.doi.org/10.1007/bf01211297.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
27

Fitzgerald, John S. "Formal Methods Europe Update". Formal Aspects of Computing 16, n.º 1 (1 de abril de 2004): 2–3. http://dx.doi.org/10.1007/s00165-004-0030-0.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
28

Gibbins, PF. "What are formal methods?" Information and Software Technology 30, n.º 3 (abril de 1988): 131–37. http://dx.doi.org/10.1016/0950-5849(88)90059-6.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
29

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
30

Ilic Mestric, Ivana, Arvid Kok, Giavid Valiyev, Michael Street y 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
31

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
32

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
33

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
34

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
35

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
36

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
37

Biere, Armin, Cyrille Artho, Malek Haroud y Viktor Schuppan. "Formal Methods Group ETH Zürich". Electronic Notes in Theoretical Computer Science 80 (agosto de 2003): 289–93. http://dx.doi.org/10.1016/s1571-0661(04)80828-4.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
38

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
39

Michael, James Bret, George W. Dinolt y Doron Drusinsky. "Open Questions in Formal Methods". Computer 53, n.º 5 (mayo de 2020): 81–84. http://dx.doi.org/10.1109/mc.2020.2978567.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
40

Hinchey, Mike, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen y Tiziana Margaria. "Software engineering and formal methods". Communications of the ACM 51, n.º 9 (septiembre de 2008): 54–59. http://dx.doi.org/10.1145/1378727.1378742.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
41

Wichmann, B. "Editorial - Formal Methods in Computing". Computer Journal 32, n.º 5 (1 de mayo de 1989): 385. http://dx.doi.org/10.1093/comjnl/32.5.385.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
42

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
43

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
44

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
45

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
46

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
47

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
48

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
50

Ward, M. P. y K. H. Bennett. "Formal methods for legacy systems". Journal of Software Maintenance: Research and Practice 7, n.º 3 (mayo de 1995): 203–19. http://dx.doi.org/10.1002/smr.4360070305.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías sobre el tema "Formal methds" para otros tipos de fuentes:
Tesis Libros
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía