Hans-Martin Hörcher

According to our database, Hans-Martin Hörcher authored at least 7 papers between 1990 and 1995.

Collaborative distances:

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

1995

Using formal specifications to support software testing.

Hans-Martin Hörcher, Jan Peleska

Softw. Qual. J., 1995

Improving Software Tests Using Z Specifications.

Hans-Martin Hörcher

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

1994

The VDM Domain Compiler.

Hans-Martin Hörcher, Uwe Schmidt

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

The DST Z-Tools.

Hans-Martin Hörcher

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1993

Formale Spezifikationen zur Auswertung von Testergebnissen.

Hans-Martin Hörcher

Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993

1991

The VDM Domain Compiler: A VDM Class Library Generator.

Uwe Schmidt, Hans-Martin Hörcher

Proceedings of the VDM '91, 1991

1990

Programming with VDM Domains.

Uwe Schmidt, Hans-Martin Hörcher

Proceedings of the VDM '90, 1990