315 search results - page 1 / 63 » A formal approach to software components classification and ... |
COMPSAC
1997
IEEE
13 years 9 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
KBSE
1995
IEEE
13 years 8 months ago
1995
IEEE
cation at some level of abstraction, abandoning the semantic information provided by the specification. In this paper, we propose a methodology that ships the overhead of formal re...
ASWEC
2000
IEEE
13 years 9 months ago
2000
IEEE
The aim of the paper is to present the results of research into Component-Based software development by providing a specification mechanism allowing searching for components in a ...
ACSC
2005
IEEE
13 years 10 months ago
2005
IEEE
Component based software engineering (CBSE), can in principle lead to savings in the time and cost of software development, by encouraging software reuse. However the reality is t...
IFIP12
2009
13 years 2 months ago
2009
: Component-based software development has matured into standard practice in software engineering. Among the advantages of reusing software modules are lower costs, faster developm...