Gotowa bibliografia na temat „Formal methods for software engineering”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Spis treści
Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Formal methods for software engineering”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Artykuły w czasopismach na temat "Formal methods for software engineering"
Hinchey, Mike, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen i Tiziana Margaria. "Software engineering and formal methods". Communications of the ACM 51, nr 9 (wrzesień 2008): 54–59. http://dx.doi.org/10.1145/1378727.1378742.
Pełny tekst źródłaAichernig, Bernhard, i 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.
Pełny tekst źródłaBarthe, Gilles, Alberto Pardo i 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.
Pełny tekst źródłaPerseil, Isabelle, i Laurent Pautet. "Formal methods integration in software engineering". Innovations in Systems and Software Engineering 6, nr 1-2 (3.02.2010): 5–11. http://dx.doi.org/10.1007/s11334-009-0115-2.
Pełny tekst źródłaKing, Trevor. "Introduction to Formal Methods for Software Engineering". Measurement and Control 26, nr 1 (luty 1993): 19–21. http://dx.doi.org/10.1177/002029409302600105.
Pełny tekst źródłaSchaefer, Ina, i Reiner Hahnle. "Formal Methods in Software Product Line Engineering". Computer 44, nr 2 (luty 2011): 82–85. http://dx.doi.org/10.1109/mc.2011.47.
Pełny tekst źródłade Man, Josef. "Session D2: Software engineering: Formal methods I". Microprocessing and Microprogramming 24, nr 1-5 (sierpień 1988): 361. http://dx.doi.org/10.1016/0165-6074(88)90079-8.
Pełny tekst źródłaWordsworth, John. "Education in formal methods for software engineering". Information and Software Technology 29, nr 1 (styczeń 1987): 27–32. http://dx.doi.org/10.1016/0950-5849(87)90017-6.
Pełny tekst źródłaDodani, Mahesh. "Formal methods for object-oriented software engineering". Annals of Software Engineering 2, nr 1 (grudzień 1996): 121–60. http://dx.doi.org/10.1007/bf02063808.
Pełny tekst źródłaLiu, 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.
Pełny tekst źródłaRozprawy doktorskie na temat "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.
Pełny tekst źródłaGlorio, Emanuele. "Formal methods for service oriented software engineering". Doctoral thesis, Università Politecnica delle Marche, 2013. http://hdl.handle.net/11566/242717.
Pełny tekst źródłaService-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/.
Pełny tekst źródłaSpegni, Francesco. "Formal methods for practical reverse engineering and software verification". Doctoral thesis, Università Politecnica delle Marche, 2012. http://hdl.handle.net/11566/242049.
Pełny tekst źródłaCorwin, Paul S. "Incremental Validation of Formal Specifications". DigitalCommons@CalPoly, 2009. https://digitalcommons.calpoly.edu/theses/71.
Pełny tekst źródłaTodorov, Vassil. "Automotive embedded software design using formal methods". Electronic Thesis or Diss., université Paris-Saclay, 2020. http://www.theses.fr/2020UPASG026.
Pełny tekst źródłaThe 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.
Pełny tekst źródłaPh. 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.
Pełny tekst źródłaPiveropoulos, Marios. "Requirements engineering for hard real-time systems". Thesis, University of York, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.310980.
Pełny tekst źródłaLunglhofer, Jon R. (Jon Richard). "Complete safety software testing : a formal method". Thesis, Massachusetts Institute of Technology, 1996. http://hdl.handle.net/1721.1/88311.
Pełny tekst źródłaKsiążki na temat "Formal methods for software engineering"
Calinescu, Radu, i Corina S. Păsăreanu, red. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-92124-8.
Pełny tekst źródłaRoggenbach, Markus, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider i Siraj Ahmed Shaikh. Formal Methods for Software Engineering. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-38800-3.
Pełny tekst źródłaSchlingloff, Bernd-Holger, i Ming Chai, red. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-17108-6.
Pełny tekst źródłaRiesco, Adrian, i Min Zhang, red. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-17244-1.
Pełny tekst źródłaBreitman, Karin, i Ana Cavalcanti, red. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-10373-5.
Pełny tekst źródłaLiu, Shaoying, Tom Maibaum i Keijiro Araki, red. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-88194-0.
Pełny tekst źródłaDuan, Zhenhua, i Luke Ong, red. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-68690-5.
Pełny tekst źródłaGeorge, Chris, i Huaikou Miao, red. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-36103-0.
Pełny tekst źródłaOgata, Kazuhiro, Mark Lawford i Shaoying Liu, red. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-47846-3.
Pełny tekst źródłaCerone, Antonio, i Marco Roveri, red. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-74781-1.
Pełny tekst źródłaCzęści książek na temat "Formal methods for software engineering"
Peled, Doron A. "Formal Methods". W Handbook of Software Engineering, 193–222. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-00262-6_5.
Pełny tekst źródłaSrivastava, Amitabh. "Engineering Quality Software". W Formal Methods and Software Engineering, 11. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30482-1_6.
Pełny tekst źródłaLaplante, Phillip A., i Mohamad H. Kassab. "Formal Methods". W Requirements Engineering for Software and Systems, 167–94. Wyd. 4. New York: Auerbach Publications, 2022. http://dx.doi.org/10.1201/9781003129509-7.
Pełny tekst źródłaRobinson, Ken. "Embedding Formal Development in Software Engineering". W Teaching Formal Methods, 203–13. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30472-2_13.
Pełny tekst źródłaSchumann, Johann M. "Formal Methods in Software Engineering". W 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.
Pełny tekst źródłaLutz, Michael J. "Formal methods and the engineering paradigm". W Software Engineering Education, 119–30. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-55963-9_44.
Pełny tekst źródłaCartiere, Carmelo R. "Formal Methods for Quantum Software Engineering". W Quantum Software Engineering, 85–101. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-05324-5_5.
Pełny tekst źródłaJohnson, D. Randolph. "Cost Effective Software Engineering for Security". W FM 2006: Formal Methods, 607–11. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11813040_43.
Pełny tekst źródłaDuke, D. J., i M. D. Harrison. "From formal models to formal methods". W Software Engineering and Human-Computer Interaction, 159–73. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/bfb0035813.
Pełny tekst źródłaMcDermid, John, i Andy Galloway. "Three Perspectives in Formal Engineering". W Formal Methods and Software Engineering, 35–54. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11901433_3.
Pełny tekst źródłaStreszczenia konferencji na temat "Formal methods for software engineering"
Young, William D. "Formal methods versus software engineering". W the symposium. New York, New York, USA: ACM Press, 1991. http://dx.doi.org/10.1145/120807.120824.
Pełny tekst źródłaCookson, M. D. "Software engineering using SDL". W IEE Colloquium on `Practical Application of Formal Methods'. IEE, 1995. http://dx.doi.org/10.1049/ic:19950711.
Pełny tekst źródłaSpichkova, Maria, i Anna Zamansky. "Teaching of Formal Methods for Software Engineering". W Special Session on Collaborative Aspects of Formal Methods. SCITEPRESS - Science and and Technology Publications, 2016. http://dx.doi.org/10.5220/0005928503700376.
Pełny tekst źródłaBjoerner, D. "A cloverleaf of software engineering". W Third IEEE International Conference on Software Engineering and Formal Methods. IEEE, 2005. http://dx.doi.org/10.1109/sefm.2005.2.
Pełny tekst źródłaHall, Jon G., Lucia Rapanotti i Michael Jackson. "Problem Oriented Software Engineering: A design-theoretic framework for software engineering". W Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007). IEEE, 2007. http://dx.doi.org/10.1109/sefm.2007.29.
Pełny tekst źródłaJackson, Michael. "Specialising in Software Engineering". W Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007). IEEE, 2007. http://dx.doi.org/10.1109/sefm.2007.37.
Pełny tekst źródłaJoochim, T., C. F. Snook, M. R. Poppleton i A. M. Gravell. "Timing Diagrams Requirements Modeling using Event-B Formal Methods". W Software Engineering. Calgary,AB,Canada: ACTAPRESS, 2010. http://dx.doi.org/10.2316/p.2010.677-028.
Pełny tekst źródłaGargantini, Angelo, Elvinia Riccobene i Patrizia Scandurra. "Integrating Formal Methods with Model-Driven Engineering". W 2009 Fourth International Conference on Software Engineering Advances (ICSEA). IEEE, 2009. http://dx.doi.org/10.1109/icsea.2009.22.
Pełny tekst źródłaHall, A. "Making formal methods work". W Third IEEE International Conference on Software Engineering and Formal Methods. IEEE, 2005. http://dx.doi.org/10.1109/sefm.2005.27.
Pełny tekst źródłaLindsay, Peter A. "Behavior Trees: From Systems Engineering to Software Engineering". W 2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM). IEEE, 2010. http://dx.doi.org/10.1109/sefm.2010.11.
Pełny tekst źródłaRaporty organizacyjne na temat "Formal methods for software engineering"
Moriconi, Mark. Structure Based Formal Methods for Software Engineering. Fort Belvoir, VA: Defense Technical Information Center, lipiec 1989. http://dx.doi.org/10.21236/ada211660.
Pełny tekst źródłaBlack, Paul E. Formal methods for statistical software. Gaithersburg, MD: National Institute of Standards and Technology, październik 2019. http://dx.doi.org/10.6028/nist.ir.8274.
Pełny tekst źródłaModlo, Yevhenii O., Serhiy O. Semerikov, Stanislav L. Bondarevskyi, Stanislav T. Tolmachev, Oksana M. Markova i 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. [б. в.], luty 2020. http://dx.doi.org/10.31812/123456789/3677.
Pełny tekst źródłaLi, Wenchao. Formal Methods for Reverse Engineering Gate-Level Netlists. Fort Belvoir, VA: Defense Technical Information Center, grudzień 2013. http://dx.doi.org/10.21236/ada623698.
Pełny tekst źródłaWilliams, L. G. Formal methods in the development of safety critical software systems. Office of Scientific and Technical Information (OSTI), listopad 1991. http://dx.doi.org/10.2172/10146119.
Pełny tekst źródłaLuqi. Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development,. Fort Belvoir, VA: Defense Technical Information Center, wrzesień 1995. http://dx.doi.org/10.21236/ada310438.
Pełny tekst źródłaShatz, Sol M. Methods and Tools to Support Software Engineering Automation. Fort Belvoir, VA: Defense Technical Information Center, marzec 2001. http://dx.doi.org/10.21236/ada392761.
Pełny tekst źródłaVakaliuk, Tetiana A., Valerii V. Kontsedailo, Dmytro S. Antoniuk, Olha V. Korotun, Iryna S. Mintii i Andrey V. Pikilnyak. Using game simulator Software Inc in the Software Engineering education. [б. в.], luty 2020. http://dx.doi.org/10.31812/123456789/3762.
Pełny tekst źródłaStriuk, Andrii M., Сергій Олексійович Семеріков, Hanna M. Shalatska, Vladyslav P. Holiver, Андрій Миколайович Стрюк, Ганна Миколаївна Шалацька i Владислав Павлович Голівер. Software requirements engineering training: problematic questions. Криворізький державний педагогічний університет, styczeń 2022. http://dx.doi.org/10.31812/123456789/6980.
Pełny tekst źródłaStriuk, Andrii M., i Serhiy O. Semerikov. The Dawn of Software Engineering Education. [б. в.], luty 2020. http://dx.doi.org/10.31812/123456789/3671.
Pełny tekst źródła