Sciweavers

1663 search results - page 168 / 333
» Software Reuse and Safety
Sort
View
SAC
2005
ACM
14 years 2 months ago
Use case-driven component specification: a medical applications perspective to product line development
Modular and flexible software components can be useful for reuse across a class of domain-specific applications or product lines. By varying the composition of components suited t...
M. Brian Blake, Kevin Cleary, Sohan Ranjan, Luis I...
ICSE
2009
IEEE-ACM
14 years 1 months ago
License integration patterns: Addressing license mismatches in component-based development
In this paper we address the problem of combining software components with different and possibly incompatible legal licenses to create a software application that does not viola...
Daniel M. Germán, Ahmed E. Hassan
CLEIEJ
2007
94views more  CLEIEJ 2007»
13 years 9 months ago
A Version Control Tool for Framework-based Applications
Framework based application development is increasingly being adopted by software organizations. Frameworks provide reuse of both software design and code, and supply more trustab...
Maria Istela Cagnin, Rosana T. V. Braga, Rosangela...
SIGSOFT
2001
ACM
14 years 9 months ago
Combining UML and formal notations for modelling real-time systems
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli
POPL
2007
ACM
14 years 9 months ago
Proving that programs eventually do something good
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
Byron Cook, Alexey Gotsman, Andreas Podelski, Andr...