Log in

Relevant bibliographies by topics / Formal methods for software engineering

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Formal methods for software engineering'

Author: Grafiati

Published: 25 May 2024

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Formal methods for software engineering.'

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.

Journal articles on the topic "Formal methods for software engineering"

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Formal methods for software engineering"

1

Higgs, Clive Richard. "Formal methods and reuse in software engineering." Thesis, Cardiff University, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.264614.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Glorio, Emanuele. "Formal methods for service oriented software engineering." Doctoral thesis, Università Politecnica delle Marche, 2013. http://hdl.handle.net/11566/242717.

Full text

Abstract:

Il Service-Oriented Computing sta diventando sempre più importante e la proliferazione del grid e cloud computing sta incrementando ancora questa tendenza. Di conseguenza, sempre più aziende stanno esponendo su Internet i loro Web Service. Questo fatto ha l’effetto di trasformare il web da un contenitore di dati ad un contenitore di servizi. In questo scenario, un ingegnere del software è chiamato a progettare un’applicazione tenendo in considerazione l’opportunità/ bisogno di riusare servizi esistenti. Ciò richiede due cose: - una metodologia di ingegneria del software che parta dagli o

APA, Harvard, Vancouver, ISO, and other styles

3

Tran, Sang Cong. "Applications of formal methods in engineering." Thesis, University of Warwick, 1991. http://wrap.warwick.ac.uk/60452/.

Full text

Abstract:

The main idea presented in this thesis is to propose and justify a general framework for the development of safety-related systems based on a selection of criticality and the required level of integrity. We show that formal methods can be practically and consistently introduced into the system design lifecycle without incurring excessive development cost. An insight into the process of generating and validating a formal specification from an engineering point of view is illustrated, in conjunction with formal definitions of specification models, safety criteria and risk assessments. Engineerin

APA, Harvard, Vancouver, ISO, and other styles

4

Spegni, Francesco. "Formal methods for practical reverse engineering and software verification." Doctoral thesis, Università Politecnica delle Marche, 2012. http://hdl.handle.net/11566/242049.

Full text

Abstract:

Software development processes are committed at producing high quality software system. Traditionally, this goal is reached through systematic testing. This thesis project analyzes the possibility of applying mathematical logic and so-called formal methods into the software development process. In fact software testing has two major limitations with respect to verification by means of software testing: every test can show correctness for one possible behavior, while formal methods verification shows that correctness, if proved, holds for all the executions of the system. Furthermore, te

APA, Harvard, Vancouver, ISO, and other styles

5

Corwin, Paul S. "Incremental Validation of Formal Specifications." DigitalCommons@CalPoly, 2009. https://digitalcommons.calpoly.edu/theses/71.

Full text

Abstract:

This thesis presents a tool for the mechanical validation of formal software specifications. The tool is based on a novel approach to incremental validation. In this approach, small-scale aspects of a specification are validated, as part of the stepwise refinement of a formal model. The incremental validation technique can be considered a form of "lightweight" model checking. This is in contrast to a "heavyweight" approach, wherein an entire large-scale model is validated en masse. The validation tool is part of a formal modeling and specification language (FMSL), used in software engineerin

APA, Harvard, Vancouver, ISO, and other styles

6

Todorov, Vassil. "Automotive embedded software design using formal methods." Electronic Thesis or Diss., université Paris-Saclay, 2020. http://www.theses.fr/2020UPASG026.

Full text

Abstract:

La part croissante des fonctions d'assistance à la conduite, leur criticité, ainsi que la perspective d'une certification de ces fonctions, rendent nécessaire leur vérification et leur validation avec un niveau d'exigence que le test seul ne peut assurer.Depuis quelques années déjà d’autres domaines comme l’aéronautique ou le ferroviaire sont soumis à des contextes équivalents. Pour répondre à certaines contraintes ils ont localement mis en place des méthodes formelles. Nous nous intéressons aux motivations et aux critères qui ont conduit à l’utilisation des méthodes formelles dans ces domaine

APA, Harvard, Vancouver, ISO, and other styles

7

He, Xudong. "Integrating formal specification and verification methods in software development." Diss., Virginia Polytechnic Institute and State University, 1989. http://hdl.handle.net/10919/54535.

Full text

Abstract:

This dissertation is a part of an intended long-term research project with the objectives to make software development more scientific and rigorous, thereby to achieve better software quality and to facilitate automated software production; and has two major components: the design of the specification transition paradigm for software development and the theoretical study of the system specification phase in the paradigm. First, after an extensive analysis and comparison of various formalisms, a paradigm for integrating various formal specification and verification methods (predicate transiti

APA, Harvard, Vancouver, ISO, and other styles

8

Wang, Shuo Yilmaz Levent. "Exploring the integration of model-based formal methods into software design education." Auburn, Ala., 2005. http://repo.lib.auburn.edu/2005%20Fall/Thesis/WANG_SHUO_14.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Piveropoulos, Marios. "Requirements engineering for hard real-time systems." Thesis, University of York, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.310980.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Lunglhofer, Jon R. (Jon Richard). "Complete safety software testing : a formal method." Thesis, Massachusetts Institute of Technology, 1996. http://hdl.handle.net/1721.1/88311.

Full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Books on the topic "Formal methods for software engineering"

1

Calinescu, Radu, and Corina S. Păsăreanu, eds. Software Engineering and Formal Methods. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-92124-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Roggenbach, Markus, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, and Siraj Ahmed Shaikh. Formal Methods for Software Engineering. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-38800-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Schlingloff, Bernd-Holger, and Ming Chai, eds. Software Engineering and Formal Methods. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-17108-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Riesco, Adrian, and Min Zhang, eds. Formal Methods and Software Engineering. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-17244-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Breitman, Karin, and Ana Cavalcanti, eds. Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-10373-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Liu, Shaoying, Tom Maibaum, and Keijiro Araki, eds. Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-88194-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Duan, Zhenhua, and Luke Ong, eds. Formal Methods and Software Engineering. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-68690-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

George, Chris, and Huaikou Miao, eds. Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-36103-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Ogata, Kazuhiro, Mark Lawford, and Shaoying Liu, eds. Formal Methods and Software Engineering. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-47846-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Cerone, Antonio, and Marco Roveri, eds. Software Engineering and Formal Methods. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-74781-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Book chapters on the topic "Formal methods for software engineering"

1

Peled, Doron A. "Formal Methods." In Handbook of Software Engineering. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-00262-6_5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Srivastava, Amitabh. "Engineering Quality Software." In Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30482-1_6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Laplante, Phillip A., and Mohamad H. Kassab. "Formal Methods." In Requirements Engineering for Software and Systems, 4th ed. Auerbach Publications, 2022. http://dx.doi.org/10.1201/9781003129509-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Robinson, Ken. "Embedding Formal Development in Software Engineering." In Teaching Formal Methods. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30472-2_13.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Schumann, Johann M. "Formal Methods in Software Engineering." In Automated Theorem Proving in Software Engineering. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-662-22646-9_2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Lutz, Michael J. "Formal methods and the engineering paradigm." In Software Engineering Education. Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-55963-9_44.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Cartiere, Carmelo R. "Formal Methods for Quantum Software Engineering." In Quantum Software Engineering. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-05324-5_5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Johnson, D. Randolph. "Cost Effective Software Engineering for Security." In FM 2006: Formal Methods. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11813040_43.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Duke, D. J., and M. D. Harrison. "From formal models to formal methods." In Software Engineering and Human-Computer Interaction. Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/bfb0035813.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

McDermid, John, and Andy Galloway. "Three Perspectives in Formal Engineering." In Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11901433_3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Formal methods for software engineering"

1

Palliyil, Avinash. "Improving Formal Methods Visualizations." In 2025 IEEE/ACM 47th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). IEEE, 2025. https://doi.org/10.1109/icse-companion66252.2025.00070.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Young, William D. "Formal methods versus software engineering." In the symposium. ACM Press, 1991. http://dx.doi.org/10.1145/120807.120824.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Cookson, M. D. "Software engineering using SDL." In IEE Colloquium on `Practical Application of Formal Methods'. IEE, 1995. http://dx.doi.org/10.1049/ic:19950711.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Spichkova, Maria, and Anna Zamansky. "Teaching of Formal Methods for Software Engineering." In Special Session on Collaborative Aspects of Formal Methods. SCITEPRESS - Science and and Technology Publications, 2016. http://dx.doi.org/10.5220/0005928503700376.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Bjoerner, D. "A cloverleaf of software engineering." In Third IEEE International Conference on Software Engineering and Formal Methods. IEEE, 2005. http://dx.doi.org/10.1109/sefm.2005.2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Hall, Jon G., Lucia Rapanotti, and Michael Jackson. "Problem Oriented Software Engineering: A design-theoretic framework for software engineering." In Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007). IEEE, 2007. http://dx.doi.org/10.1109/sefm.2007.29.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Jackson, Michael. "Specialising in Software Engineering." In Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007). IEEE, 2007. http://dx.doi.org/10.1109/sefm.2007.37.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Joochim, T., C. F. Snook, M. R. Poppleton, and A. M. Gravell. "Timing Diagrams Requirements Modeling using Event-B Formal Methods." In Software Engineering. ACTAPRESS, 2010. http://dx.doi.org/10.2316/p.2010.677-028.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Gargantini, Angelo, Elvinia Riccobene, and Patrizia Scandurra. "Integrating Formal Methods with Model-Driven Engineering." In 2009 Fourth International Conference on Software Engineering Advances (ICSEA). IEEE, 2009. http://dx.doi.org/10.1109/icsea.2009.22.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Hall, A. "Making formal methods work." In Third IEEE International Conference on Software Engineering and Formal Methods. IEEE, 2005. http://dx.doi.org/10.1109/sefm.2005.27.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Formal methods for software engineering"

1

Moriconi, Mark. Structure Based Formal Methods for Software Engineering. Defense Technical Information Center, 1989. http://dx.doi.org/10.21236/ada211660.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Black, Paul E. Formal methods for statistical software. National Institute of Standards and Technology, 2019. http://dx.doi.org/10.6028/nist.ir.8274.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Modlo, Yevhenii O., Serhiy O. Semerikov, Stanislav L. Bondarevskyi, Stanislav T. Tolmachev, Oksana M. Markova, and Pavlo P. Nechypurenko. Methods of using mobile Internet devices in the formation of the general scientific component of bachelor in electromechanics competency in modeling of technical objects. [б. в.], 2020. http://dx.doi.org/10.31812/123456789/3677.

Full text

Abstract:

An analysis of the experience of professional training bachelors of electromechanics in Ukraine and abroad made it possible to determine that one of the leading trends in its modernization is the synergistic integration of various engineering branches (mechanical, electrical, electronic engineering and automation) in mechatronics for the purpose of design, manufacture, operation and maintenance electromechanical equipment. Teaching mechatronics provides for the meaningful integration of various disciplines of professional and practical training bachelors of electromechanics based on the concep

APA, Harvard, Vancouver, ISO, and other styles

4

Li, Wenchao. Formal Methods for Reverse Engineering Gate-Level Netlists. Defense Technical Information Center, 2013. http://dx.doi.org/10.21236/ada623698.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Williams, L. G. Formal methods in the development of safety critical software systems. Office of Scientific and Technical Information (OSTI), 1991. http://dx.doi.org/10.2172/10146119.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Shatz, Sol M. Methods and Tools to Support Software Engineering Automation. Defense Technical Information Center, 2001. http://dx.doi.org/10.21236/ada392761.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Luqi. Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development,. Defense Technical Information Center, 1995. http://dx.doi.org/10.21236/ada310438.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Vakaliuk, Tetiana A., Valerii V. Kontsedailo, Dmytro S. Antoniuk, Olha V. Korotun, Iryna S. Mintii, and Andrey V. Pikilnyak. Using game simulator Software Inc in the Software Engineering education. [б. в.], 2020. http://dx.doi.org/10.31812/123456789/3762.

Full text

Abstract:

The article presents the possibilities of using game simulator Sotware Inc in the training of future software engineer in higher education. Attention is drawn to some specific settings that need to be taken into account when training in the course of training future software engineers. More and more educational institutions are introducing new teaching methods, which result in the use of engineering students, in particular, future software engineers, to deal with real professional situations in the learning process. The use of modern ICT, including game simulators, in the educational process,

APA, Harvard, Vancouver, ISO, and other styles

9

Striuk, Andrii M., Сергій Олексійович Семеріков, Hanna M. Shalatska, et al. Software requirements engineering training: problematic questions. Криворізький державний педагогічний університет, 2022. http://dx.doi.org/10.31812/123456789/6980.

Full text

Abstract:

The key problems of training Requirement Engineering and the following ways to overcome the contradiction between the crucial role of Requirement Engineering in industrial software development and insufficient motivation to master it in the process of Software Engineering specialists professional training were identified based on a systematic research analysis on the formation of the ability of future software engineers to identify, classify and formulate software requirements: use of activity and constructivist approaches, game teaching methods in the process of modeling requirements; active

APA, Harvard, Vancouver, ISO, and other styles

10

Striuk, Andrii M., and Serhiy O. Semerikov. The Dawn of Software Engineering Education. [б. в.], 2020. http://dx.doi.org/10.31812/123456789/3671.

Full text

Abstract:

Designing a mobile-oriented environment for professional and practical training requires determining the stable (fundamental) and mobile (technological) components of its content and determining the appropriate model for specialist training. In order to determine the ratio of fundamental and technological in the content of software engineers’ training, a retrospective analysis of the first model of training software engineers developed in the early 1970s was carried out and its compliance with the current state of software engineering development as a field of knowledge and a new the standard

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!