CTL Model Update for System Modifications (2009)
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update towards the...
Specifying Software Architectures Using a Formal-Based Approach (2008)
Copyright © 2008, IEEE Computer Society
CTL Model Update for System Modifications (2008)
c 2008 AI Access Foundation. All rights reserved.
Specifying Software Architectures Using a Formal-Based Approach (2008)
Copyright © 2008, IEEE Computer Society
CTL Model Update for System Modifications (2008)
c 2008 AI Access Foundation. All rights reserved.
Model update system for modifications (2007)
Ding, Yulin, College Of Health And Science, School Of Computing And Mathematics
Model checking is an existing approach for automatic reasoning. The model checker is an important tool and has been applied to software engineering for system verification. As an extension of model...
Model update system for modifications (2007)
Model checking is an existing approach for automatic reasoning. The model checker is an important tool and has been applied to software engineering for system verification. As an extension of model...
Model update system for modifications (2007)
Ding, Yulin, College Of Health And Science, School Of Computing And Mathematics
Model checking is an existing approach for automatic reasoning. The model checker is an important tool and has been applied to software engineering for system verification. As an extension of model...
System modification case studies (2007)
Computation Tree Logic (CTL) model update is an approach for software verification and modification, where the minimal change principle is employed to generate admissible models that represent the...
CTL Model Update: Semantics, Computations and Implementation (2006)
http://nla.gov.au/anbd.bib-an41199179
A Case Study for CTL Model Update (2006)
The original publication can be found at www.springerlink.com
Dual Space Drawing Methods for Ruled Surfaces with Particular Shapes (2006)
Copyright 2005 International Journal of Computer Science and Network Security
CTL Model Update: Semantics, Computations and Implementation (2006)
http://nla.gov.au/anbd.bib-an41199179
A Case Study for CTL Model Update (2006)
The original publication can be found at www.springerlink.com
Dual Space Drawing Methods for Ruled Surfaces with Particular Shapes (2006)
Copyright 2005 International Journal of Computer Science and Network Security
A case study for CTL model update (2006)
Computational Tree Logic (CTL) model update is a new system modification method for software verification. In this paper, a case study is described to show how a prototype model updater is...
CTL model update : semantics, computations and implementation (2006)
Minimal change is a fundamental principle for modeling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We first propose five...
A case study for CTL Model update (2006)
Computational Tree Logic (CTL) model update is a new system modification method for software verification. In this paper, a case study is described to show how a prototype model updater is...
A case study for CTL model update (2006)
Computational Tree Logic (CTL) model update is a new system modification method for software verification. In this paper, a case study is described to show how a prototype model updater is...
Model Updating CTL Systems (2005)
The original publication can be found at www.springerlink.com
Algorithms for CTL System Modification (2005)
The original publication can be found at www.springerlink.com
A Logic Approach for LTL System Modification (2005)
The original publication can be found at www.springerlink.com
Model Updating CTL Systems (2005)
The original publication can be found at www.springerlink.com
Algorithms for CTL System Modification (2005)
The original publication can be found at www.springerlink.com
A Logic Approach for LTL System Modification (2005)
The original publication can be found at www.springerlink.com
A logic approach for LTL system modification (2005)
Model checking has been successfully applied to system verification. However, there are no standard and universal tools to date being applied for system modification. This paper introduces a formal...
Model updating CTL systems (2005)
Ding, Yulin, Jarvis, Ray, Zhang, Shichao
Minimal change is a fundamental principle for modelling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We first consider five...
Algorithms for CTL system modification (2005)
Ding, Yulin, Howlett, Robert J., Jain, Lakhmi C., Khosla, Rajiv
Model updating, as a new concept to be employed as a standard and universal method for system modification, has been started in and further developed in this paper. This paper introduces algorithms...
The extension of the dual De Casteljau algorithm (2003)
© Copyright 2003 IEEE
Ruled surface design and its applications are widely used in CAGD(Computer Aid Geometric Design) and industrial areas. In this paper, the hyperbolic paraboloid is a particular ruled surface, which is...
Dual Space Drawing Methods of Cylinders. (2003)
The original publication can be found at www.springerlink.com
The extension of the dual De Casteljau algorithm (2003)
© Copyright 2003 IEEE
Ruled surface design and its applications are widely used in CAGD(Computer Aid Geometric Design) and industrial areas. In this paper, the hyperbolic paraboloid is a particular ruled surface, which is...
Dual Space Drawing Methods of Cylinders. (2003)
The original publication can be found at www.springerlink.com
Drawing Ruled Surfaces Using the Dual de Boor Algorithm (2002)
http://www.elsevier.com/wps/find/journaldescription.cws_home/681021/description#description
Drawing Ruled Surfaces Using the Dual de Boor Algorithm (2002)
http://www.elsevier.com/wps/find/journaldescription.cws_home/681021/description#description
Dual drawing methods for ruled surfaces of particular shapes (2000)
Bibliography: leaves 132-138.