TURTLE-P: a UML profile for the formal validation of critical and distributed systems

Author： Apvrille Ludovic   Saqui-Sannes Pierre   Khendek Ferhat  

Publisher： Springer Publishing Company

ISSN： 1619-1366

Source： Software and Systems Modeling (SoSyM), Vol.5, Iss.4, 2006-12, pp. : 449-466

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

The HybridUML profile for UML 2.0

By Berkenkötter Kirsten   Bisanz Stefan   Hannemann Ulrich   Peleska Jan  

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 2, 2006-04 ,pp. : 167-176

Springer Publishing Company

Access to resources Recommend Favorite

Preface of “Specification and Validation of Real Time and Embedded systems in UML”

By Graf Susanne   Haugen Oystein   Ober Ileana   Selic Bran  

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 2, 2006-04 ,pp. : 93-96

Springer Publishing Company

Access to resources Recommend Favorite

Applying formal concepts to learning systems validation

By Dötsch Volker  

Journal of Experimental & Theoretical Artificial Intelligence, Vol. 12, Iss. 4, 2000-10 ,pp. : 433-445

Taylor & Francis Ltd

Access to resources Recommend Favorite

A real-time profile for UML

By Graf Susanne   Ober Ileana   Ober Iulian  

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 2, 2006-04 ,pp. : 113-127

Springer Publishing Company

Access to resources Recommend Favorite

A method of formal requirement analysis for NPP I&C systems based on UML modeling with software cost reduction

By Koo S.R.   Son H.S.   Seong P.H.  

Journal of Systems and Software, Vol. 67, Iss. 3, 2003-09 ,pp. : 213-224

Elsevier

Access to resources Recommend Favorite