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

Reverse engineering collaboratory: a logic-based tool for monitoring the quality of programs

By Maresca P.  

Engineering Applications of Artificial Intelligence, Vol. 13, Iss. 1, 2000-02 ,pp. : 99-107

Elsevier

Access to resources Recommend Favorite

Exploiting unified modelling language (UML) as a preliminary design tool for Common Logic-based ontologies in manufacturing

By Palmer C.  

International Journal of Computer Integrated Manufacturing, Vol. 26, Iss. 3, 2013-03 ,pp. : 267-283

Taylor & Francis Ltd

Access to resources Recommend Favorite

Mapping Mobile Statechart Diagrams to the π-Calculus using Graph Transformation: An Approach for Modeling, Simulation and Verification of Mobile Agent-based Software Systems

By  

International Journal of Intelligent Information Technologies (IJIIT), Vol. 12, Iss. 4, 2016-10 ,pp. : 1-20

IGI Global_journal

Access to resources Recommend Favorite

Abstract Interpretation based Verification of Logic Programs

By Comini M.   Gori R.   Levi G.   Volpe P.  

Electronic Notes in Theoretical Computer Science, Vol. 30, Iss. 1, 2004-01 ,pp. : 1-17

Elsevier

Access to resources Recommend Favorite