Operational Specifications with Built-Ins.

Jürgen Avenhaus Klaus Becker

Published in: STACS (1994)

Keyphrases

decision making
artificial intelligence
wireless sensor networks
formal specification
social networks
computer vision
web services
software engineering
functional requirements