Related Books
Language: en
Pages: 171
Pages: 171
Type: BOOK - Published: 2014-05-12 - Publisher: Springer
This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers p
Language: en
Pages: 440
Pages: 440
Type: BOOK - Published: 2016-05-12 - Publisher: Springer
This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz
Language: en
Pages: 362
Pages: 362
Type: BOOK - Published: 2018-03-31 - Publisher: Springer
This book uses a variety of applications to illustrate a modeling method that helps practitioners to manage complex software-intensive systems. The proposed met
Language: en
Pages: 456
Pages: 456
Type: BOOK - Published: 2018-02-09 - Publisher: IOS Press
Information modelling and knowledge bases have become ever more essential in recent years because of the need to handle and process the vast amounts of data whi
Language: en
Pages: 371
Pages: 371
Type: BOOK - Published: 2015-08-23 - Publisher: Springer
This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in
