Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation.

Christine Choppy Pascal Poizat Jean-Claude Royer

Published in: FASE (2001)

Keyphrases

formal methods
management system
learning systems
support systems
exception handling
distributed systems
high level
knowledge based systems
computing environments
modeling language
formal specification
conceptual modeling