C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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