Zuverlässige Software durch den Einsatz von UML, MDA und der Programmiersprache Ada.
Jörg MatthesHubert B. KellerWolf-Dieter HekerM. KerstenChristian FoudaPublished in: GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit") (2003)
Keyphrases
- software development
- software systems
- model driven architecture
- metamodel
- software engineering
- uml profile
- requirements engineering
- platform independent
- modeling language
- software architecture
- development process
- software developers
- software design
- software projects
- software quality
- source code
- software testing
- software maintenance
- formal methods
- unified modeling language
- software tools
- computer systems
- artificial intelligence
- software components
- software process
- regression testing
- tool support
- business process modeling
- object oriented
- software requirements
- user interface
- model driven engineering
- information systems