5525 search results - page 275 / 1105 » Verification of Model Transformations |
141
click to vote
LPNMR
1997
Springer
15 years 9 months ago
1997
Springer
We present a bottom-up algorithm for the computation of the well-founded model of non-disjunctive logic programs which is based on the set of elementary program transformations stu...
171
click to vote
FORMATS
2004
Springer
15 years 10 months ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
163
click to vote
BPM
2006
Springer
15 years 8 months ago
2006
Springer
Little is known about error probability in enterprise models as they are usually kept private. The SAP reference model is a publically available model that contains more than 600 n...
160
click to vote
APSEC
2002
IEEE
15 years 10 months ago
2002
IEEE
Reengineering legacy software systems to object oriented platforms has received significant attention over the past few years. In this paper, we propose a goal driven software mig...
139
Voted
EUROMICRO
1996
IEEE
15 years 9 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...