2165 search results - page 255 / 433 » Cooperative Software Development: Concepts, Model and Tools |
233
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
—Markov chains with Labelled Transitions can be used to generate test cases in a model-based approach. These test cases are generated by random walks on the model according to pr...
198
click to vote
APSEC
2004
IEEE
15 years 11 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
185
click to vote
ICSE
2004
IEEE-ACM
16 years 15 days ago
2004
IEEE-ACM
Prior research attempts to formalize the structure of object-oriented design patterns for a more precise specification of design patterns. It also allows automation support to be ...
184
click to vote
MSE
2000
IEEE
15 years 11 months ago
2000
IEEE
With continuous acceptance of World Wide Web (WWW) as a de facto standard for human-computer interaction and human-human communication, it is desirable to develop net-centric, mul...
198
click to vote
SEFM
2007
IEEE
16 years 1 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...