{"title":"Alexander Romanovsky","description":null,"products":[{"product_id":"reliable-software-technologies-ada-europe-2011-book-alexander-romanovsky-9783642213373","title":"Reliable Software Technologies - Ada-Europe 2011","description":"This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011. The revised 12 papers presented together with several invited contributions were carefully reviewed and selected from 30 submissions. Topics of interest to the conference are methods and techniques for software development and maintenance ; software architectures; enabling technologies; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; experience reports; the future of Ada.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49603493036305,"sku":"GOR012512971","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3642213375.jpg?v=1750837863"},{"product_id":"industrial-deployment-of-system-engineering-methods-book-alexander-romanovsky-9783642430640","title":"Industrial Deployment of System Engineering Methods","description":"A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployment of formal methods in software development. The applications considered were in automotive, aerospace, railway, and enterprise information systems, and microprocessor design.      The project introduced a formal method, Event-B, into several industrial organisations and built on the lessons learned to provide an ecosystem of better tools, documentation and support to help others to select and introduce rigorous systems engineering methods. The contributing authors report on these projects and the lessons learned. For the academic and research partners and the tool vendors, the project identified improvements required in the methods and supporting tools, while the industrial partners learned about the value of formal methods in general. A particular feature of the book is the frank assessment of the managerial and organisational challenges, the weaknesses in some current methods and supporting tools, and the ways in which they can be successfully overcome.     The book will be of value to academic researchers, systems and software engineers developing critical systems, industrial managers, policymakers, and regulators.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52152376721681,"sku":"NLS9783642430640","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52761831637265,"sku":"NIN9783642430640","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642430640.jpg?v=1757616443"},{"product_id":"advances-in-exception-handling-techniques-book-alexander-romanovsky-9783540419525","title":"Advances in Exception Handling Techniques","description":"Modern software systems are becoming more complex in many ways and have to cope with a growing number of abnormal situations which, in turn, are increasingly complex to handle. The most general way of dealing with these problems is by incorporating exception handling techniques in software design. In the past, various exception handling models and techniques have been proposed and many of them are part of practical languages and software composition technologies. This book is composed of five parts, which deal with topics related to exception handling in the context of programming language models, design methodologies, concurrent and distributed systems, applications and experiences, and large-scale systems such as database and workflow process mangagement systems. The 17 coherently written chapters by leading researchers competently address a wide range of issues in exception handling.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52405690040593,"sku":"NLS9783540419525","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540419525.jpg?v=1758767600"},{"product_id":"software-engineering-for-resilient-systems-book-alexander-romanovsky-9783319659473","title":"Software Engineering for Resilient Systems","description":"This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017.    The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52472081449233,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52472082039057,"sku":"NLS9783319659473","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319659473.jpg?v=1759837379"},{"product_id":"trustworthy-cyber-physical-systems-engineering-book-alexander-romanovsky-9780367574420","title":"Trustworthy Cyber-Physical Systems Engineering","description":"Trust-Worthy Cyber Physical Systems Engineering provides practitioners and researchers with a comprehensive introduction to the area of trustworthy Cyber Physical Systems (CPS) engineering. Featuring contributions from leading international experts, the book contains sixteen self-contained chapters that analyze the challenges in develop","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52474259013905,"sku":"NLS9780367574420","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":53367947460881,"sku":"NIN9780367574420","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780367574420.jpg?v=1759841024"},{"product_id":"architecting-dependable-systems-iii-book-rogrio-lemos-9783540289685","title":"Architecting Dependable Systems III","description":"As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book comes as a result of an effort to bring together the research communities of software architectures and dependability.   This state-of-the-art survey contains 16 carefully selected papers originating from the Twin Workshops on Architecting Dependable Systems (WADS 2004) accomplished as part of the International Conference on Software Engineering (ICSE 2004) in Edinburgh, UK and of the International Conference on Dependable Systems and Networks (DSN 2004) in Florence, Italy. The papers are organised in topical sections on architectures for dependable services, monitoring and reconfiguration in software architectures, dependability support for software architectures, architectural evaluation, and architectural abstractions for dependability.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52616520466705,"sku":"NLS9783540289685","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540289685.jpg?v=1761527515"},{"product_id":"computer-safety-reliability-and-security-book-alexander-romanovsky-9783030266004","title":"Computer Safety, Reliability, and Security","description":"This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019.    The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They were organized in topical sections named: formal verification; autonomous driving; safety and reliability modeling; security engineering and risk assessment; safety argumentation; verification and validation of autonomous systems; and interactive systems and design validation.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52675568566545,"sku":"NLS9783030266004","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030266004.jpg?v=1762302208"},{"product_id":"computer-safety-reliability-and-security-book-alexander-romanovsky-9783030262495","title":"Computer Safety, Reliability, and Security","description":"This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and Security, in September 2019 in Turku, Finland.     The 32 regular papers included in this volume were carefully reviewed and selected from 43 submissions; the book also contains two invited papers. The workshops included in this volume are:    ASSURE 2019:  7th International Workshop on Assurance Cases for Software-Intensive Systems    DECSoS 2019:  14th ERCIM\/EWICS\/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems    SASSUR 2019:  8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems    STRIVE 2019:  Second International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms    WAISE 2019:  Second International Workshop on Artificial Intelligence Safety Engineering","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52675699474705,"sku":"NLS9783030262495","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030262495.jpg?v=1762302507"},{"product_id":"industrial-deployment-of-system-engineering-methods-book-alexander-romanovsky-9783642331695","title":"Industrial Deployment of System Engineering Methods","description":"The project introduced a formal method, Event-B, into several industrial organisations and built on the lessons learned to provide an ecosystem of better tools, documentation and support to help others to select and introduce rigorous systems engineering methods.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52676019290385,"sku":"NLS9783642331695","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642331695.jpg?v=1762303289"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-alexander-romanovsky.oembed","provider":"World of Books ","version":"1.0","type":"link"}