<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2008-02-22 07:21:49Software engineering Science Theoretical computer science Diagrams Automata theory Unified Modeling Language Test Data Generation UML state machine Genetic algorithm UML diagrams Software testing Models of computation |
Add to Reading List |
Microsoft Word - Annex4b-XTYReformattedICADAM_EASTWEST_charchai.doc | 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 |