Login / Signup
The Specification Language SpecC within the PARADISE Design Environment.
Achim Rettberg
Franz J. Rammig
Andreas Gerstlauer
Daniel Gajski
Wolfram Hardt
Bernd Kleinjohann
Published in:
DIPES (2000)
Keyphrases
</>
specification language
software environment
requirements specification
real time
databases
user interface
mobile robot
programming language
design process
description language
artificial intelligence
case study
formal specification