3889 search results - page 524 / 778 » The Use of Program Dependence Graphs in Software Engineering |
125
click to vote
APSEC
2002
IEEE
15 years 9 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
128
click to vote
FASE
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
164
click to vote
WCRE
1999
IEEE
15 years 9 months ago
1999
IEEE
We present a technique for restructuring functions with low cohesion into functions with high cohesion. Such restructuring is desirable when re-architecting a legacy system into a...
139
Voted
ICSM
1997
IEEE
15 years 9 months ago
1997
IEEE
ÐWe describe a general technique for identifying modules in legacy code. The method is based on concept analysisÐa branch of lattice theory that can be used to identify similarit...
124
click to vote
PEPM
1993
ACM
15 years 9 months ago
1993
ACM
Applications of partial evaluation have so far mainly focused on generation of compilers from interpreters for programming languages. We partially evaluate a simple general LR(k) ...