Bibliografías temáticas / Formal methods for software engineering

Índice

  1. Artículos de revistas
  2. Tesis
  3. Libros
  4. Capítulos de libros
  5. Actas de conferencias
  6. Informes

Literatura académica 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 las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas 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.

Artículos de revistas sobre el tema "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.

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.
Más fuentes

Tesis sobre el tema "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.

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

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

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

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

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

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

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

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

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

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

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

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

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Libros sobre el tema "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.

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

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

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

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

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

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

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

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

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Capítulos de libros sobre el tema "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.

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

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

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

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

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

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

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

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

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

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

Actas de conferencias sobre el tema "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.

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

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

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

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

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

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

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

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

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

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

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

Informes sobre el tema "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.

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

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

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

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

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

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

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

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

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

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

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

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

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías ampliadas sobre el tema "Formal methods for software engineering" para tipos de fuentes particulares:
Artículos de revistas 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