Component-based software development regards software construction in terms of conventional engineering disciplines where ...
WeiterlesenThis book discussed a range of challenges in embedded systems design that require further major advances in software and ...
WeiterlesenThis book discussed a range of challenges in embedded systems design that require further major advances in software and ...
WeiterlesenIn this concise yet comprehensive textbook, future inventors are introduced to the key concepts of Cyber-Physical Systems ...
WeiterlesenThis book has been developed as a forest inventory textbook for students and can also serve as a handbook for practical foresters. ...
WeiterlesenThis book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...
WeiterlesenThis book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods ...
WeiterlesenThis book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...
WeiterlesenThis book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...
WeiterlesenThis book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures ...
WeiterlesenThe Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa ...
WeiterlesenThe First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from ...
WeiterlesenThe book promotes development scalability through domain partitioning and subdomain partitioning. It also explores software ...
WeiterlesenThis book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, ...
WeiterlesenThis open access book examines the methodological complications of using complexity science concepts within the social science ...
WeiterlesenThis book describes new, model based teaching methods for science instruction. It presents research that describes these ...
WeiterlesenThis book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages ...
WeiterlesenConstitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS ...
WeiterlesenThe book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...
WeiterlesenThis book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and ...
Weiterlesen