Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2012Supporting the development and documentation of ISO 27001 information security management systems through security requirements engineering approaches
Beckers, K.; Faßbender, S.; Heisel, M.; Küster, J.-C.; Schmidt, H.
Conference Paper
2011Systematic development of UMLsec design models based on security requirements
Hatebur, D.; Heisel, M.; Jürjens, J.; Schmidt, H.
Conference Paper
1999Specifying the safety controllers of traffic light systems in Z and statecharts
Winter, K.; Santen, T.; Heisel, M.
Book Article
1998An agenda for specifying software components with complex data models
Winter, K.; Santen, T.; Heisel, M.
Conference Paper
1998A Two-Layered Approach to Support Systematic Software Development
Heisel, M.; Jähnichen, S.
Conference Paper
1995Einbettung mathematischer Techniken in den Systementwurf
Heisel, M.; Jähnichen, S.; Simons, M.; Weber, M.
Journal Article
1995Embedding mathematical techniques in system engineering
Heisel, M.; Jähnichen, S.; Simons, M.; Weber, M.
Conference Paper
1995A generic system architecture for strategy-based software development
Heisel, M.; Santen, T.; Zimmermann, D.
Report
1995Tool support for formal software development: A generic architecture
Santen, T.; Heisel, M.; Zimmermann, D.
Conference Paper