A tool-supported approach to inter-tabular verification

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

Publisher： Elsevier

ISSN： 0957-4174

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

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

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

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

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

A Tabular Approach Memory-Based Learning

By Lin C-S.   Cheng Y-H.E.  

International Journal of Smart Engineering System Design, Vol. 5, Iss. 4, 2003-10 ,pp. : 251-267

Taylor & Francis Ltd

Access to resources Recommend Favorite