Вы здесь

Hussmann H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ On the Precise Meaning of OCL Constraints 2002 Hennicker R., Hussmann H., Bidoit M. Lecture Notes in Computer Science 11.04.2002
СТ OCL as a Specification Language for Business Rules in Database Applications 2001 Demuth B., Hussmann H., Loecher S. Lecture Notes in Computer Science Lecture Notes in Computer Science 08.10.2001
СТ Using UML/OCL Constraints for Relational Database Design 1999 Demuth B., Hussmann H. Lecture Notes in Computer Science 05.11.1999
М Formal Foundations for Software Engineering Methods 1997 Hussmann H. Lecture Notes in Computer Science 21.10.1997
СТ Intelligent ATM Networks: Services and Realisation Alternatives 1997 Hussmann H. Lecture Notes in Computer Science 09.07.1997
СТ The Korso Case Study for Software Engineering with Formal Methods: A Medical Information System 1995 Cornelius F., Hussmann H., Lowe M. Lecture Notes in Computer Science KORSO: Methods, Languages, and Tools for the Construction of Correct Software 28.12.1995
П Die funktionale Essenz von HDMS-A 1993 Slotosch O., Nickl F., Merz S., Hussmann H., Hettler R. TUM 05.07.1995
СТ Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting 1988 Hussmann H. Mathematical Research Algebraic and Logic Programming 30.06.1995
П Zur formalen Beschreibung der funktionalen Anforderungen an ein Informationssystem 1993 Hussmann H. Lecture Notes in Computer Science TUM 29.06.1995
СТ Axiomatic Specification of Large Information Systems: Experiences and Consequences 1995 Hussmann H. Lecture Notes in Computer Science 24.05.1995
СТ An Inductive Theorem Prover Based on Narrowing 1992 Fraus U., Hussmann H. Lecture Notes in Artificial Intelligence 11.08.1992
П Rapid Prototyping for Algebraic Specifications: Examples for the Use of the RAP System 1985 Geser A., Hussmann H. Univ.Passau 29.08.1991
П Unification in Conditional - Equational Theories 1985 Hussmann H. Univ.Passau 29.08.1991