1376 search results - page 128 / 276 » Model-Driven Software Verification |
120
click to vote
WWW
2009
ACM
15 years 10 months ago
2009
ACM
In the past, some researches suggested that engineers can use combined software reliability growth models (SRGMs) to obtain more accurate reliability prediction during testing. In...
108
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
The work we present here is mainly concerned with interagent communication, MAS communication protocols and, in particular, software tools and environments to define, experiment a...
171
click to vote
SPLC
2010
15 years 4 months ago
2010
This paper presents a case study of creating a software product line for the train signaling domain. The Train Control Language (TCL) is a DSL which automates the production of sou...
120
click to vote
WSC
1994
15 years 4 months ago
1994
ABSTRACT This paper provides beginning and intermediate simulation practitioners and interested simulation consumers with a grounding in how discrete-event simulation software work...
155
click to vote
ECLIPSE
2005
ACM
15 years 5 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...