登入選單
返回Google圖書搜尋
出版University of Edinburgh, Department of Artificial Intelligence, 1996
URLhttp://books.google.com.hk/books?id=g6JAHQAACAAJ&hl=&source=gbs_api
註釋Abstract: "Most existing work on formal specification is focussed on a particular method or specification language, considered in isolation. In practice, few non-trivial specifications are produced by a single person, or by a group of persons with a common view of the world. It is far more common for a variety of views of a problem to coexist, each with different forms of communication. It has proved difficult to assemble such heterogeneous specifications -- leading to breakdowns in communication and consequent failures of systems. As more of this communication is conducted remotely by electronic means the need to support distributed specification in a controlled way is increased. This paper presents one way of tackling this problem, based on a set of tools for describing specifications at a variety of stages in their development. By constraining the interfaces between tools, we aim to provide a more structured system for collaborative specification."