<--- Back to Details
First PageDocument Content
Software engineering / Unified Modeling Language / Computing / Modeling language / Class diagram / Object Process Methodology / Abstract state machines / Specification / Profile / Requirement / Formal methods / Executable UML
Date: 2007-11-21 10:53:25
Software engineering
Unified Modeling Language
Computing
Modeling language
Class diagram
Object Process Methodology
Abstract state machines
Specification
Profile
Requirement
Formal methods
Executable UML

The engineering of generic requirements for failure management Colin Snook1, Michael Poppleton1, and Ian Johnson2 1 School of Electronics and Computer Science,

Add to Reading List

Source URL: rodin.cs.ncl.ac.uk

Download Document from Source Website

File Size: 450,72 KB

Share Document on Facebook

Similar Documents

Microsoft Word - JT-NM Phase 2 Interim Report for IBC.docx

Microsoft Word - JT-NM Phase 2 Interim Report for IBC.docx

DocID: 1ru0Y - View Document

Microsoft Word - klippel2009chorematic.docx

Microsoft Word - klippel2009chorematic.docx

DocID: 1rshc - View Document

Towards a methodology for rigorous development of generic requirements patterns

Towards a methodology for rigorous development of generic requirements patterns

DocID: 1rqUO - View Document

Content Zoomable User Interfaces Jazz: An Extensible Zoomable User Interface Graphics Toolkit in Java

Content Zoomable User Interfaces Jazz: An Extensible Zoomable User Interface Graphics Toolkit in Java

DocID: 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 Peer

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 Peer

DocID: 1rp5v - View Document