1389 search results - page 25 / 278 » Lightweight dependent classes |
ACSC
2006
IEEE
14 years 2 months ago
2006
IEEE
The purpose of refactoring is to improve the quality of a software system by changing its internal design so that it is easier to understand or modify, or less prone to errors and...
ECOOP
2003
Springer
14 years 1 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
ASM
2010
ASM
13 years 11 months ago
2010
ASM
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...
JC
2006
13 years 8 months ago
2006
We consider high dimensional integration in a broad class of functions where all elements have maximum effective dimension. We show that there exists an exact cubature with only t...
ISCIS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Achieving higher levels of dependability is a goal in any software project, therefore strategies for software reliability improvement are very attractive. This work intro...