196 search results - page 31 / 40 » Specification Diagrams for Actor Systems |
ISESE
2005
IEEE
15 years 3 months ago
2005
IEEE
During software evolution, programmers spend a lot of time and effort in the comprehension of the internal code structure. Such an activity is often required because the available...
DAGSTUHL
2004
14 years 11 months ago
2004
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...
114
click to vote
APN
2006
Springer
15 years 1 months ago
2006
Springer
Stochastic Petri nets (SPNs) have been proved useful for the quantitative analysis of systems. This paper introduces ArgoSPE, a tool for the performance evaluation of software syst...
70
Voted
ENTCS
2008
14 years 9 months ago
2008
Circus is a refinement language, in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and...
ENTCS
2008
14 years 9 months ago
2008
In a UML model, different aspects of a system are covered by different types of diagrams and this bears the risk that an overall system specification becomes barely tractable by t...