Electronic Books

Total Books: 1 - 20 /31

Component-Based Software Testing with UML

Component-based software development regards software construction in terms of conventional engineering disciplines where ...

Composition of Embedded Systems. Scientific and Industrial Issues

This book discussed a range of challenges in embedded systems design that require further major advances in software and ...

Composition of Embedded Systems. Scientific and Industrial Issues

This book discussed a range of challenges in embedded systems design that require further major advances in software and ...

Cyber-Physical Systems: A Model-Based Approach

In this concise yet comprehensive textbook, future inventors are introduced to the key concepts of Cyber-Physical Systems ...

Forest Inventory

This book has been developed as a forest inventory textbook for students and can also serve as a handbook for practical foresters. ...

Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...

Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods ...

Formal Methods for Open Object-Based Distributed Systems

This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...

Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

This book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...

Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures ...

Hardware and Software, Verification and Testing

The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa ...

Hardware and Software, Verification and Testing

The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from ...

How to Engineer Software: A Model-Based Approach / Steve Tockey

The book promotes development scalability through domain partitioning and subdomain partitioning. It also explores software ...

Interactive Systems Design, Specification, and Verification

This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, ...

Methodological Investigations in Agent-Based Modelling

This open access book examines the methodological complications of using complexity science concepts within the social science ...

Model Based Learning and Instruction in Science

This book describes new, model based teaching methods for science instruction. It presents research that describes these ...

Model Driven Engineering Languages and Systems

This book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages ...

Model Driven Engineering Languages and Systems (vol. # 3713)

Constitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS ...

Model Driven Engineering Languages and Systems : 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings

The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...

Model-Based Testing of Reactive Systems

This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and ...

Total Books: 1 - 20 /31