4th SEMAT Workshop on General Theory of Software Engineering (GTSE 2015).
Paul RalphGregor EngelsIvar JacobsonMichael GoedickePublished in: ICSE (2) (2015)
Keyphrases
- general theory
- software engineering
- software engineering practices
- morphological operators
- software systems
- artificial intelligence
- software development
- mathematical theory
- language technology
- object oriented
- stable models
- programming language
- source code
- logic programs
- database
- belief functions
- inference rules
- formal methods
- pattern recognition