Sciweavers

11 search results - page 1 / 3
» iwssd 2000
Sort
View
IWSSD
2000
IEEE
14 years 3 months ago
Formalising ERP Selection Criteria
Xavier Burgués Illa, Xavier Franch, Joan An...
IWSSD
2000
IEEE
14 years 2 months ago
The Dangerous 'All' in Specifications
Rupp and Go
Daniel M. Berry, Erik Kamsties
IWSSD
2000
IEEE
14 years 3 months ago
Problems and Deficiencies of UML as a Requirements Specification Language
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...
Martin Glinz
IWSSD
2000
IEEE
14 years 3 months ago
Using XML to Build Consistency Rules for Distributed Specifications
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...
Andrea Zisman, Wolfgang Emmerich, Anthony Finkelst...
IWSSD
2000
IEEE
14 years 3 months ago
Model Checking Implicit-Invocation Systems
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...
David Garlan, Serge Khersonsky