4476 search results - page 570 / 896 » A flexible framework for engineering |
163
click to vote
ICSM
1997
IEEE
15 years 11 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...
153
click to vote
WADT
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
169
click to vote
AADEBUG
1997
Springer
15 years 11 months ago
1997
Springer
I present a general framework for observing and controlling a distributed computation and its applications to distributed debugging. Algorithms for observation are useful in distr...
187
click to vote
EUROMICRO
1996
IEEE
15 years 11 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
185
Voted
ICSE
1997
IEEE-ACM
15 years 11 months ago
1997
IEEE-ACM
We propose a framework for “probabilistic functional testing.” The success of a test data set generated according to our method guarantees a certain level of confidence into ...