Validierung des Zeitverhaltens von kritischer Echtzeit-Software.
Christian FerdinandDaniel KästnerFlorian MartinMarc LangenbachMartin SicksStephan WilhelmReinhold HeckmannNicolas FritzStephan ThesingFrank FontaineHenrik TheilingMichael SchmidtAlexander A. Evstiougov-BabaevReinhard WilhelmPublished in: GI Jahrestagung (1) (2003)
Keyphrases
- software architecture
- source code
- computer systems
- software systems
- software package
- software development
- hardware design
- test cases
- software maintenance
- design patterns
- commercial software
- computer software
- software process
- analysis tool
- simulation environment
- software design
- modeling language
- software tools
- real world
- operating system
- database systems
- knowledge base
- e learning