<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2012-08-02 20:27:15Formal methods Specification language Refinement Abstract state machines Specification Object Process Methodology Domain-specific language Programming language Integrated circuit design Formal specification Isabelle Program derivation |
| Microsoft Word - JT-NM Phase 2 Interim Report for IBC.docxDocID: 1ru0Y - View Document |
| Microsoft Word - klippel2009chorematic.docxDocID: 1rshc - View Document |
| Towards a methodology for rigorous development of generic requirements patternsDocID: 1rqUO - View Document |
| Content Zoomable User Interfaces Jazz: An Extensible Zoomable User Interface Graphics Toolkit in JavaDocID: 1rqI3 - View Document |
| California Water and Environmental Modeling Forum Promoting Excellence and Consensus in Water and Environmental Modeling P.O. Box 488, Sacramento, CAuu u www.cwemf.org CWEMF’s PeerDocID: 1rp5v - View Document |