A specification framework for supplementing Structured Analysis (SA) process and data specification tools with predicative specifications is described. The framework includes composition operators, which a specifier c...
详细信息
A specification framework for supplementing Structured Analysis (SA) process and data specification tools with predicative specifications is described. The framework includes composition operators, which a specifier can use to build specifications of large structures from specifications of their substructures, and is supported by consistency notions which support internal consistency checks and semantic decomposition of process models.
This paper deals with the production from code of data flow diagrams that can represent Real Time software systems and ensure consistency with code. The authors firstly define and illustrate some models representing t...
详细信息
This paper deals with the production from code of data flow diagrams that can represent Real Time software systems and ensure consistency with code. The authors firstly define and illustrate some models representing the task structure of a software system, the parallelism and concurrency between tasks and the related dataflow, and then introduce the rewriting rules that allow one model to be obtained from another. Finally, the authors describe a prototype tool that has been set up at DIS (Dipartimento di Informatica e Sistemistica) at the University of Naples for generating these models and their graphic representation from ADA code using Reverse Engineering techniques. The graphs produced by the tool can be utilized in the maintenance and reuse of existing Real Time software and to check consistency between design and code.
Escalating manpower costs in developing systems have caused an increasing need for greater productivity in system development. This is particularly true in the analysis and design phases. Productivity in the system an...
详细信息
Escalating manpower costs in developing systems have caused an increasing need for greater productivity in system development. This is particularly true in the analysis and design phases. Productivity in the system analysis phase can be increased with the use of computer-aided tools. For example, a structured analysis and documentation tool-the dataflow diagram-allows an analyst to model and document a syste with relative ease. However, the manual production of a dataflow diagram is a time consuming process. Combining the production of data flow diagrams with SPSL/SPSA, a system for specifying system requirements produces a synergistic effect on increases in productivity. As well, it ensures the use of standards and the completeness of the diagram. This paper formulates the criteria for drawing data flow diagrams and describes the placement and routing algorithms used in a system called MONDRIAN. A generalized approach to the question of software diagrams is then proposed based on our experience with MONDRIAN and a metasystem approach to the creation of CASE environments. A formal approach to the definition of software objects and their graphical representation is given. Finally, the use of location constraints as a basis for generalized layout algorithms is discussed.
The research reported in this thesis is an extension and application of the results first introduced by the Procedural Approach to the Evaluation of Software Development Methodologies. The evaluation procedure offers ...
详细信息
The research reported in this thesis is an extension and application of the results first introduced by the Procedural Approach to the Evaluation of Software Development Methodologies. The evaluation procedure offers a unique perspective based on the philosophy that a software development methodology should espouse a set of objectives that are achieved by employing certain U principles throughout the software development process, such that the products generated possess certain attributes deemed desirable. Further, definite linkages exist between objectives and principles, and principles and attributes.
The work described herein adopts the perspective offered by the evaluation procedure and applies a critical analysis to the process-product relationships in DoD-STD-2l67 and DoD-STD-2l68. In support of the analysis, Augmented data flow diagrams are introduced as an effective tool for concisely capturing the information in both standards. The results of the analysis offer a deeper insight into the requirements for defense system software development, such that one is able to better understand the development process, and more intelligently assess the quality of the software and documentation produced.
In developing information systems, analysts must communicate their knowledge of the business problem to the user and must specify the proposed system to the designer. Over the years, different kinds of flow charts ha...
详细信息
In developing information systems, analysts must communicate their knowledge of the business problem to the user and must specify the proposed system to the designer. Over the years, different kinds of flow charts have been employed to convey this information. flow charts were originally developed when most programs either made scientific computations or processed transactions. Recently, data flow diagrams have been used to document the analysis phase. However, neither type of flow diagram is well-suited to the development of interactive systems. A feature chart, which is a synthesis of the ROMC model and structured analysis, is offered here as a graphic tool for analysis and communication. It serves the purpose of analysis in that tasks are defined and user interfaces demonstrated. It also shows the controls available to the user and ways the user can navigate through the system. The feature chart is discussed for: 1. a geographic decision support system, and 2. a financial application using a generator.
This paper describes a portable software tool used for the processing and maintenance of data flow diagrams which form the basis of structured analysis techniques. The tool itself is based on the idea that dataflow d...
详细信息
This paper describes a portable software tool used for the processing and maintenance of data flow diagrams which form the basis of structured analysis techniques. The tool itself is based on the idea that data flow diagrams can be modelled by means of semantic nets and can be manipulated by a semantic net processor. A major feature of the tool is the facilities it provides for the maintenance programmer.
Attention is focused on the use of structured analysis just prior to system acceptance testing by a company that wished to test, at a system level, 5 subsystems. Specifically, the drawing of data flow diagrams (DFD) w...
详细信息
Attention is focused on the use of structured analysis just prior to system acceptance testing by a company that wished to test, at a system level, 5 subsystems. Specifically, the drawing of data flow diagrams (DFD) was performed after integration testing. The DFDs offered a picture of the logical flow through the integrated system for thorough system acceptance testing. System test sets were derived from the flows in the DFDs, and system test repeatability was improved by the matrix that flowed from the test sets. The key to successful testing of the Integrated Business System was tracing each process (function) in the DFDs to determine what sequence to test.
暂无评论