Sciweavers

996 search results - page 11 / 200
» A Compositional Model for Software Reuse
Sort
View
GPCE
2008
Springer
14 years 11 months ago
Property models: from incidental algorithms to reusable components
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...
Jaakko Järvi, Mat Marcus, Sean Parent, John F...
SEAA
2008
IEEE
15 years 4 months ago
A Compositional Approach to Active and Passive Components
Current software component models lack compositionality. Most of them also do not have both active and passive components. In this paper, we show how we can define a compositiona...
Kung-Kiu Lau, Ioannis Ntalamagkas
ISORC
2005
IEEE
15 years 3 months ago
Proof Slicing with Application to Model Checking Web Services
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul
ECAI
1994
Springer
15 years 1 months ago
Similarity for Analogical Software Reuse: A Computational Model
This paper describes a computational model of similarity developed to support analogical software reuse. Similarity is computed from conceptual descriptions of software artifacts o...
George Spanoudakis, Panos Constantopoulos
CAISE
1993
Springer
15 years 1 months ago
Similarity for Analogical Software Reuse: A Conceptual Modelling Approach
We present our approach to defining similarity between software artifacts and discuss its potential exploitation in software reuse by analogy. We first establish properties of si...
George Spanoudakis, Panos Constantopoulos