Sciweavers

315 search results - page 5 / 63
» A formal approach to software components classification and ...
Sort
View
KBSE
1998
IEEE
14 years 11 hour ago
Specification-based Browsing of Software Component Libraries
Specification-based retrieval provides exact contentoriented access to component libraries but requires too much deductive power. Specification-based browsing evades this bottlene...
B. Fischer
EUROMICRO
2009
IEEE
13 years 11 months ago
Formal Semantics of the ProCom Real-Time Component Model
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...
Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlso...
COMPSAC
2000
IEEE
14 years 5 days ago
Integration in Component-Based Software Development Using Design Patterns
Components-based development is promising in improving software development productivity and software quality by re-using existing well-tested software components. However, one of...
Stephen S. Yau, Ning Dong
QSIC
2007
IEEE
14 years 2 months ago
An Incremental and FCA-Based Ontology Construction Method for Semantics-Based Component Retrieval
In semantics-based component retrieval ontology is usually employed as the semantic basis for component representation and matching. Existing methods always assume that the ontolo...
Xin Peng, Wenyun Zhao
WOSP
2000
ACM
14 years 3 days ago
A pattern-based approach to model software performance
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
José Merseguer, Javier Campos, Eduardo Mena