1804 search results - page 87 / 361 » Use Cases in Model-Driven Software Engineering |
139
Voted
ERLANG
2006
ACM
16 years 4 days 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...
146
Voted
LSO
2004
Springer
15 years 11 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...
164
click to vote
ICSM
2007
IEEE
16 years 14 days 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...
142
Voted
COMPSAC
2002
IEEE
15 years 11 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...
207
Voted
ICST
2009
IEEE
15 years 3 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...