Impact of Performance Considerations on Formal Specification Design.

Murali Sitaraman

Published in: Formal Aspects Comput. (1996)

Keyphrases

formal specification
object oriented design
specification languages
machine learning
design process
formal methods
specification language
artificial intelligence
case study
user interface
open source
model checking
distributed environment
data abstraction