Login / Signup
Structuring a Formal Specification starting from Process Modeling.
Daniel Riesco
German Montejano
Robert Uzal
Alejandro Sanchez
Ana Gabriela Garis
Narayan C. Debnath
Published in:
CAINE (2002)
Keyphrases
</>
formal specification
object oriented design
information systems
object oriented
specification languages
artificial intelligence
cooperative
process model
modeling language
specification language