Design of formal languages and interfaces: "formal" does not mean "unreadable".

This chapter provides an introduction to a work that aims to apply the achievements of engineering psychology to the area of formal methods, focusing on the specification phase of a system development process. Formal methods often assume that only two factors should be satisfied: the method must be sound and give such a representation, which is concise and beautiful from the mathematical point of view, without taking into account any question of readability, usability, or tool support. This leads to the fact that formal methods are treated by most engineers as something that is theoretically important but practically too hard to understand and to use, where even some small changes of a formal method can make it more understandable and usable for an average engineer

Systemtechnische Methodenentwicklung : Diskursive Definition heuristischer prozeduraler Prozessmodelle als Beitrag zur Bewältigung von informationeller Komplexität im Produktleben

Gegenstand der Arbeit ist die Strukturierung und damit Systematisierung der Methodenentwicklung. Es wird ein Vorgehensmodell beschrieben, welches die Methodenentwicklung in übersichtliche Phasen gliedert und ausführlich die jeweils durchzuführenden Arbeitsschritte darlegt, von einer Analyse der Prozessnahtstellen bis hin zu einer tätigkeitsorientierten Prozessbeschreibung. Anwendungen aus unterschiedlichen Domänen und Produktlebensphasen dienen als detaillierte Beispiele für die Praxis