Tool Design for Structuring Mechanisms for Algebraic Specification Languages with Initial Semantics.

Published in: COMPASS/ADT (1995)

Keyphrases

specification languages
formal specification
object oriented programs
engineering design
building blocks
artificial intelligence
natural language
semantic information
first order logic
conceptual model
design decisions
database
design process
computer aided
design principles