ACM SAC2002 software engineering: theory and applications (SETA) track description.
David C. RineJames F. PowerJ. Paul GibsonPublished in: SAC (2002)
Keyphrases
- software engineering
- formal methods
- theoretical framework
- artificial intelligence
- high level
- programming language
- global optimization
- object oriented
- software development
- general theory
- software engineers
- theoretical basis
- software maintenance
- software systems
- access control
- real time
- multi agent
- genetic algorithm
- databases