Sciweavers

1721 search results - page 190 / 345
» Software Reuse: An Overview
Sort
View
FASE
2001
Springer
14 years 2 months ago
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
Bernhard Reus, Martin Wirsing, Rolf Hennicker
ECOOPW
1999
Springer
14 years 2 months ago
Black-Box Program Specialization
Software components o er numerous advantages in terms of development, but may give rise to ine ciency due to highly generic implementations. Program specialization can automatical...
Ulrik Pagh Schultz
DEXAW
1998
IEEE
88views Database» more  DEXAW 1998»
14 years 2 months ago
A View on Components
Components are nowadays considered the next step in information system development. Components are assumed to foster reuse and flexibility, and reduce the complexity of distribute...
Nico H. Lassing, Daan B. B. Rijsenbrij, Johannes C...
ICSM
1998
IEEE
14 years 2 months ago
Investigating Maintenance Processes in a Framework-Based Environment
1 The empirical study described in this paper focuses on the effectiveness of maintenance processes in an environment in which a repository of potential sources of reuse exists, e....
Victor R. Basili, Filippo Lanubile, Forrest Shull
DAC
1997
ACM
14 years 2 months ago
A Parallel/Serial Trade-Off Methodology for Look-Up Table Based Decoders
A methodology for architecture exploration of look-up table based decoders is presented. For the degree of parallel processing a trade-off can be made by exploring system level an...
Claus Schneider