An expert system to software specification.
Tereza G. KirnerNicolau ReinhardPublished in: ACM Conference on Computer Science (1989)
Keyphrases
- expert systems
- software systems
- software development
- knowledge base
- software design
- software tools
- software architecture
- source code
- computer systems
- reactive systems
- software platform
- commercial software
- high level
- formal methods
- software packages
- genetic algorithm
- tool suite
- formal verification
- hardware design
- software maintenance
- user interface
- knowledge representation
- software package
- software developers
- development process
- multi agent systems