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

A tool-supported design framework for safety critical interactive systems

By Bastide R.   Navarre D.   Palanque P.  

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

Elsevier

Access to resources Recommend Favorite

Logic-Based Analysis and Verification of Software Product Line Variant Requirement Model

By  

International Journal of Knowledge and Systems Science (IJKSS), Vol. 5, Iss. 4, 2014-10 ,pp. : 52-76

IGI Global_journal

Access to resources Recommend Favorite

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