Sciweavers

3514 search results - page 98 / 703
» Evolving Specification Engineering
Sort
View
IWSSD
2000
IEEE
14 years 11 days 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...
APSEC
1998
IEEE
14 years 7 days ago
Verifying Model Oriented Specifications through Animation
In this paper we demonstrate how light weight tools can be used to increase the level of confidence in Z specifications. In particular we outline the Pipedream approach to explori...
Edmund Kazmierczak, Michael Winikoff, Philip W. Da...
AOSE
2008
Springer
13 years 10 months ago
Using and Extending the SPEM Specifications to Represent Agent Oriented Methodologies
Situational Method Engineering for constructing ad-hoc agent oriented design process is grounded on a well defined set of phases that are principally based on reuse of components c...
Valeria Seidita, Massimo Cossentino, Salvatore Gag...
SAC
2008
ACM
13 years 7 months ago
Toward quality requirements analysis based on domain specific quality spectrum
It is difficult to identify whether quality requirements are defined adequately or not, but there are few methods to support this kind of requirements analysis. In this paper, we ...
Haruhiko Kaiya, Tomonori Sato, Akira Osada, Naoyuk...
RE
2008
Springer
13 years 6 months ago
Requirements for tools for ambiguity identification and measurement in natural language requirements specifications
This paper proposes a two-step approach to identifying ambiguities in natural language (NL) requirements specifications (RSs). In the first step, a tool would apply a set of ambig...
Nadzeya Kiyavitskaya, Nicola Zeni, Luisa Mich, Dan...