Generic System Support for Deductive Program Development.
Abdelwaheb AyariDavid A. BasinPublished in: TACAS (1996)
Keyphrases
- decision support
- support systems
- design tools
- software engineering
- practical experience
- support environment
- design principles
- st century
- data sets
- learning environment
- knowledge management
- domain specific
- knowledge based systems
- development process
- mobile technologies
- programming environments
- assistive technology
- functional programs
- knowledge creation
- computer programs
- knowledge acquisition
- open source
- high level
- data mining