1672 search results - page 98 / 335 » On the Development of Software Product-Family Components |
172
click to vote
ECBS
2010
IEEE
16 years 28 days ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
147
click to vote
AICCSA
2001
IEEE
15 years 9 months ago
2001
IEEE
A trend in software development is to assemble a system from a number of components. These may be either available commercially off-the-shelf, or by the use of network-based resou...
140
click to vote
JUCS
2008
15 years 6 months ago
2008
Abstract: This paper describes a Java-based framework for developing componentbased software systems supporting adaptation with logic laws and considering component interactions as...
592
click to vote
ICSE
2012
IEEE-ACM
13 years 8 months ago
2012
IEEE-ACM
Abstract—In this extended abstract we present a bidirectional model-driven framework to develop spreadsheets. By being model driven, our approach allows to evolve a spreadsheet m...
134
click to vote
ICIP
2000
IEEE
16 years 7 months ago
2000
IEEE
Document image matching is the key technique for document registration and retrieval. In this paper, a new matching algorithm based on document component block list and component ...