{"title":"Markus Roggenbach","description":null,"products":[{"product_id":"formal-methods-for-software-engineering-book-markus-roggenbach-9783030388027","title":"Formal Methods for Software Engineering","description":"Software 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 Exploresvarious 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.  The companion site for the book offers additional resources, including further material for selected chapters, prepared lab classes, a list of errata, slides and teaching material, and virtual machines with preinstalled tools and resources for hands-on experience with examples from the book. The URL is: https:\/\/sefm-book.github.io","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":49744314335505,"sku":"NGR9783030388027","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52677777981713,"sku":"NLS9783030388027","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3030388026.jpg?v=1750999065"},{"product_id":"formal-methods-for-software-engineering-book-markus-roggenbach-9783030387990","title":"Formal Methods for Software Engineering","description":"This is a graduate-level introduction to formal methods. The first part presents two formal languages: logic, in various forms, and Communicating Sequential Process (CSP) as a process algebra. The second part offers specification and testing methods for formal development of software. Building on the foundations from the first part, the reader is allowed to embrace methods for practical applications. The reader will find the examples cutting across chapters valuable for this purpose. The final section takes the reader further into application domains.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52452239868177,"sku":"NLS9783030387990","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030387990.jpg?v=1759364088"},{"product_id":"recent-trends-in-algebraic-development-techniques-book-markus-roggenbach-9783030737849","title":"Recent Trends in Algebraic Development Techniques","description":"This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Algebraic Development Techniques, WADT 2020, held virtually in April 2020.The 7 revised papers presented together with an invited paper were carefully reviewed and selected from 9 submissions. The contributed presentations covered a range of topics about the algebraic approach to system specification, which encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, the algebraic approach now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic, and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed, and mobile systems).","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52476049490193,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52476050276625,"sku":"NLS9783030737849","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030737849.jpg?v=1759843452"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-markus-roggenbach.oembed","provider":"World of Books ","version":"1.0","type":"link"}