Sciweavers

90 search results - page 2 / 18
» Property models: from incidental algorithms to reusable comp...
Sort
View
ASM
2003
ASM
13 years 10 months ago
A Framework for Proving Contract-Equipped Classes
r in: Abstract State Machines 2003 — Advances in Theory and Applications, Proc. 10th International Workshop, Taormina, Italy, March 3-7, 2003, eds. Egon Boerger, Angelo Gargantin...
Bertrand Meyer
DAIS
2001
13 years 6 months ago
Software Connectors and their Role in Component Deployment
To support rapid software evolution, it is desirable to construct software systems from reusable components. In this approach, the architecture of a system is described as a collec...
Dusan Bálek, Frantisek Plasil
KBSE
2010
IEEE
13 years 3 months ago
Seamlessly integrated, but loosely coupled: building user interfaces from heterogeneous components
User interface development is a time and resource consuming task. Thus, reusing existing UI components is a desirable approach for rapid UI development. To keep UIs maintainable, ...
Heiko Paulheim
SERP
2003
13 years 6 months ago
Automating Feature-Oriented Domain Analysis
Feature modeling is commonly used to capture the commonalities and variabilities of systems in a domain during Domain Analysis. The output of feature modeling will be some reusabl...
Fei Cao, Barrett R. Bryant, Carol C. Burt, Zhishen...
UML
2001
Springer
13 years 9 months ago
A UML-integrated Test Description Language for Component Testing
Abstract: A mass market in reusable components demands a high level of component quality, testing being a crucial part of software quality assurance. For components modelled in UML...
Simon Pickin, Claude Jard, Thierry Heuillard, Jean...