The Syntactically Dangerous All and Plural in Specifications.

Daniel M. Berry Erik Kamsties

Published in: IEEE Softw. (2005)

Keyphrases

delay insensitive
databases
high level
formal specification
neural network
information technology
artificial neural networks
information systems
multi agent
software engineering
design requirements
bounded model checking
written in natural language