Login / Signup
Methodology to Evaluate the Functionality of Specification Languages.
Jelena Gasperovic
Albertas Caplinskas
Published in:
Informatica (2006)
Keyphrases
</>
specification languages
formal specification
object oriented programs
design methodology
multi agent
conceptual framework
user interface
first order logic