513 search results - page 88 / 103 » Software Components Capture Using Graph Clustering |
127
click to vote
ECOOP
2005
Springer
15 years 11 months ago
2005
Springer
Two object-oriented programming language paradigms— dynamic, prototype-based languages and multi-method languages— provide orthogonal benefits to software engineers. These two...
159
click to vote
TASE
2007
IEEE
15 years 12 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
183
Voted
MATES
2004
Springer
15 years 11 months ago
2004
Springer
Most of the Agent-Oriented software engineering methodologies that have been developed in the last years tend to propose a model-based approach to software development. To be put i...
260
click to vote
POPL
2005
ACM
16 years 5 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
169
click to vote
PLDI
2004
ACM
15 years 11 months ago
2004
ACM
Pointer analysis is a critical problem in optimizing compiler, parallelizing compiler, software engineering and most recently, hardware synthesis. While recent efforts have sugges...