Sciweavers

1672 search results - page 37 / 335
» On the Development of Software Product-Family Components
Sort
View
CBSQ
2003
Springer
15 years 6 months ago
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon
CAISE
2006
Springer
15 years 5 months ago
Aligning Business Processes and Software Connecting the UML 2 Profile for Event Driven Process Chains with Use Cases and Compone
The alignment between business processes and software is inadequately supported in conceptual modelling, although business processes are often the starting point for software devel...
Birgit Korherr, Beate List
CD
2004
Springer
15 years 7 months ago
Towards a Dynamic Resource Contractualisation for Software Components
Abstract In this paper we present a framework defining the architecture of systems providing software components with means to contractualise their resource access conditions with...
Nicolas Le Sommer
DEBS
2007
ACM
15 years 5 months ago
Software architecture using fine-grained event-driven reactive components
In this paper, we describe design motivations and experience with a visual language that treats the architecture of a reactive system as a composition of small, asynchronous softw...
Paul Tarvydas, Norm Sanford
JBCS
2002
116views more  JBCS 2002»
15 years 1 months ago
Software Components Retrieval Through Mediators and Web Search
Component Based Development (CBD) aims at constructing software through the integration, using interfaces and contracts, between pre-existing components. The main goal of this wor...
Robson P. de Souza, Marcelo N. Costa, Regina M. M....