Specification and development of interactive systems focus on streams, interfaces and refinement - Broy, Manfred 1949-; Stølen, Ketil (Springer, 2001)
Keywords: Génie logiciel; Ingénierie des systèmes; Software engineering; Systems engineering; Softwarespezifikation; Dialogsystem; Ein-Ausgabe; Datenstrom; Systementwurf; Verfeinerung