944 search results - page 83 / 189 » Software model checking without source code |
FOSSACS
2011
Springer
13 years 1 months ago
2011
Springer
Dependently typed programs contain an excessive amount of static terms which are necessary to please the type checker but irrelevant for computation. To obtain reasonable performan...
INFSOF
2000
13 years 10 months ago
2000
A number of standalone tools are designed to help developers understand software systems. These tools operate at different levels of abstraction, from low level source code to sof...
CSMR
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— Adapting software components usable by a particular application is a crucial issue in software component based technology. In fact, software components can be used in c...
QUATIC
2007
IEEE
14 years 4 months ago
2007
IEEE
The milestones of the history of software development are paradigm shifts. Each paradigm brought its own features and new ways of composing them to assemble software systems. Unde...
OOPSLA
2004
Springer
14 years 3 months ago
2004
Springer
Inheritance is a useful mechanism for factoring and reusing code. However, it has limitations for building extensible systems. We describe nested inheritance, a mechanism that add...