An SMT-based Approach for Generating Coverage Oriented Metamodel Instances

Publisher： IGI Global_journal

E-ISSN： 1947-8194|7|3|23-50

ISSN： 1947-8186

Source： International Journal of Information System Modeling and Design (IJISMD), Vol.7, Iss.3, 2016-07, pp. : 23-50

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 purely object-oriented approach for rule-based paradigms

By Sato H.   Hakamada H.   Yamazaki Y.   Uto M.   Sugawara M.   Umezawa Y.   Boufriche-Boufada Z.  

Expert Systems with Applications, Vol. 14, Iss. 4, 1998-04 ,pp. : 483-492

Elsevier

Access to resources Recommend Favorite

An intermediate metamodel with scenarios and resources for generating performance models from UML designs

By Petriu Dorin  

Software and Systems Modeling (SoSyM), Vol. 6, Iss. 2, 2007-06 ,pp. : 163-184

Springer Publishing Company

Access to resources Recommend Favorite

A Blame-Based Approach to Generating Proposals for Handling Inconsistency in Software Requirements

By  

International Journal of Knowledge and Systems Science (IJKSS), Vol. 3, Iss. 1, 2012-01 ,pp. : 1-17

IGI Global_journal

Access to resources Recommend Favorite

Knowledge-based approach and system for assembly oriented design, Part I: the approach

By Zha X.F.   Du H.J.   Qiu J.H.  

Engineering Applications of Artificial Intelligence, Vol. 14, Iss. 1, 2001-02 ,pp. : 61-75

Elsevier

Access to resources Recommend Favorite

Tool integration at the meta-model level: the Fujaba approach

By Burmester Sven   Giese Holger   Niere Jörg   Tichy Matthias   Wadsack Jörg P.   Wagner Robert   Wendehals Lothar   Zündorf Albert  

International Journal on Software Tools for Technology Transfer, Vol. 6, Iss. 3, 2004-08 ,pp. : 203-218

Springer Publishing Company

Access to resources Recommend Favorite