Requirements Engineering and Program Synthesis: Mutually Exclusive or Synergistic?
Michael R. LowryPublished in: RE (2001)
Keyphrases
- program synthesis
- requirements engineering
- software engineering
- life cycle
- goal oriented
- systems engineering
- requirements specification
- software development
- requirements elicitation
- systems development
- automotive industry
- requirements engineering process
- software intensive systems
- security requirements
- inductive logic programming
- development process
- business process
- requirements analysis
- databases
- decision making
- gaussian processes
- programming language
- training data
- information systems
- database