Extending the Descartes Specification Language Towards Process Modeling.

Joseph E. Urban Vinitha Hannah Subburaj Lavanya Ramamoorthy

Published in: FedCSIS (2011)

Keyphrases

specification language
development process
artificial intelligence
search strategies
machine learning
design process
orders of magnitude
formal specification