4476 search results - page 123 / 896 » Modeling software architectures in the Unified Modeling Lang... |
123
click to vote
WOSP
2004
ACM
15 years 7 months ago
2004
ACM
In this paper we describe our experience in performance analysis of the software architecture of the NICE case study which is responsible for providing several secure communicatio...
103
click to vote
SAC
2003
ACM
15 years 7 months ago
2003
ACM
Software coordination models and languages describe how agents, resources and processes work together to implement a software system. One of their limitations is that they are use...
127
click to vote
ECSA
2010
Springer
14 years 11 months ago
2010
Springer
In Software Product Lines variability refers to the definition and utilization of differences between several products. Feature Diagrams (FD) are a well-known approach to express v...
138
click to vote
APN
2001
Springer
15 years 6 months ago
2001
Springer
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...
149
click to vote
ICSEA
2009
IEEE
14 years 11 months ago
2009
IEEE
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...