788 search results - page 119 / 158 » Design and use of a system-level specification and verificat... |
163
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
Many communication-centred systems today rely on asynchronous messaging among distributed peers to make efficient use of parallel execution and resource access. With such asynchron...
178
click to vote
AIPS
2006
15 years 7 months ago
2006
Mixed-Initiative approaches to Planning and Scheduling are being applied in different real world domains. While several recent successful examples of such tools encourage a wider ...
178
click to vote
SERP
2003
15 years 7 months ago
2003
In the face of extensive attention form both the research community and the industry, traceability there still lacks of a supporting methodology that enables traceability througho...
303
click to vote
CHI
2011
ACM
14 years 9 months ago
2011
ACM
The field of HCI is growing, not only in the variety of application areas or the volume of research conducted, but also in the number of analytical approaches for use in the evalu...
170
click to vote
TOOLS
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...