379 search results - page 58 / 76 » Essential Use Cases and Responsibility in Object-Oriented De... |
WWW
2010
ACM
14 years 25 days ago
2010
ACM
In this paper we present FormSys, a Web-based system that service-enables form documents. It offers two main services: filling in forms based on Web services’ incoming SOAP me...
VLC
2008
13 years 7 months ago
2008
Ensuring model quality is a key success factor in many computer science areas, and becomes crucial in recent software engineering paradigms like the one proposed by model-driven s...
DAC
2007
ACM
14 years 8 months ago
2007
ACM
Interrupt behaviors, especially the external ones, are difficult to verify in a microprocessor design project in that they involve both interacting hardware and software. This pap...
QSIC
2007
IEEE
14 years 2 months ago
2007
IEEE
Web application testers need automated, effective approaches to validate the test results of complex, evolving web applications. In previous work, we developed a suite of automate...
FMOODS
2006
13 years 9 months ago
2006
Nondeterminism in specifications may be used for at least two different purposes. One is to express underspecification, which means that the specifier for the same environment beha...