Вы здесь

Главная

Hussmann H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
П Zur formalen Beschreibung der funktionalen Anforderungen an ein Informationssystem 1993 Hussmann H. Lecture Notes in Computer Science TUM 29.06.1995
СТ Using UML/OCL Constraints for Relational Database Design 1999 Demuth B., Hussmann H. Lecture Notes in Computer Science 05.11.1999
П Unification in Conditional - Equational Theories 1985 Hussmann H. Univ.Passau 29.08.1991
СТ 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
П Rapid Prototyping for Algebraic Specifications: Examples for the Use of the RAP System 1985 Geser A., Hussmann H. Univ.Passau 29.08.1991
СТ 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
СТ Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting 1988 Hussmann H. Mathematical Research Algebraic and Logic Programming 30.06.1995
СТ Intelligent ATM Networks: Services and Realisation Alternatives 1997 Hussmann H. Lecture Notes in Computer Science 09.07.1997
М Formal Foundations for Software Engineering Methods 1997 Hussmann H. Lecture Notes in Computer Science 21.10.1997
П Die funktionale Essenz von HDMS-A 1993 Slotosch O., Nickl F., Merz S., Hussmann H., Hettler R. TUM 05.07.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

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Fundamental Approaches to Software Engineering: Proc./4th Intern. Conf., FASE 2001, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2001 2001 Lecture Notes in Computer Science
  1. Hussmann H.
 05.05.2001
СБ "UML" 2002 - The Unified Modeling Language - Model Engineering, Concepts, and Tools: Proc./5th Intern. Conf., Dresden, Germany, September-October 2002 2002 Lecture Notes in Computer Science
  1. Jezequel J. -M.
  2. Hussmann H.
  3. Cook S.
 23.10.2002