User: Guest  Login
Title:

Motivation and Formal Foundations of a Comprehensive Modeling Theory for Embedded Systems

Document type:
Technical Report
Author(s):
Alexander Harhurin; Judith Hartmann; Daniel Ratiu
Abstract:
In this document, we present a comprehensive modeling theory for the seamless development of software for embedded systems. We start the document by describing the need for a comprehensive theory to provide a formal and thorough foundation for the software development in different process phases. What exactly a theory should contain, strongly depends on the systems that need to be described. Therefore we characterize the types of systems to be modeled and starting from this we derive a set of re...     »
Keywords:
Formal Software Engineering
Year:
2009
Year / month:
2009-09-08 00:00:00
Pages:
31
 BibTeX