An Integrating Approach for Developing Distributed Software Systems -- Combining Formal Methods, Software Reuse, and the Experience Base.
Raimund L. FeldmannBirgit GeppertFrank RößlerPublished in: ICECCS (1999)
Keyphrases
- software systems
- software reuse
- formal methods
- software engineering
- software components
- software development
- development lifecycle
- formal specification
- clone detection
- software quality
- software maintenance
- development process
- software architecture
- artificial intelligence
- software design
- software developers
- requirements engineering
- reverse engineering
- source code
- development teams
- component based development
- object oriented
- safety critical
- software evolution
- design patterns
- metamodel
- software projects
- model checking
- information systems
- complex software systems
- program understanding
- multi agent
- software repositories
- knowledge based systems
- linux kernel
- web applications
- machine learning