Object-Oriented Specification of Hybrid Systems Using UML h and ZimOO

ZUM ’98: The Z Formal Specification Notation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-49676-2_22 ◽

1998 ◽

pp. 328-346 ◽

Author(s):

Viktor Friesen ◽

André Nordwig ◽

Matthias Weber

Keyword(s):

Hybrid Systems ◽

Object Oriented

Download Full-text

Object-oriented specification of hybrid systems using UMLh and ZimOO

Lecture Notes in Computer Science - ZUM '98: The Z Formal Specification Notation ◽

10.1007/bfb0056042 ◽

2006 ◽

pp. 328-346 ◽

Author(s):

Viktor Friesen ◽

André Nordwig ◽

Matthias Weber

Keyword(s):

Hybrid Systems ◽

Object Oriented

Download Full-text

Object-oriented hybrid systems of coalgebras plus monoid actions

Theoretical Computer Science ◽

10.1016/s0304-3975(99)00213-3 ◽

2000 ◽

Vol 239 (1) ◽

pp. 41-95 ◽

Author(s):

Bart Jacobs

Keyword(s):

Hybrid Systems ◽

Object Oriented

Download Full-text

Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-24690-6_29 ◽

2011 ◽

pp. 415-430 ◽

Author(s):

Muhammad Fadlisyah ◽

Peter Csaba Ölveczky ◽

Erika Ábrahám

Keyword(s):

Hybrid Systems ◽

Object Oriented ◽

Formal Modeling ◽

Modeling And Analysis

Download Full-text

Object-Oriented Development of Simulation Models for Complex Hybrid Systems

Modelling, Analysis, and Design of Hybrid Systems - Lecture Notes in Control and Information Sciences ◽

10.1007/3-540-45426-8_8 ◽

2007 ◽

pp. 131-149

Author(s):

André Nordwig

Keyword(s):

Hybrid Systems ◽

Object Oriented ◽

Simulation Models ◽

Download Full-text

An Object-Oriented Language for Modeling of Hybrid Systems

2015 IEEE 16th International Symposium on High Assurance Systems Engineering ◽

10.1109/hase.2015.9 ◽

2015 ◽

Author(s):

Huixing Fang ◽

Huibiao Zhu ◽

Jianqi Shi

Keyword(s):

Hybrid Systems ◽

Object Oriented

Download Full-text

Toward an Object-Oriented Design Methodology for Hybrid Systems

Object-Oriented Technology and Computing Systems Re-engineering ◽

10.1533/9781782420613.1 ◽

1999 ◽

pp. 1-16 ◽

Author(s):

Viktor Friesen ◽

André Nordwig ◽

Matthias Weber

Keyword(s):

Hybrid Systems ◽

Design Methodology ◽

Object Oriented ◽

Object Oriented Design

Download Full-text

Solving Laboratory Automation Problems by Using an Object-Oriented Framework Based on Business Objects

JALA Journal of the Association for Laboratory Automation ◽

10.1016/s1535-5535(04)80001-7 ◽

1999 ◽

Vol 4 (1) ◽

pp. 22-25

Author(s):

A Kumar

Keyword(s):

Object Oriented ◽

Laboratory Automation ◽

Business Objects

Download Full-text

Handbook of Hybrid Systems Control

10.1017/cbo9780511807930 ◽

2009 ◽

Keyword(s):

Hybrid Systems ◽

Systems Control

Download Full-text

Object-oriented programming

AccessScience ◽

10.1036/1097-8542.757337 ◽

2015 ◽

Keyword(s):

Object Oriented ◽

Object Oriented Programming

Download Full-text

Applying OMT—A Practical Step-by-Step Guide to Using the Object Oriented Modelling Technique

Journal of the Operational Research Society ◽

10.1038/sj.jors.2600596 ◽

1997 ◽

Vol 48 (4) ◽

pp. 451-452 ◽

Author(s):

K W Derr

Keyword(s):

Object Oriented ◽

Modelling Technique ◽

Object Oriented Modelling

Download Full-text