1612 search results - page 207 / 323 » A relational approach to software metrics |
ESOP
2005
Springer
14 years 1 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
EUROSPI
2005
Springer
14 years 1 months ago
2005
Springer
The variety of agile methods and their similarity could be a problem for software engineers to select a single or a number of methods and to properly execute them in a project. A p...
FASE
2005
Springer
14 years 1 months ago
2005
Springer
MSC is a visual formalism for specifying the behavior of systems. To obtain implementations for individual processes, the MSC choice construction poses fundamental problems. The be...
GCC
2005
Springer
14 years 1 months ago
2005
Springer
Soft-device is a promising infrastructure of next-generation distributed system. Soft-devices are configurable and adaptive software virtual mechanism, providing services to each o...
GI
2004
Springer
14 years 1 months ago
2004
Springer
: Knowledge management typically focuses on communicating and spreading information and knowledge within a company. It is usually limited to technology or business information in s...