A tool-supported design framework for safety critical interactive systems

Author： Bastide R.   Navarre D.   Palanque P.  

Publisher： Elsevier

ISSN： 0953-5438

Source： Interacting with Computers, Vol.15, Iss.3, 2003-06, pp. : 309-328

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

A Pattern-Based and Tool-Supported Risk Analysis Method Compliant to ISO 27001 for Cloud Systems

By  

International Journal of Secure Software Engineering (IJSSE), Vol. 6, Iss. 1, 2015-01 ,pp. : 24-46

IGI Global_journal

Access to resources Recommend Favorite

Tool-Supported Verification of Product Line Requirements

By Padmanabhan Prasanna  

Automated Software Engineering, Vol. 12, Iss. 4, 2005-10 ,pp. : 447-465

Springer Publishing Company

Access to resources Recommend Favorite

A tool-supported approach to inter-tabular verification

By Kriz K.   Gehrke J.   Kriz D.   Vanthienen J.   Mues C.   Wets G.   Delaere K.  

Expert Systems with Applications, Vol. 15, Iss. 3, 1998-10 ,pp. : 277-285

Elsevier

Access to resources Recommend Favorite

Tool-Supported User-Centred Prototyping of Mobile Applications

By  

International Journal of Handheld Computing Research (IJHCR), Vol. 2, Iss. 3, 2011-07 ,pp. : 1-21

IGI Global_journal

Access to resources Recommend Favorite

An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation

By Loer Karsten   Harrison Michael  

Automated Software Engineering, Vol. 13, Iss. 4, 2006-10 ,pp. : 469-496

Springer Publishing Company

Access to resources Recommend Favorite