Automated testing of large embedded systems is one of the most expensive and time-consuming parts of the software life cycle. The knowledge-based Interactive Test Script System (KITSS) automates functional testing in ...
详细信息
This paper investigates the analysis of concurrent OO designs using a formal, executable specification technique called G-Net. After presenting an overview of the G-Net technique, we show how to use the G-Net notation...
详细信息
This paper investigates the analysis of concurrent OO designs using a formal, executable specification technique called G-Net. After presenting an overview of the G-Net technique, we show how to use the G-Net notation to specify the concurrent OO systems. A formal transformation technique, which translates a G-Net specification to a semantically equivalent PrT-net, is presented. The resultant PrT-net can then be formally analyzed. The practical significance of this approach in fault-tolerant systems and distributed multimedia systems design is discussed.
Recent research results in softwareengineering have shown that the process of formalizing and automating software specification activity is moving towards knowledge-based specification systems. In this paper, we pres...
详细信息
Recent research results in softwareengineering have shown that the process of formalizing and automating software specification activity is moving towards knowledge-based specification systems. In this paper, we present a modeling approach and a knowledge-based system that assist in the requirement acquisition and the development as well as the maintenance of software system specifications.
This paper describes the approach to representation and presentation of knowledge used in ARIES, an environment to experiment with support for analysts in modeling target domains and in entering and formalizing system...
详细信息
This paper describes the approach to representation and presentation of knowledge used in ARIES, an environment to experiment with support for analysts in modeling target domains and in entering and formalizing system requirements. To effectively do this, ARIES must manage a variety of notations so that analysts can enter information in a natural manner, and ARIES can present it back in different notations and from different viewpoints. To provide this functionality we use a single, highly expressive, internal representation for all information in the system. Our system architecture separates representation and presentation, in order to localize consistency and propagation issues. The presentation architecture is tailored to be flexible enough so that we can easily introduce new notations on top of the underlying representation. We have coupled presentation knowledge to specification evolution knowledge, thereby leveraging common representations for both in order to provide automated focusing support to users who need informative guidance in creating and modifying specifications.
DAIDA is an experimental environment for the knowledge-assisted development and maintenance of database-intensive information systems from object-oriented requirements and specifications. Within the DAIDA framework, t...
详细信息
DAIDA is an experimental environment for the knowledge-assisted development and maintenance of database-intensive information systems from object-oriented requirements and specifications. Within the DAIDA framework, the CoNeX project has developed an approach to integrate different tasks encountered in software projects via a conceptual modeling strategy. Emphasis is put on integrating the semantics of the software development domain with aspects of group work, on social strategies to negotiate problems by argumentation, and on assigning responsibilities for task fulfillment by way of contracting. The implementation of a CoNeX prototype is demonstrated with a sample session.
This paper describes efforts to develop a transformation-basedsoftware environment that supports the acquisition and validation of software requirements specifications. These requirements may be stated informally at ...
详细信息
暂无评论