4211 search results - page 486 / 843 » A formal approach to MASQ |
177
click to vote
MEMOCODE
2006
IEEE
16 years 25 days ago
2006
IEEE
Data flow models are used for specifying and analysing signal processing and streaming applications. However, traditional data flow models are either not capable of expressing t...
210
click to vote
WISE
2006
Springer
16 years 25 days ago
2006
Springer
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...
184
click to vote
ACOM
2006
Springer
16 years 24 days ago
2006
Springer
Interaction protocols enable agents to communicate with each other effectively. Whereas several approaches exist to specify interaction protocols, none of them has design tools th...
167
click to vote
ISSTA
2006
ACM
16 years 23 days ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
182
click to vote
ASWEC
2005
IEEE
16 years 13 days ago
2005
IEEE
The usefulness of design patterns in forward engineering is already well-known and several tools provide support for their application in the development of software systems. Whil...