1804 search results - page 87 / 361 » Use Cases in Model-Driven Software Engineering |
115
click to vote
ERLANG
2006
ACM
15 years 9 months ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
121
click to vote
LSO
2004
Springer
15 years 9 months ago
2004
Springer
When developing large software products many verbal and written interactions take place. In such interactions the use of abstract and uncertain expressions is considered advantageo...
136
click to vote
ICSM
2007
IEEE
15 years 10 months ago
2007
IEEE
Studying the release-time activities of a software project — that is, activities that occur around the time of a major or minor release — can provide insights into both the de...
120
click to vote
COMPSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
Many organizations would benefit from enterprise-wide, shared information systems. It is common for these organizations to have in place a number of smaller information systems, e...
158
click to vote
ICST
2009
IEEE
15 years 1 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...