Learn More
Thank you very much for downloading specification and development of interactive systems focus on streams interfaces and refinement. Maybe you have knowledge that, people have search hundreds times for their favorite novels like this specification and development of interactive systems focus on streams interfaces and refinement, but end up in infectious(More)
The amount of software in cars grows exponentially. Driving forces of this development are cheaper and more powerful hardware and the demand for innovations by new functions. The rapid increase of software and software based functionality brings various challenges (see [21], [23], [25], [26]) for the automotive industries, for their organization, key(More)
We present an algebraic method for the specification of reactive distributed systems. We introduce basic operators on specifications making the set of specifications into a specification algebra. This allows us to work with an algebra of system specifications in analogy to the process algebras that provide algebras of reactive programs. However, in contrast(More)