Arno Schönegge

According to our database, Arno Schönegge authored at least 5 papers between 1997 and 1998.

Collaborative distances:

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

1998

Spezifizierbarkeit berechenbarer Datentypen.

Arno Schönegge

PhD thesis, 1998

Inverse verification of problem-solving methods.

Dieter Fensel, Arno Schönegge

Int. J. Hum. Comput. Stud., 1998

1997

Using KIV to Specify and Verify Architectures of Knowledge-Based Systems.

Dieter Fensel, Arno Schönegge

Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

Specifying and Verifying Knowledge-Based Systems with KIV.

Dieter Fensel, Arno Schönegge

Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge-Based Systems, 1997

The Hidden Function Question Revisited.

Arno Schönegge

Proceedings of the Algebraic Methodology and Software Technology, 1997