Slicing Software for Model Construction

ISSN： 1388-3690

Source： LISP and Symbolic Computation, Vol.13, Iss.4, 2000-12, pp. : 315-353

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

Program slicing across the hardware-software boundary for embedded systems

By Russell Jeffry T.

International Journal of Embedded Systems, Vol. 4, Iss. 1, 2009-07 ,pp. : 66-82

Inderscience Publishers

Access to resources Recommend Favorite

Using Executable Slicing to Improve Rogue Software Detection Algorithms

International Journal of Secure Software Engineering (IJSSE), Vol. 2, Iss. 2, 2011-04 ,pp. : 53-64

IGI Global_journal

Access to resources Recommend Favorite

Detecting safety‐related components in statecharts through traceability and model slicing

SOFTWARE:PRACTICE AND EXPERIENCE, Vol. 48, Iss. 3, 2018-03 ,pp. : 428-448

John Wiley & Sons Inc

Access to resources Recommend Favorite

A software product certification model

By Heck Petra Klabbers Martijn Eekelen Marko

Software Quality Journal, Vol. 18, Iss. 1, 2010-03 ,pp. : 37-55

Springer Publishing Company

Access to resources Recommend Favorite

MODEL-BASED SOFTWARE DIAGNOSIS

By Hunt John

Applied Artificial Intelligence, Vol. 12, Iss. 4, 1998-06 ,pp. : 289-308

Taylor & Francis Ltd

Access to resources Recommend Favorite