Login / Signup
IP-Centric Methodology and Specification Language.
Daniel Gajski
Rainer Dömer
Jianwen Zhu
Published in:
DIPES (1998)
Keyphrases
</>
specification language
formal specification
description language
programming language
software environment
symbolic execution
cooperative
knowledge based systems
design methodology
case study