Literatura científica selecionada sobre o tema "Formal methods for software engineering"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Índice
Consulte a lista de atuais artigos, livros, teses, anais de congressos e outras fontes científicas relevantes para o tema "Formal methods for software engineering".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Artigos de revistas sobre o assunto "Formal methods for software engineering"
Hinchey, Mike, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen e Tiziana Margaria. "Software engineering and formal methods". Communications of the ACM 51, n.º 9 (setembro de 2008): 54–59. http://dx.doi.org/10.1145/1378727.1378742.
Texto completo da fonteAichernig, Bernhard, e Bernhard Beckert. "Software engineering and formal methods". Software & Systems Modeling 7, n.º 3 (11 de junho de 2008): 255–56. http://dx.doi.org/10.1007/s10270-008-0091-2.
Texto completo da fonteBarthe, Gilles, Alberto Pardo e Gerardo Schneider. "SEFM: software engineering and formal methods". Software & Systems Modeling 14, n.º 1 (22 de fevereiro de 2014): 3–4. http://dx.doi.org/10.1007/s10270-014-0404-6.
Texto completo da fontePerseil, Isabelle, e Laurent Pautet. "Formal methods integration in software engineering". Innovations in Systems and Software Engineering 6, n.º 1-2 (3 de fevereiro de 2010): 5–11. http://dx.doi.org/10.1007/s11334-009-0115-2.
Texto completo da fonteKing, Trevor. "Introduction to Formal Methods for Software Engineering". Measurement and Control 26, n.º 1 (fevereiro de 1993): 19–21. http://dx.doi.org/10.1177/002029409302600105.
Texto completo da fonteSchaefer, Ina, e Reiner Hahnle. "Formal Methods in Software Product Line Engineering". Computer 44, n.º 2 (fevereiro de 2011): 82–85. http://dx.doi.org/10.1109/mc.2011.47.
Texto completo da fontede Man, Josef. "Session D2: Software engineering: Formal methods I". Microprocessing and Microprogramming 24, n.º 1-5 (agosto de 1988): 361. http://dx.doi.org/10.1016/0165-6074(88)90079-8.
Texto completo da fonteWordsworth, John. "Education in formal methods for software engineering". Information and Software Technology 29, n.º 1 (janeiro de 1987): 27–32. http://dx.doi.org/10.1016/0950-5849(87)90017-6.
Texto completo da fonteDodani, Mahesh. "Formal methods for object-oriented software engineering". Annals of Software Engineering 2, n.º 1 (dezembro de 1996): 121–60. http://dx.doi.org/10.1007/bf02063808.
Texto completo da fonteLiu, Shaoying. "Formal engineering methods for software quality assurance". Frontiers of Computer Science 6, n.º 1 (27 de janeiro de 2012): 1–2. http://dx.doi.org/10.1007/s11704-012-2900-6.
Texto completo da fonteTeses / dissertações sobre o assunto "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.
Texto completo da fonteGlorio, Emanuele. "Formal methods for service oriented software engineering". Doctoral thesis, Università Politecnica delle Marche, 2013. http://hdl.handle.net/11566/242717.
Texto completo da fonteService-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/.
Texto completo da fonteSpegni, 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 da fonteCorwin, Paul S. "Incremental Validation of Formal Specifications". DigitalCommons@CalPoly, 2009. https://digitalcommons.calpoly.edu/theses/71.
Texto completo da fonteTodorov, Vassil. "Automotive embedded software design using formal methods". Electronic Thesis or Diss., université Paris-Saclay, 2020. http://www.theses.fr/2020UPASG026.
Texto completo da fonteThe 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.
Texto completo da fontePh. 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.
Texto completo da fontePiveropoulos, 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 da fonteLunglhofer, 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 da fonteLivros sobre o assunto "Formal methods for software engineering"
Calinescu, Radu, e Corina S. Păsăreanu, eds. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-92124-8.
Texto completo da fonteRoggenbach, Markus, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider e Siraj Ahmed Shaikh. Formal Methods for Software Engineering. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-38800-3.
Texto completo da fonteSchlingloff, Bernd-Holger, e Ming Chai, eds. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-17108-6.
Texto completo da fonteRiesco, Adrian, e Min Zhang, eds. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-17244-1.
Texto completo da fonteBreitman, Karin, e Ana Cavalcanti, eds. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-10373-5.
Texto completo da fonteLiu, Shaoying, Tom Maibaum e Keijiro Araki, eds. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-88194-0.
Texto completo da fonteDuan, Zhenhua, e Luke Ong, eds. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-68690-5.
Texto completo da fonteGeorge, Chris, e Huaikou Miao, eds. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-36103-0.
Texto completo da fonteOgata, Kazuhiro, Mark Lawford e Shaoying Liu, eds. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-47846-3.
Texto completo da fonteCerone, Antonio, e Marco Roveri, eds. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-74781-1.
Texto completo da fonteCapítulos de livros sobre o assunto "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.
Texto completo da fonteSrivastava, 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.
Texto completo da fonteLaplante, Phillip A., e Mohamad H. Kassab. "Formal Methods". In Requirements Engineering for Software and Systems, 167–94. 4a ed. New York: Auerbach Publications, 2022. http://dx.doi.org/10.1201/9781003129509-7.
Texto completo da fonteRobinson, 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.
Texto completo da fonteSchumann, 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.
Texto completo da fonteLutz, 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.
Texto completo da fonteCartiere, 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.
Texto completo da fonteJohnson, 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.
Texto completo da fonteDuke, D. J., e 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.
Texto completo da fonteMcDermid, John, e 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.
Texto completo da fonteTrabalhos de conferências sobre o assunto "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.
Texto completo da fonteCookson, 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 da fonteSpichkova, Maria, e 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 da fonteBjoerner, 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 da fonteHall, Jon G., Lucia Rapanotti e 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 da fonteJackson, 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 da fonteJoochim, T., C. F. Snook, M. R. Poppleton e 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.
Texto completo da fonteGargantini, Angelo, Elvinia Riccobene e 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 da fonteHall, 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 da fonteLindsay, 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.
Texto completo da fonteRelatórios de organizações sobre o assunto "Formal methods for software engineering"
Moriconi, Mark. Structure Based Formal Methods for Software Engineering. Fort Belvoir, VA: Defense Technical Information Center, julho de 1989. http://dx.doi.org/10.21236/ada211660.
Texto completo da fonteBlack, Paul E. Formal methods for statistical software. Gaithersburg, MD: National Institute of Standards and Technology, outubro de 2019. http://dx.doi.org/10.6028/nist.ir.8274.
Texto completo da fonteModlo, Yevhenii O., Serhiy O. Semerikov, Stanislav L. Bondarevskyi, Stanislav T. Tolmachev, Oksana M. Markova e 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. [б. в.], fevereiro de 2020. http://dx.doi.org/10.31812/123456789/3677.
Texto completo da fonteLi, Wenchao. Formal Methods for Reverse Engineering Gate-Level Netlists. Fort Belvoir, VA: Defense Technical Information Center, dezembro de 2013. http://dx.doi.org/10.21236/ada623698.
Texto completo da fonteWilliams, L. G. Formal methods in the development of safety critical software systems. Office of Scientific and Technical Information (OSTI), novembro de 1991. http://dx.doi.org/10.2172/10146119.
Texto completo da fonteLuqi. Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development,. Fort Belvoir, VA: Defense Technical Information Center, setembro de 1995. http://dx.doi.org/10.21236/ada310438.
Texto completo da fonteShatz, Sol M. Methods and Tools to Support Software Engineering Automation. Fort Belvoir, VA: Defense Technical Information Center, março de 2001. http://dx.doi.org/10.21236/ada392761.
Texto completo da fonteVakaliuk, Tetiana A., Valerii V. Kontsedailo, Dmytro S. Antoniuk, Olha V. Korotun, Iryna S. Mintii e Andrey V. Pikilnyak. Using game simulator Software Inc in the Software Engineering education. [б. в.], fevereiro de 2020. http://dx.doi.org/10.31812/123456789/3762.
Texto completo da fonteStriuk, Andrii M., Сергій Олексійович Семеріков, Hanna M. Shalatska, Vladyslav P. Holiver, Андрій Миколайович Стрюк, Ганна Миколаївна Шалацька e Владислав Павлович Голівер. Software requirements engineering training: problematic questions. Криворізький державний педагогічний університет, janeiro de 2022. http://dx.doi.org/10.31812/123456789/6980.
Texto completo da fonteStriuk, Andrii M., e Serhiy O. Semerikov. The Dawn of Software Engineering Education. [б. в.], fevereiro de 2020. http://dx.doi.org/10.31812/123456789/3671.
Texto completo da fonte