1490 search results - page 158 / 298 » Knowledge Reuse for Software Reuse |
GPCE
2005
Springer
14 years 3 months ago
2005
Springer
One of the themes in building reusable and maintainable software is identifying similarities and designing generic solutions to unify similarity patterns. In this paper, we analyze...
ICFEM
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
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...
TACAS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...
NOMS
2002
IEEE
14 years 3 months ago
2002
IEEE
Mobile agents can migrate among nodes to perform a set of management tasks at each of the visited nodes. Existing mobile agent-based network management systems often assume that t...