3763 search results - page 159 / 753 » Component-Based Software Engineering Processes |
166
click to vote
WSC
2000
15 years 7 months ago
2000
Recent breakthroughs in communication and software engineering has resulted in significant growth of web-based computing. Web-based techniques have been employed for modeling, sim...
133
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Deriving requirements and architecture in concert implies the joint elicitation and specification of the problem and the structure of the solution. In this paper we argue that suc...
178
click to vote
SERP
2008
15 years 7 months ago
2008
In aspect-oriented model driven engineering (AOMDE), a software design model consists of a primary model that describes the business logic of the application and a set of aspect m...
144
click to vote
QSIC
2007
IEEE
16 years 18 days ago
2007
IEEE
In this paper we propose a metric for finite processes in a probabilistic extension of CSP. The kernel of the metric corresponds to trace equivalence and most of the operators in...
140
click to vote
FSTTCS
1992
Springer
15 years 10 months ago
1992
Springer
The branching bisimulation de ned by Van Glabbeek and Weijland takes care of preserving the branching structure of processes even though silent actions are taken. Branching bisimu...