4476 search results - page 127 / 896 » Modeling software architectures in the Unified Modeling Lang... |
103
Voted
ICSE
1994
IEEE-ACM
15 years 6 months ago
1994
IEEE-ACM
act Research issues related to requirements modeling are introduced and discussed through a review of the requirements modeling language RML, its peers and its successors from the ...
120
click to vote
CAV
2005
Springer
15 years 7 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
110
click to vote
DAGSTUHL
2006
15 years 3 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
164
click to vote
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
Model evolution is often supported by writing model transformation rules in specialized languages. This presents challenges to those who are unfamiliar with model transformation l...
117
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...