Standards for Non- Executable Specification Languages.

Peter Gorm Larsen Nico Plat

Published in: Comput. J. (1992)

Keyphrases

specification languages
formal specification
object oriented programs
model checking
reverse engineering
widely accepted
international standards
metadata
artificial intelligence
web services
real time
machine learning
iso iec
international standard
case study
expert systems
software components
real world
data sets