Validierung und Verifikation von emergentem Verhalten im Software Engineering - Ergebnisse eines Vergleichs unterschiedlicher Suchmethoden.
Jennifer BringsMarian DaunMarkus KempeThorsten WeyerPublished in: SE/SWM (2019)
Keyphrases
- software engineering
- software systems
- software development
- reverse engineering
- artificial intelligence
- development process
- software reuse
- knowledge management
- software design
- software engineers
- programming language
- object oriented
- software architecture
- software projects
- design patterns
- databases
- requirements engineering
- systems development
- formal methods
- conceptual modeling
- development methodologies
- software engineering education
- software maintenance
- human computer interaction
- knowledge acquisition
- open source
- general purpose
- domain knowledge
- website
- information systems
- neural network