C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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