First Page | Document Content | |
---|---|---|
Date: 2018-01-10 13:23:58Computing Software engineering Models of computation UML state machine State diagram HSM Scala | Modeling and Monitoring of Hierarchical State Machines in Scala? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.govAdd to Reading ListSource URL: rjoshi.orgDownload Document from Source WebsiteFile Size: 455,04 KBShare Document on Facebook |
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 |