Login / Signup
A reference-based specification tool for creating reliable library development specifications.
Jung Kyu Chae
Paul Mougeat
Jean-Arnaud Francois
Roselyne Chotin-Avot
Habib Mehrez
Published in:
NEWCAS (2014)
Keyphrases
</>
formal specification
specification language
cost effective
high level
data mining
artificial intelligence
information processing
development process
data sets
decision support
software tools
formal methods
cross platform
reactive systems
state machines