<--- 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

Profile Best Practices Reddit imagery BEST PRACTICES

Profile Best Practices Reddit imagery BEST PRACTICES

DocID: 1xVTC - View Document

R The OpenGL
 Graphics System: A Specification (Version 4.6 (Core Profile) - May 14, 2018)

R The OpenGL Graphics System: A Specification (Version 4.6 (Core Profile) - May 14, 2018)

DocID: 1xVOa - View Document

Profile for the Supervisory Board of APG Groep N.V. May 27, 2014 1 			 General 			 In this profile, particular terms have the following meanings:

Profile for the Supervisory Board of APG Groep N.V. May 27, 2014 1 General In this profile, particular terms have the following meanings:

DocID: 1xVbK - View Document

Symmetric Indefinite Triangular Factorization Revealing the Rank Profile Matrix Jean-Guillaume Dumas, Cl´ement Pernet Universit´ e Grenoble Alpes, Laboratoire Jean Kuntzmann, UMR CNRS

Symmetric Indefinite Triangular Factorization Revealing the Rank Profile Matrix Jean-Guillaume Dumas, Cl´ement Pernet Universit´ e Grenoble Alpes, Laboratoire Jean Kuntzmann, UMR CNRS

DocID: 1xV4O - View Document