<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2014-10-30 17:26:17Software engineering Computing Theoretical computer science Formal methods UML diagrams Model checking Finite-state machine ALGOL 68 UML state machine Models of computation Automata theory Digital electronics |
| Microsoft Word - OneyUIST14v40-FINAL.docDocID: 1ldNY - View Document |
| On Integrating Structure and Behavior Modeling with OCL Lars Hamann, Oliver Hofrichter, and Martin Gogolla University of Bremen, Computer Science Department Database Systems Group, DBremen, Germany {lhamann,hofricDocID: 1kWRs - View Document |
| Corrections to the 2006 book “Modeling, Specification, and Verification using UML Statecharts” Discovered by: Prof. Tom Otani, of NPS Dr. Vahid Reza Ramezani, of UMDDocID: 18780 - View Document |
| PDF DocumentDocID: 17oeV - View Document |
| A Multi-Paradigm Approach Supporting the Modular Execution of Reconfigurable Hybrid Systems ∗ Holger Giese,1 Stefan Henkler2 and Martin Hirsch2 1 System Analysis and Modeling Group, Hasso Plattner Institute at the UniDocID: 13Uci - View Document |