Frank Dordowsky

According to our database, Frank Dordowsky authored at least 4 papers between 1997 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2015

An experimental Study using ACSL and Frama-C to formulate and verify Low-Level Requirements from a DO-178C compliant Avionics Project.

Frank Dordowsky

Proceedings of the Proceedings Second International Workshop on Formal Integrated Development Environment, 2015

2011

Implementing a Software Product Line for a Complex Avionics System.

Frank Dordowsky, Richard Bridges, Holger Tschöpe

Proceedings of the Software Product Lines - 15th International Conference, 2011

2009

Adopting software product line principles to manage software variants in a complex avionics system.

Frank Dordowsky, Walter Hipp

Proceedings of the Software Product Lines, 13th International Conference, 2009

1997

EURO-LOG, ein vernetztes Informationsverarbeitungssystem zur Unterstützung der unternehmensübergreifenden Transportlogistik.

Frank Dordowsky, Peter Kampmann

Wirtschaftsinf., 1997