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...
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...
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...
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 ...
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...