Detecting safety‐related components in statecharts through traceability and model slicing

E-ISSN： 1097-024x|48|3|428-448

ISSN： 0038-0644

Source： SOFTWARE:PRACTICE AND EXPERIENCE, Vol.48, Iss.3, 2018-03, pp. : 428-448

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

Abstract

Related content

Programming languages for use in safety-related applications

By Halang W.A. Zalewski J.

Annual Reviews in Control, Vol. 27, Iss. 1, 2003-01 ,pp. : 39-45

Elsevier

Access to resources Recommend Favorite

Slicing Software for Model Construction

By Hatcliff J.

LISP and Symbolic Computation, Vol. 13, Iss. 4, 2000-12 ,pp. : 315-353

Springer Publishing Company

Access to resources Recommend Favorite

Components of art and knowledge management through Nonaka and Takeuchiâ-™s model

By Birlanga JosÃ© G.

International Journal of Arts and Technology, Vol. 5, Iss. 1, 2012-12 ,pp. : 86-100

Inderscience Publishers

Access to resources Recommend Favorite

Representing and reasoning with traceability in model life cycle management

By Ramesh B.

Annals of Operations Research, Vol. 75, Iss. 1, 1997-01 ,pp. : 123-145

Springer Publishing Company

Access to resources Recommend Favorite

A fuzzy traceability vector model for requirements validation

By Gaur Vibha Soni Anuja

International Journal of Computer Applications in Technology, Vol. 47, Iss. 2-3, 2013-06 ,pp. : 172-188

Inderscience Publishers

Access to resources Recommend Favorite