KBSE
2000
IEEE
14 years 10 days ago
2000
IEEE
KBSE
2000
IEEE
14 years 10 days ago
2000
IEEE
KBSE
2000
IEEE
14 years 10 days ago
2000
IEEE
Distributed information systems for decision support and e-commerce applications require coordination of multiple autonomous components and their services to accomplish a set of g...
IWSSD
2000
IEEE
14 years 10 days 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
14 years 10 days ago
2000
IEEE
In this study we focus on the specification and assessment of Stochastic Petri net (SPN) models to evaluate the design of an embedded system for reliability and availability. The ...
IWSSD
2000
IEEE
14 years 10 days ago
2000
IEEE
Most software that most people use most of the time needs only moderate assurance of fitness for its intended purpose. Unlike high-assurance software, where the severe consequence...
IWSSD
2000
IEEE
14 years 10 days ago
2000
IEEE
This paper reports on a preliminary investigation into applying work on graphic animation of behavioral models to an air traffic control case study – the National Air Traffic Se...
IWSSD
2000
IEEE
14 years 10 days ago
2000
IEEE
IWSSD
2000
IEEE
14 years 10 days 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
14 years 10 days 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...