Related Books

Transformation-Based Reactive Systems Development
Language: en
Pages: 442
Authors: Miquel Bertran
Categories: Computers
Type: BOOK - Published: 2005-07-01 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97,
Multiagent System Technologies
Language: en
Pages: 255
Authors: Torsten Eymann
Categories: Computers
Type: BOOK - Published: 2005-11-15 - Publisher: Springer

DOWNLOAD EBOOK

After two successful MATES conferences in Erfurt 2003 and 2004, the 3rd G- man conference on Multi-agent System Technologies (MATES 2005) took place in Koblenz,
Formal Methods and Models for System Design
Language: en
Pages: 367
Authors: Rajesh Gupta
Categories: Computers
Type: BOOK - Published: 2004-06-30 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Perhaps nothing characterizes the inherent heterogeneity in embedded sys tems than the ability to choose between hardware and software implementations of a give
Formal Methods for Components and Objects
Language: en
Pages: 517
Authors: Frank S.de Boer
Categories: Computers
Type: BOOK - Published: 2003-10-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents revised tutorial lectures given by invited speakers at the First International Symposium on Formal Methods for Components and Objects, FMCO 2
Engineering Theories of Software Intensive Systems
Language: en
Pages: 418
Authors: Manfred Broy
Categories: Computers
Type: BOOK - Published: 2005-07-15 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry