000			05007nam a22004935i 4500
999			_c383129 _d383129 _x1
001			383129
003			ES-MaUEC
005			20240201134318.0
006			a||||fo|||| 00| 0
007			cr nn 008mamaa
008			220622s2022 sz a s |1|| 0|eng d
020			_a9783030388003
024	7		_a10.1007/978-3-030-38800-3 _2doi
040			_aES-MaUEC _bspa _cES-MaUEC _dES-MaUEC
050		4	_aQA76.758 _b2022 EB
100	1		_aRoggenbach, Markus. _eautor _0(orcid)0000-0002-3819-2787 _1https://orcid.org/0000-0002-3819-2787 _4aut _4http://id.loc.gov/vocabulary/relators/aut
245	0	0	_aFormal Methods for Software Engineering : _bLanguages, Methods, Application Domains _cby Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
250			_aFirst edition 2022
264		1	_aCham _bSpringer International Publising _c2022
300			_a1 recurso en línea (XXVIII, 524 páginas) _b47 ilustraciones, 12 ilustraciones a color
336			_atexto _btxt _2rdacontent
337			_aelectrónico _bc _2rdamedia
338			_arecurso electrónico _bcr _2rdacarrier
347			_aarchivo de texto _bPDF
490	0		_aTexts in Theoretical Computer Science. An EATCS Series _x1862-4502
505	0		_a1. Formal Methods -- Part I. Languages: 2. Logics for Software Engineering -- 3. The Process Algebra CSP -- Part II. Methods: 4. Algebraic Specification in CASL -- 5. Specification-Based Testing -- Part III. Application Domains: 6 Specification and Verification of Normative Documents -- 7. Formal Methods for Human-Computer Interaction -- 8. Formal Verification of Security Protocols -- Part IV. Wrapping up: 9. Origins and Development of Formal Methods -- Authors' Conclusion -- Appendix A. Syntax of the Logics in this Book -- Appendix B. Language Definition of CSP -- Appendix C. Concrete CASL Syntax.
520			_aSoftware programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours. The second part offers specification and testing methods for formal development of software, based on the modelling languages CASL and UML. The third part takes the reader into the application domains of normative documents, human machine interfaces, and security. Use of notations and formalisms is uniform throughout the book. Topics and features: Explains foundations, and introduces specification, verification, and testing methods Explores various application domains Presents realistic and practical examples, illustrating concepts Brings together contributions from highly experienced educators and researchers Offers modelling and analysis methods for formal development of software Suitable for graduate and undergraduate courses in software engineering, this uniquely practical textbook will also be of value to students in informatics, as well as to scientists and practical engineers, who want to learn about or work more effectively with formal theories and methods. Markus Roggenbach is a Professor in the Dept. of Computer Science of Swansea University. Antonio Cerone is an Associate Professor in the Dept. of Computer Science of Nazarbayev University, Nur-Sultan. Bernd-Holger Schlingloff is a Professor in the Institut für Informatik of Humboldt-Universität zu Berlin. Gerardo Schneider is a Professor in the Dept. of Computer Science and Engineering of University of Gothenburg. Siraj Ahmed Shaikh is a Professor in the Institute for Future Transport and Cities of Coventry University.
988			_aSpringer_Computer_2022
650		7	_2embne _9152630 _aIngeniería del software _vCongresos y asambleas
650		7	_2embne _9453538 _aArquitectura de software _vCongresos y asambleas
650		7	_2embne _9322509 _aSoftware _xDesarrollo _vCongresos y asambleas
700	1		_aCerone, Antonio. _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut
700	1		_aSchlingloff, Bernd-Holger. _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut
700	1		_aSchneider, Gerardo. _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut
700	1		_aShaikh, Siraj Ahmed. _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut
776	0	8	_iPrinted edition: _z9783030387990
776	0	8	_iPrinted edition: _z9783030388010
776	0	8	_iPrinted edition: _z9783030388027
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-030-38800-3 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942			_2lcc _cLE
998			_b10/2022 _dz _esc _zSI