User: Guest  Login
Document type:
Technical Report 
Author(s):
Alexander Harhurin; Judith Hartmann; Daniel Ratiu 
Title:
Motivation and Formal Foundations of a Comprehensive Modeling Theory for Embedded Systems 
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