Auswahl der wissenschaftlichen Literatur zum Thema „Formal methods for software engineering“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Inhaltsverzeichnis
Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Formal methods for software engineering" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Zeitschriftenartikel zum Thema "Formal methods for software engineering"
Hinchey, Mike, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen und Tiziana Margaria. „Software engineering and formal methods“. Communications of the ACM 51, Nr. 9 (September 2008): 54–59. http://dx.doi.org/10.1145/1378727.1378742.
Der volle Inhalt der QuelleAichernig, Bernhard, und Bernhard Beckert. „Software engineering and formal methods“. Software & Systems Modeling 7, Nr. 3 (11.06.2008): 255–56. http://dx.doi.org/10.1007/s10270-008-0091-2.
Der volle Inhalt der QuelleBarthe, Gilles, Alberto Pardo und Gerardo Schneider. „SEFM: software engineering and formal methods“. Software & Systems Modeling 14, Nr. 1 (22.02.2014): 3–4. http://dx.doi.org/10.1007/s10270-014-0404-6.
Der volle Inhalt der QuellePerseil, Isabelle, und Laurent Pautet. „Formal methods integration in software engineering“. Innovations in Systems and Software Engineering 6, Nr. 1-2 (03.02.2010): 5–11. http://dx.doi.org/10.1007/s11334-009-0115-2.
Der volle Inhalt der QuelleKing, Trevor. „Introduction to Formal Methods for Software Engineering“. Measurement and Control 26, Nr. 1 (Februar 1993): 19–21. http://dx.doi.org/10.1177/002029409302600105.
Der volle Inhalt der QuelleSchaefer, Ina, und Reiner Hahnle. „Formal Methods in Software Product Line Engineering“. Computer 44, Nr. 2 (Februar 2011): 82–85. http://dx.doi.org/10.1109/mc.2011.47.
Der volle Inhalt der Quellede Man, Josef. „Session D2: Software engineering: Formal methods I“. Microprocessing and Microprogramming 24, Nr. 1-5 (August 1988): 361. http://dx.doi.org/10.1016/0165-6074(88)90079-8.
Der volle Inhalt der QuelleWordsworth, John. „Education in formal methods for software engineering“. Information and Software Technology 29, Nr. 1 (Januar 1987): 27–32. http://dx.doi.org/10.1016/0950-5849(87)90017-6.
Der volle Inhalt der QuelleDodani, Mahesh. „Formal methods for object-oriented software engineering“. Annals of Software Engineering 2, Nr. 1 (Dezember 1996): 121–60. http://dx.doi.org/10.1007/bf02063808.
Der volle Inhalt der QuelleLiu, Shaoying. „Formal engineering methods for software quality assurance“. Frontiers of Computer Science 6, Nr. 1 (27.01.2012): 1–2. http://dx.doi.org/10.1007/s11704-012-2900-6.
Der volle Inhalt der QuelleDissertationen zum Thema "Formal methods for software engineering"
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.
Der volle Inhalt der QuelleGlorio, Emanuele. „Formal methods for service oriented software engineering“. Doctoral thesis, Università Politecnica delle Marche, 2013. http://hdl.handle.net/11566/242717.
Der volle Inhalt der QuelleService-Oriented Computing is becoming more and more important. The proliferation of grid and cloud computing is increasing this trend. As a result, more companies than ever before are exposing their Web services on the Internet. This fact has the effect of transforming the web from a repository of data to a repository of service. In this scenario, a software engineer is called to design a software taking into account the opportunity/need of reusing existing services. This requires two issues: - a software engineering methodology that starts from business goals and organization of a given company and arrives to identify which parts can be delegated to external services; - the capability of locating the “most” appropriate services. In fact, while technology and standards, such as Web services, are important, it has been widely recognized that they are not sufficient on their own. Instead, a systematic and comprehensive approach is of critical importance, taking into account the business requirements and following recommended practices. For this reason, even if there are many service-oriented methodology nowadays, Service-Oriented Software Engineering (SOSE) is still an open field. In this thesis we present the definition of a new SOSE methodology. As start, we use Tropos early phases because it is an agent-oriented methodology which bears particular attention to stakeholder needs and requirements analysis. Besides, Tropos was already refined in order to support web service design. We leave the first three phases unchanged (Early and Late Requirements, Architectural Design) and we focus on the final phases (Detailed Design and Implementation). In Detailed Design phase we propose a mapping between i* concepts and BPMN 2.0 elements in order to translate automatically the i* diagram derived from the previous phases in a workflow language. Moreover we provide formal methods and techniques to select code and services in order to reuse them inside the to-be application. Finally, in Implementation phase we propose a mapping BPMN - Alan (an agent-object oriented programming language) to produce automatically an executable application. We present a case study from e-commerce and we use it to show how to apply our methodology step by step.
Tran, Sang Cong. „Applications of formal methods in engineering“. Thesis, University of Warwick, 1991. http://wrap.warwick.ac.uk/60452/.
Der volle Inhalt der QuelleSpegni, Francesco. „Formal methods for practical reverse engineering and software verification“. Doctoral thesis, Università Politecnica delle Marche, 2012. http://hdl.handle.net/11566/242049.
Der volle Inhalt der QuelleCorwin, Paul S. „Incremental Validation of Formal Specifications“. DigitalCommons@CalPoly, 2009. https://digitalcommons.calpoly.edu/theses/71.
Der volle Inhalt der QuelleTodorov, Vassil. „Automotive embedded software design using formal methods“. Electronic Thesis or Diss., université Paris-Saclay, 2020. http://www.theses.fr/2020UPASG026.
Der volle Inhalt der QuelleThe growing share of driver assistance functions, their criticality, as well as the prospect of certification of these functions, make their verification and validation necessary with a level of requirement that testing alone cannot ensure. For several years now, other industries such as aeronautics and railways have been subject to equivalent contexts. To respond to certain constraints, they have locally implemented formal methods. We are interested in the motivations and criteria that led to the use of formal methods in these industries in order to transpose them to automotive scenarios and identify the potential scope of application.In this thesis, we present our case studies and propose methodologies for the use of formal methods by non-expert engineers. Inductive model checking for a model-driven development process, abstract interpretation to demonstrate the absence of run-time errors in the code and deductive proof for critical library functions.Finally, we propose new algorithms to solve the problems identified during our experiments. These are, firstly, an invariant generator and a method using the semantics of data to process properties involving long-running timers in an efficient way, and secondly, an efficient algorithm to measure the coverage of the model by the properties using mutation techniques
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.
Der volle Inhalt der QuellePh. D.
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.
Der volle Inhalt der QuellePiveropoulos, Marios. „Requirements engineering for hard real-time systems“. Thesis, University of York, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.310980.
Der volle Inhalt der QuelleLunglhofer, Jon R. (Jon Richard). „Complete safety software testing : a formal method“. Thesis, Massachusetts Institute of Technology, 1996. http://hdl.handle.net/1721.1/88311.
Der volle Inhalt der QuelleBücher zum Thema "Formal methods for software engineering"
Calinescu, Radu, und Corina S. Păsăreanu, Hrsg. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-92124-8.
Der volle Inhalt der QuelleRoggenbach, Markus, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider und Siraj Ahmed Shaikh. Formal Methods for Software Engineering. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-38800-3.
Der volle Inhalt der QuelleSchlingloff, Bernd-Holger, und Ming Chai, Hrsg. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-17108-6.
Der volle Inhalt der QuelleRiesco, Adrian, und Min Zhang, Hrsg. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-17244-1.
Der volle Inhalt der QuelleBreitman, Karin, und Ana Cavalcanti, Hrsg. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-10373-5.
Der volle Inhalt der QuelleLiu, Shaoying, Tom Maibaum und Keijiro Araki, Hrsg. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-88194-0.
Der volle Inhalt der QuelleDuan, Zhenhua, und Luke Ong, Hrsg. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-68690-5.
Der volle Inhalt der QuelleGeorge, Chris, und Huaikou Miao, Hrsg. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-36103-0.
Der volle Inhalt der QuelleOgata, Kazuhiro, Mark Lawford und Shaoying Liu, Hrsg. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-47846-3.
Der volle Inhalt der QuelleCerone, Antonio, und Marco Roveri, Hrsg. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-74781-1.
Der volle Inhalt der QuelleBuchteile zum Thema "Formal methods for software engineering"
Peled, Doron A. „Formal Methods“. In Handbook of Software Engineering, 193–222. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-00262-6_5.
Der volle Inhalt der QuelleSrivastava, Amitabh. „Engineering Quality Software“. In Formal Methods and Software Engineering, 11. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30482-1_6.
Der volle Inhalt der QuelleLaplante, Phillip A., und Mohamad H. Kassab. „Formal Methods“. In Requirements Engineering for Software and Systems, 167–94. 4. Aufl. New York: Auerbach Publications, 2022. http://dx.doi.org/10.1201/9781003129509-7.
Der volle Inhalt der QuelleRobinson, Ken. „Embedding Formal Development in Software Engineering“. In Teaching Formal Methods, 203–13. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30472-2_13.
Der volle Inhalt der QuelleSchumann, Johann M. „Formal Methods in Software Engineering“. In Automated Theorem Proving in Software Engineering, 11–22. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-662-22646-9_2.
Der volle Inhalt der QuelleLutz, Michael J. „Formal methods and the engineering paradigm“. In Software Engineering Education, 119–30. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-55963-9_44.
Der volle Inhalt der QuelleCartiere, Carmelo R. „Formal Methods for Quantum Software Engineering“. In Quantum Software Engineering, 85–101. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-05324-5_5.
Der volle Inhalt der QuelleJohnson, D. Randolph. „Cost Effective Software Engineering for Security“. In FM 2006: Formal Methods, 607–11. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11813040_43.
Der volle Inhalt der QuelleDuke, D. J., und M. D. Harrison. „From formal models to formal methods“. In Software Engineering and Human-Computer Interaction, 159–73. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/bfb0035813.
Der volle Inhalt der QuelleMcDermid, John, und Andy Galloway. „Three Perspectives in Formal Engineering“. In Formal Methods and Software Engineering, 35–54. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11901433_3.
Der volle Inhalt der QuelleKonferenzberichte zum Thema "Formal methods for software engineering"
Young, William D. „Formal methods versus software engineering“. In the symposium. New York, New York, USA: ACM Press, 1991. http://dx.doi.org/10.1145/120807.120824.
Der volle Inhalt der QuelleCookson, 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.
Der volle Inhalt der QuelleSpichkova, Maria, und 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.
Der volle Inhalt der QuelleBjoerner, 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.
Der volle Inhalt der QuelleHall, Jon G., Lucia Rapanotti und 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.
Der volle Inhalt der QuelleJackson, 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.
Der volle Inhalt der QuelleJoochim, T., C. F. Snook, M. R. Poppleton und A. M. Gravell. „Timing Diagrams Requirements Modeling using Event-B Formal Methods“. In Software Engineering. Calgary,AB,Canada: ACTAPRESS, 2010. http://dx.doi.org/10.2316/p.2010.677-028.
Der volle Inhalt der QuelleGargantini, Angelo, Elvinia Riccobene und 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.
Der volle Inhalt der QuelleHall, 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.
Der volle Inhalt der QuelleLindsay, Peter A. „Behavior Trees: From Systems Engineering to Software Engineering“. In 2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM). IEEE, 2010. http://dx.doi.org/10.1109/sefm.2010.11.
Der volle Inhalt der QuelleBerichte der Organisationen zum Thema "Formal methods for software engineering"
Moriconi, Mark. Structure Based Formal Methods for Software Engineering. Fort Belvoir, VA: Defense Technical Information Center, Juli 1989. http://dx.doi.org/10.21236/ada211660.
Der volle Inhalt der QuelleBlack, Paul E. Formal methods for statistical software. Gaithersburg, MD: National Institute of Standards and Technology, Oktober 2019. http://dx.doi.org/10.6028/nist.ir.8274.
Der volle Inhalt der QuelleModlo, Yevhenii O., Serhiy O. Semerikov, Stanislav L. Bondarevskyi, Stanislav T. Tolmachev, Oksana M. Markova und 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. [б. в.], Februar 2020. http://dx.doi.org/10.31812/123456789/3677.
Der volle Inhalt der QuelleLi, Wenchao. Formal Methods for Reverse Engineering Gate-Level Netlists. Fort Belvoir, VA: Defense Technical Information Center, Dezember 2013. http://dx.doi.org/10.21236/ada623698.
Der volle Inhalt der QuelleWilliams, L. G. Formal methods in the development of safety critical software systems. Office of Scientific and Technical Information (OSTI), November 1991. http://dx.doi.org/10.2172/10146119.
Der volle Inhalt der QuelleLuqi. Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development,. Fort Belvoir, VA: Defense Technical Information Center, September 1995. http://dx.doi.org/10.21236/ada310438.
Der volle Inhalt der QuelleShatz, Sol M. Methods and Tools to Support Software Engineering Automation. Fort Belvoir, VA: Defense Technical Information Center, März 2001. http://dx.doi.org/10.21236/ada392761.
Der volle Inhalt der QuelleVakaliuk, Tetiana A., Valerii V. Kontsedailo, Dmytro S. Antoniuk, Olha V. Korotun, Iryna S. Mintii und Andrey V. Pikilnyak. Using game simulator Software Inc in the Software Engineering education. [б. в.], Februar 2020. http://dx.doi.org/10.31812/123456789/3762.
Der volle Inhalt der QuelleStriuk, Andrii M., Сергій Олексійович Семеріков, Hanna M. Shalatska, Vladyslav P. Holiver, Андрій Миколайович Стрюк, Ганна Миколаївна Шалацька und Владислав Павлович Голівер. Software requirements engineering training: problematic questions. Криворізький державний педагогічний університет, Januar 2022. http://dx.doi.org/10.31812/123456789/6980.
Der volle Inhalt der QuelleStriuk, Andrii M., und Serhiy O. Semerikov. The Dawn of Software Engineering Education. [б. в.], Februar 2020. http://dx.doi.org/10.31812/123456789/3671.
Der volle Inhalt der Quelle