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)
Switzerland, currently concentrating on model-based testing and distributed usage control. He holds master!s degrees in computer science from RWTH Aachen and the University of Kansas as well as a Ph.D. degree in computer science from Technische Universität München. Alexander has organized several workshops in the field of software engineering for automotive(More)
When developing hard-or software systems one starts with a collection of requirements. Most requirements arise due to the needs of the customer, others originate from design decisions and further constraints. Of course, the final system should fulfill these requirements. Besides general requirements like scala-bility and performance, there is often a large(More)
We introduce a method to describe systems and their components by functional specification techniques. We define notions of interface and interaction refinement for interactive systems and their components. These notions of refinement allow us to change both the syntactic (the number of channels and sorts of messages at the channels) and the semantic(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)