Acceder

Bibliografías temáticas / Formal methods for software engineering / Artículos de revistas

Siga este enlace para ver otros tipos de publicaciones sobre el tema: Formal methods for software engineering.

Artículos de revistas sobre el tema "Formal methods for software engineering"

Autor: Grafiati

Publicado: 25 de mayo de 2024

Última modificación: 31 de julio de 2025

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 methods for software engineering".

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

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 (2008): 54–59. http://dx.doi.org/10.1145/1378727.1378742.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

2

Aichernig, Bernhard, and Bernhard Beckert. "Software engineering and formal methods." Software & Systems Modeling 7, no. 3 (2008): 255–56. http://dx.doi.org/10.1007/s10270-008-0091-2.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

3

Barthe, Gilles, Alberto Pardo, and Gerardo Schneider. "SEFM: software engineering and formal methods." Software & Systems Modeling 14, no. 1 (2014): 3–4. http://dx.doi.org/10.1007/s10270-014-0404-6.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

4

Perseil, Isabelle, and Laurent Pautet. "Formal methods integration in software engineering." Innovations in Systems and Software Engineering 6, no. 1-2 (2010): 5–11. http://dx.doi.org/10.1007/s11334-009-0115-2.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

5

King, Trevor. "Introduction to Formal Methods for Software Engineering." Measurement and Control 26, no. 1 (1993): 19–21. http://dx.doi.org/10.1177/002029409302600105.

Texto completo

Resumen

This paper describes what is meant by formal methods for software engineering. It is intended for the non-mathematical reader, and a simple formal specification is presented. The process of formal specification, development and proof is described briefly. Finally the benefits and limitations of formal methods are summarized.

Los estilos APA, Harvard, Vancouver, ISO, etc.

6

Schaefer, Ina, and Reiner Hahnle. "Formal Methods in Software Product Line Engineering." Computer 44, no. 2 (2011): 82–85. http://dx.doi.org/10.1109/mc.2011.47.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

7

de Man, Josef. "Session D2: Software engineering: Formal methods I." Microprocessing and Microprogramming 24, no. 1-5 (1988): 361. http://dx.doi.org/10.1016/0165-6074(88)90079-8.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

8

Wordsworth, John. "Education in formal methods for software engineering." Information and Software Technology 29, no. 1 (1987): 27–32. http://dx.doi.org/10.1016/0950-5849(87)90017-6.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

9

Dodani, Mahesh. "Formal methods for object-oriented software engineering." Annals of Software Engineering 2, no. 1 (1996): 121–60. http://dx.doi.org/10.1007/bf02063808.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

10

Liu, Shaoying. "Formal engineering methods for software quality assurance." Frontiers of Computer Science 6, no. 1 (2012): 1–2. http://dx.doi.org/10.1007/s11704-012-2900-6.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

11

Wang, Taehyung, Astushi Kitazawa, and Phillip Sheu. "Semantic software engineering." Encyclopedia with Semantic Computing and Robotic Intelligence 01, no. 01 (2017): 1630012. http://dx.doi.org/10.1142/s2425038416300123.

Texto completo

Resumen

One of the most challenging task in software development is developing software requirements. There are two types of software requirements — user requirement (mostly described by natural language) and system requirements (also called as system specifications and described by formal or semi-formal methods). Therefore, there is a gap between these two types of requirements because of inherently unique features between natural language and formal or semi-formal methods. We describe a semantic software engineering methodology using the design principles of SemanticObjects for object-relational sof

Los estilos APA, Harvard, Vancouver, ISO, etc.

12

Bjørner, Dines. "On Teaching Software Engineering based on Formal Techniques - Thoughts about and Plans for - A Different Software Engineering Text Book." JUCS - Journal of Universal Computer Science 7, no. (8) (2001): 641–67. https://doi.org/10.3217/jucs-007-08-0641.

Texto completo

Resumen

We present the didactic bases for a different kind of text book on Software Engineering - one that is based on semiotics, proper description principles, informal narrations and formal specifications, on phase, stage and stepwise development from developing understandings of the domain, via requirements to software design. Each of the concepts: Semiotics, description, documents, abstraction & modelling, domains, requirements and software design, are covered systematically while enunciating a number of method principles for selecting and applying techniques and tools for the effcient constru

Los estilos APA, Harvard, Vancouver, ISO, etc.

13

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

14

Rajamani, Sriram. "Software Is More Than Code." JUCS - Journal of Universal Computer Science 13, no. (5) (2007): 602–6. https://doi.org/10.3217/jucs-013-05-0602.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

15

Martin, John C. "Formal methods software engineering for the CARA system." International Journal on Software Tools for Technology Transfer (STTT) 5, no. 4 (2004): 301–7. http://dx.doi.org/10.1007/s10009-003-0113-x.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

16

Beckert, Bernhard, Tony Hoare, Reiner Hahnle, et al. "Intelligent Systems and Formal Methods in Software Engineering." IEEE Intelligent Systems 21, no. 6 (2006): 71–81. http://dx.doi.org/10.1109/mis.2006.117.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

17

Tremblay, G. "Formal methods: mathematics, computer science or software engineering?" IEEE Transactions on Education 43, no. 4 (2000): 377–82. http://dx.doi.org/10.1109/13.883345.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

18

Nowotka, Dirk. "Formal add to traditional methods in software engineering." ATZelektronik worldwide 3, no. 4 (2008): 14–17. http://dx.doi.org/10.1007/bf03242180.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

19

Ölveczky, Peter Csaba, and Gwen Salaün. "Software engineering and formal methods: SEFM 2019 special section." Software and Systems Modeling 20, no. 2 (2021): 291–92. http://dx.doi.org/10.1007/s10270-021-00874-1.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

20

Davis, James F. "The affordable application of formal methods to software engineering." ACM SIGAda Ada Letters XXV, no. 4 (2005): 57–62. http://dx.doi.org/10.1145/1104011.1103855.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

21

Liu, Shaoying, Kazuhiro Takahashi, Toshinori Hayashi, and Toshihiro Nakayama. "Teaching formal methods in the context of software engineering." ACM SIGCSE Bulletin 41, no. 2 (2009): 17–23. http://dx.doi.org/10.1145/1595453.1595457.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

22

Cuellar, Jorge, and Zhiming Liu. "SoSyM Special Section on Software Engineering and Formal Methods." Software & Systems Modeling 6, no. 1 (2006): 37–38. http://dx.doi.org/10.1007/s10270-006-0010-3.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

23

Wordsworth, J. B. "Formal methods in the development of CICS." ITNOW 29, no. 4 (1987): 6–7. https://doi.org/10.1093/combul/29.4.6.

Texto completo

Resumen

Abstract The IBM development laboratory at Hursley, in common with other IBM laboratories worldwide, is seeking improvements in product quality by using formal methods of software development. In 1981 the IBM corporation established a Software Engineering Institute to provide education in formal methods of software development to programmers. Emphasis is placed on the creation of a record of the development process for a particular product in which precise specifications of the function to be provided are refined through designs into source code for compilation. The precepts resulting from muc

Los estilos APA, Harvard, Vancouver, ISO, etc.

24

WARD, M. P., and K. H. BENNETT. "FORMAL METHODS TO AID THE EVOLUTION OF SOFTWARE." International Journal of Software Engineering and Knowledge Engineering 05, no. 01 (1995): 25–47. http://dx.doi.org/10.1142/s0218194095000034.

Texto completo

Resumen

There is a vast collection of operational software systems which are vitally important to their users, yet are becoming increasingly difficult to maintain, enhance, and keep up to date with rapidly changing requirements. For many of these so-called legacy systems, the option of throwing the system away and rewriting it from scratch is not economically viable. Methods are therefore urgently required which enable these systems to evolve in a controlled manner. The approach described in this paper uses formal proven program transformations, which preserve or refine the semantics of a program whil

Los estilos APA, Harvard, Vancouver, ISO, etc.

25

Jasser, Muhammed Basheer. "A Survey on Refinement in Formal Methods and Software Engineering." International Journal of Advanced Trends in Computer Science and Engineering 8, no. 1.4 (2019): 105–12. http://dx.doi.org/10.30534/ijatcse/2019/1681.42019.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

26

Tierney, Margaret. "Software engineering standards: the ‘formal methods debate’ in the uk." Technology Analysis & Strategic Management 4, no. 3 (1992): 245–78. http://dx.doi.org/10.1080/09537329208524097.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

27

Sobel, Ann E. Kelley. "Empirical results of a software engineering curriculum incorporating formal methods." ACM SIGCSE Bulletin 32, no. 1 (2000): 157–61. http://dx.doi.org/10.1145/331795.331846.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

28

Molnar, B. "Software development with Z: a practical approach to formal methods in software engineering." Information and Software Technology 34, no. 11 (1992): 763. http://dx.doi.org/10.1016/0950-5849(92)90171-k.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

29

Baugh, J. W. "Using formal methods to specify the functional properties of engineering software." Computers & Structures 45, no. 3 (1992): 557–70. http://dx.doi.org/10.1016/0045-7949(92)90440-b.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

30

Bravetti, Mario, Robert M. Hierons, and Mercedes G. Merayo. "Introduction to the Software Engineering and Formal Methods 2013 special issue." Software & Systems Modeling 16, no. 1 (2015): 5–6. http://dx.doi.org/10.1007/s10270-015-0467-z.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

31

Selvaraj, Yuvaraj, Ashfaq Farooqui, Ghazaleh Panahandeh, Wolfgang Ahrendt, and Martin Fabian. "Automatically Learning Formal Models from Autonomous Driving Software." Electronics 11, no. 4 (2022): 643. http://dx.doi.org/10.3390/electronics11040643.

Texto completo

Resumen

The correctness of autonomous driving software is of utmost importance, as incorrect behavior may have catastrophic consequences. Formal model-based engineering techniques can help guarantee correctness and thereby allow the safe deployment of autonomous vehicles. However, challenges exist for widespread industrial adoption of formal methods. One of these challenges is the model construction problem. Manual construction of formal models is time-consuming, error-prone, and intractable for large systems. Automating model construction would be a big step towards widespread industrial adoption of

Los estilos APA, Harvard, Vancouver, ISO, etc.

32

Bolton, Matthew L. "Novel Developments in Formal Methods for Human Factors Engineering." Proceedings of the Human Factors and Ergonomics Society Annual Meeting 61, no. 1 (2017): 715–17. http://dx.doi.org/10.1177/1541931213601664.

Texto completo

Resumen

Formal methods are robust tools and techniques for modeling, specifying, and mathematically proving properties about (verifying) systems. They are particularly good at both finding unexpected problems that arise from complex system interactions and proving that specific types of problems will never manifest. Formal methods have predominantly been used in the analysis and design of computer hardware and software systems. However, a growing research area within the human factors engineering community has been examining how formal methods can be used to prove whether problems exist in systems tha

Los estilos APA, Harvard, Vancouver, ISO, etc.

33

KRÄMER, BERND J., and TIZIANA MARGARIA. "A HINDSIGHT ON FORMAL METHODS AND PROSPECTS OF SEMANTIC COMPUTING IN SOFTWARE ENGINEERING." International Journal of Semantic Computing 03, no. 01 (2009): 5–30. http://dx.doi.org/10.1142/s1793351x09000641.

Texto completo

Resumen

New research activities sailing under the brands of semantic web, semantic web service, and semantic computing have extended, and partly also confused the classical meaning of the term semantics as the software engineering community established it in the last century. In this article we try to shed some light on the different connotations of meaning with this word. We reflect on the role of semantic definitions and formally defined specifications, modeling and programming languages in software engineering activities. We sketch formally defined construction and validation methods, and discuss c

Los estilos APA, Harvard, Vancouver, ISO, etc.

34

Gruner, Stefan, and Bernhard Rumpe. "FormSERA workshop on formal methods in software engineering rigorous and agile approaches." ACM SIGSOFT Software Engineering Notes 37, no. 6 (2012): 28–30. http://dx.doi.org/10.1145/2382756.2382777.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

35

Datla, Lalith Sriram, and Rishi Krishna Thodupunuri. "Applying Formal Software Engineering Methods to Improve Java-Based Web Application Quality." International Journal of Artificial Intelligence, Data Science, and Machine Learning 2 (2021): 18–26. https://doi.org/10.63282/3050-9262.ijaidsml-v2i4p103.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

36

GANNOD, GERALD C., and BETTY H. C. CHENG. "FACILITATING THE MAINTENANCE OF SAFETY-CRITICAL SYSTEMS." International Journal of Software Engineering and Knowledge Engineering 04, no. 02 (1994): 183–204. http://dx.doi.org/10.1142/s0218194094000106.

Texto completo

Resumen

As software is increasingly used to control safety-critical systems, correctness becomes paramount. Formal methods in software development provide many benefits in the forward engineering aspect of software development. Reverse engineering is the process of constructing a high-level representation of a system from existing lower level instanti-ations of that system. Reverse engineering of program code into formal specifications facilitates the utilization of the benefits of formal methods in projects where formal methods may not have previously been used, thus facilitating the maintenance of s

Los estilos APA, Harvard, Vancouver, ISO, etc.

37

Dauphin, Michel. "SPECS: Formal methods and techniques for telecommunications software development." Microprocessing and Microprogramming 35, no. 1-5 (1992): 117–24. http://dx.doi.org/10.1016/0165-6074(92)90304-p.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

38

Abbate, A. J., and E. J. Bass. "A formal methods approach to semiotic engineering." International Journal of Human-Computer Studies 115 (July 2018): 20–39. http://dx.doi.org/10.1016/j.ijhcs.2018.02.001.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

39

Plat, Nico, Jan van Katwijk, and Hans Toetenel. "Application and benefits of formal methods in software development." Software Engineering Journal 7, no. 5 (1992): 335. http://dx.doi.org/10.1049/sej.1992.0034.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

40

Johnson, Timothy L. "Improving automation software dependability: A role for formal methods?" Control Engineering Practice 15, no. 11 (2007): 1403–15. http://dx.doi.org/10.1016/j.conengprac.2006.07.005.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

41

Santone, Antonella. "Special issue on formal methods for security engineering." Journal of Computer Virology and Hacking Techniques 14, no. 4 (2018): 251. http://dx.doi.org/10.1007/s11416-018-0326-x.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

42

Peña, Joaquin, Christopher A. Rouff, Mike Hinchey, and Antonio Ruiz-Cortés. "Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods." Software & Systems Modeling 10, no. 1 (2009): 55–62. http://dx.doi.org/10.1007/s10270-009-0135-2.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

43

Batory, Don. "Foreword to the Special Issue on Formal Methods for Software Product Line Engineering." Journal of Logical and Algebraic Methods in Programming 85, no. 1 (2016): 121–22. http://dx.doi.org/10.1016/j.jlamp.2015.09.007.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

44

Georgiev, Dilyan. "Exploring software engineering knowledge domains." Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics 111 (December 4, 2024): 35–53. https://doi.org/10.60063/gsu.fmi.111.35-53.

Texto completo

Resumen

Software engineering, as the primary value-based process, is influenced by the culture a given company establishes, formal and informal procedures, and technological improvements introduced during the implementation. Having this in mind it could be articulated further how these innovative methods could result in best practices, communication flows, strong-bonded teams, and successful projects. By adding an organisational domain to the model, the relationships between management's organizational aspects and technological development approaches are discussed.This paper aims to explore and classi

Los estilos APA, Harvard, Vancouver, ISO, etc.

45

Gleirscher, Mario, and Diego Marmsoler. "Formal methods in dependable systems engineering: a survey of professionals from Europe and North America." Empirical Software Engineering 25, no. 6 (2020): 4473–546. http://dx.doi.org/10.1007/s10664-020-09836-5.

Texto completo

Resumen

Abstract Context Formal methods (FMs) have been around for a while, still being unclear how to leverage their benefits, overcome their challenges, and set new directions for their improvement towards a more successful transfer into practice. Objective We study the use of formal methods in mission-critical software domains, examining industrial and academic views. Method We perform a cross-sectional on-line survey. Results Our results indicate an increased intent to apply FMs in industry, suggesting a positively perceived usefulness. But the results also indicate a negatively perceived ease of

Los estilos APA, Harvard, Vancouver, ISO, etc.

46

Chechik, Marsha, and Joost-Pieter Katoen. "Introduction to the Special Collection from FM 2023." Formal Aspects of Computing 37, no. 1 (2025): 1–2. https://doi.org/10.1145/3709600.

Texto completo

Resumen

This special collection arose from the 25th Symposium on Formal Methods (FM 2023), organized by the Institute for Software Engineering and Programming Languages, University of Lübeck, and held at the University of Lübeck, Germany, in March 2023. The Symposium on Formal Methods 2023 was organized under the auspices of Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of and research on formal methods for software development. The topics covered included the development and application of formal methods in a wide range of domains, including software, cyber

Los estilos APA, Harvard, Vancouver, ISO, etc.

47

Thomas, Martyn. "The role of formal methods in achieving dependable software." Reliability Engineering & System Safety 43, no. 2 (1994): 129–34. http://dx.doi.org/10.1016/0951-8320(94)90058-2.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

48

Fukuzaki, Tetsuo, Shaoying Liu, and Michael Butler. "DevFemOps: enhancing maintainability based on microservices using formal engineering methods." Connection Science 34, no. 1 (2022): 2125–38. http://dx.doi.org/10.1080/09540091.2022.2099347.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

49

Li, Shao Feng. "A Study on Network Protocol Validation Based on Timed Automata." Applied Mechanics and Materials 543-547 (March 2014): 3386–90. http://dx.doi.org/10.4028/www.scientific.net/amm.543-547.3386.

Texto completo

Resumen

With the increasingly complex of computer software system, traditional software engineering methods for major software development will inevitably produce a lot of mistakes and catastrophic consequences for key industry users. Experiment with software engineering methods cannot guarantee the behavior at infinity reliability and security of the state space. All this requires formal analysis and verification to the complex system. In protocol verification based on automatic machines, the automaton is used to represent the behavior of the system, the time automaton is a formal method can be well

Los estilos APA, Harvard, Vancouver, ISO, etc.

50

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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!