Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity.

Mark T. Vandevoorde John V. Guttag

Published in: SIGSOFT FSE (1994)

Keyphrases

statistical analysis
database
significantly reduced
machine learning
high level
data analysis
mobile robot
programming language