<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2012-12-31 04:25:37Formal methods Software engineering Unified Modeling Language Concurrency Concurrency control Construction and Analysis of Distributed Processes Synchronization Theoretical computer science UML tool Mentor Graphics Computing |
| DocID: 1rdud - View Document |
| Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D27DocID: 1qLb7 - View Document |
| GradeTwo Tool Contents Getting started .......................................................................................................................... 2 GradeTwo installation ..................................DocID: 1pBo5 - View Document |
| Introductory Software Engineering with a Focus on Dependency Management Christine Hofmeister East Stroudsburg University, East Stroudsburg, PA, USADocID: 1po6j - View Document |
| UML Approach to Modeling NIEM Exchanges - Analyzing RequirementsDocID: 1pfCU - View Document |