Formality in specification and modeling: developments in software engineering practice.

John S. Fitzgerald

Published in: Adv. Comput. (1999)

Keyphrases

software engineering
formal specification
software systems
artificial intelligence
reverse engineering
formal methods
database systems
high level
object oriented
software development
knowledge engineering
software testing