1432 search results - page 122 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
130
Voted
WOSP
2004
ACM
15 years 9 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
144
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Software Visualization encompasses the development and evaluation of methods for graphically representing different aspects of methods of software, including its structure, execut...
129
Voted
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...
122
Voted
UML
2004
Springer
15 years 9 months ago
2004
Springer
We believe that there is a very strong need for an environment to support research and experiments on model-driven engineering. Therefore we have started the TopModL project, an o...
137
Voted
DAGSTUHL
2003
15 years 5 months ago
2003
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...