Sciweavers

FBT
1998
129views Formal Methods» more  FBT 1998»
13 years 6 months ago
Specification Modules for Methodical System Development
: We show how an alternative approach to document-oriented specification can ease the system design process. By identifying the modeling concepts needed for a complete system speci...
Franz Huber, Bernhard Schätz