Statestep: A Tool for Systematic, Incremental Specification.

Published in: ICSE (2004)

Keyphrases

formal specification
specification language
formal methods
website
real time
search engine
knowledge base
database systems
face recognition
multi agent systems
knowledge acquisition
conceptual model
software tools