A look through PRISMA: towards pluralistic knowledge-based environments for software specification acquisition.
Celso NiskierTom MaibaumDaniel SchwabePublished in: IWSSD (1989)
Keyphrases
- software development
- software systems
- open systems
- high level
- software tools
- formal methods
- software package
- computer systems
- test case generation
- formal specification
- software architecture
- dynamic environments
- object oriented
- control flow
- platform independent
- working environment
- computing environments
- software testing
- software design
- software maintenance
- real time
- low cost
- user interface
- artificial intelligence
- real world
- databases