Formal Aspects of Software Engineering - J.UCS Special Issue in Honor of Professor Peter Lucas.
Bernhard K. AichernigBrigitte FröhlichAndreas KerschbaumerPublished in: J. Univers. Comput. Sci. (2001)
Keyphrases
- special issue
- software engineering
- formal methods
- ai edam
- ecml pkdd
- international journal
- software systems
- applied intelligence
- computer science
- reverse engineering
- software development
- programming language
- artificial intelligence
- formal specification
- special section
- future directions
- software projects
- knowledge management
- computational intelligence
- object oriented