OOD Frameworks in Component-Based Software - Development in Computational Logic.
Kung-Kiu LauMario OrnaghiPublished in: LOPSTR (1998)
Keyphrases
- component based software development
- computational logic
- logic programming
- formal specification
- dynamic aspects
- software development
- component based development
- management science
- early days
- inductive logic programming
- multi agent systems
- software evolution
- future directions
- model checking
- reverse engineering
- software quality
- software reuse
- logic programs
- agent technology
- artificial intelligence
- life cycle
- program synthesis
- reusable components
- general purpose
- knowledge representation
- prior knowledge
- web services