345 search results - page 45 / 69 » A Classification Framework for Software Reuse |
101
click to vote
MODELLIERUNG
2010
15 years 1 months ago
2010
: The evolution of software systems often produces incompatibilities with existing data and applications. To prevent incompatibilities, changes have to be wellplanned, and develope...
112
click to vote
CBSE
2004
Springer
15 years 5 months ago
2004
Springer
A crucial issue in the design of Component-Based (CB) applications is the ability to early guarantee that the system under development will satisfy its Quality of Service requireme...
100
Voted
KBSE
1999
IEEE
15 years 4 months ago
1999
IEEE
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
181
click to vote
ICOODB
2010
14 years 10 months ago
2010
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
83
Voted
FSTTCS
2009
Springer
15 years 7 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...