A Gentle Introduction to Specification Engineering Using a Case Study in Telecommunications.

Stephan Kleuker

Published in: TAPSOFT (1995)

Keyphrases

gentle introduction
engineering design
artificial intelligence
high level
microsoft windows
functional programming
learning red hat linux
databases
computer science
software engineering
general purpose
formal specification
control flow