Universität Karlsruhe
Composition and Correctness

Konferenzartikel

[Pu02]Elke PulvermĂĽller, Composition and Correctness, In: SC 2002: Workshop on Software Composition, Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier Science Publishers, April 2002.

Zusammenfassung

This paper presents an approach to ensure correctness of composed systems. It takes into consideration that correctness can usually be achieved only to a certain degree (except for some small and very mission-critical applications) and complete specifications are usually not practicable. By modelling the parts, the composition activities and the requirements specification we automise the checking procedures using model checking. An important issue hereby is that our approach allows partial modelling and specification.

[Erzeuge bibTeX Eintrag]

Autoren

Alumni
Dr. Elke PulvermĂĽller
Login
Links