Ada conformity assessments: a model for other programming languages?.

Michael Tonndorf

Published in: SIGAda (1999)

Keyphrases

programming language
general purpose
higher order
specification language
software engineering
formal model
metamodel
high level
logic programs
conceptual model