2558 search results - page 322 / 512 » Model Composition Contracts |
143
Voted
EWSA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Documenting software architectures is a key aspect to achieve success when communicating the architecture to different stakeholders. Several architectural views have been...
120
click to vote
RELMICS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. A Concurrent Kleene Algebra offers two composition operators, one that stands for sequential execution and the other for concurrent n [10]. In this paper we investigate ...
167
click to vote
TACAS
1998
Springer
15 years 9 months ago
1998
Springer
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) 16] o ers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, curr...
133
click to vote
CONCUR
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators...
144
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...