Generalization/Specialization as a Basis for Software Specification.
Alexander BorgidaJohn MylopoulosHarry K. T. WongPublished in: On Conceptual Modelling (Intervale) (1982)
Keyphrases
- software development
- software systems
- software tools
- software design
- formal verification
- user interface
- control flow
- computer systems
- genetic algorithm
- software reuse
- high level
- reactive systems
- real time
- software package
- software maintenance
- embedded systems
- software architecture
- data model
- knowledge base
- learning algorithm
- data mining