11 search results - page 1 / 3 » iwssd 2000 |
IWSSD
2000
IEEE
13 years 9 months ago
2000
IEEE
IWSSD
2000
IEEE
13 years 8 months ago
2000
IEEE
Rupp and Go
IWSSD
2000
IEEE
13 years 9 months ago
2000
IEEE
In recent years, UML has become a standard language for modeling software requirements and design. In this paper we investigate the suitability of UML as a semiformal requirements...
IWSSD
2000
IEEE
13 years 9 months ago
2000
IEEE
The work presented in this paper is part of a large programme of research aimed at supporting consistency management of distributed documents on the World Wide Web. We describe an...
IWSSD
2000
IEEE
13 years 9 months ago
2000
IEEE
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...