Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program.
Patricio LetelierPedro SánchezIsidro RamosPublished in: PADL (1999)
Keyphrases
- automatically generated
- logic programs
- requirements specification
- development process
- requirements engineering
- logic programming
- software engineering
- answer sets
- software requirements
- fixpoint
- normal logic programs
- answer set programming
- specification language
- software systems
- manually generated
- stable models
- background knowledge
- software development
- application development
- metamodel
- logic program updates
- systems development
- case study
- computational properties
- general logic programs
- databases
- deductive databases
- software architecture
- database
- life cycle
- source code
- domain specific
- general purpose
- hidden markov models
- knowledge base
- inside outside algorithm