The concept of relationship scope is a valuable modelling concept with a variety of applications. A particular relationships' scope expresses a constraint upon the entities which may validly be linked together by ...
详细信息
ISBN:
(纸本)0818678402
The concept of relationship scope is a valuable modelling concept with a variety of applications. A particular relationships' scope expresses a constraint upon the entities which may validly be linked together by an instance of the relationship. The scoping of relationships has application to validation of reference relationships, imposing semantics upon the data not otherwise expressible directly by the data model. It can be applied to enrich the concept of composite entities. It can define the constraints necessary to direct relational table generation from entity and object oriented data models. It is one of a range of techniques contributing to our meta-CASE programme of managing the complexity of CASE tools by capturing as many aspects as possible through generic functionality parameterised for specific instances by values captured declaratively.
A description is given of how it would be possible to use the Yourdon structured method (YSM) and the Vienna development method (VDM) together during the system lifecycle, and the advantages of this approach. The YSM ...
详细信息
A description is given of how it would be possible to use the Yourdon structured method (YSM) and the Vienna development method (VDM) together during the system lifecycle, and the advantages of this approach. The YSM is a graphical method while VDM is a mathematical method. Overviews of each method are presented, together with an explanation of how they can be used together.< >
The author illustrates how users of the ObjEx-Malpas tool-set combination are capturing user-requirements in a formal machine executable specification. It is this executability that allows the animation of specificati...
详细信息
The author illustrates how users of the ObjEx-Malpas tool-set combination are capturing user-requirements in a formal machine executable specification. It is this executability that allows the animation of specifications, thereby enabling users actually to see what is being proposed, so giving both the specifier and the user confidence in the validity of the proposed end system.< >
The reliability of computer based design and, adequate and continuous validation of the design at every level are discussed. A general rule must be that a synthesized design is not better and generally worse that the ...
详细信息
The reliability of computer based design and, adequate and continuous validation of the design at every level are discussed. A general rule must be that a synthesized design is not better and generally worse that the tools that were used to create it. It is therefore necessary that the user should know the work done by software, approximations made by it and the limits of its application. The software must have tutorial value so that the user is able to learn his own design process.
The utilisation of CASE tools in the design of real-time control systems improved the speed of analysis and design and gave greater flexibility in building model diagrams and testing. The author considers both its adv...
详细信息
The utilisation of CASE tools in the design of real-time control systems improved the speed of analysis and design and gave greater flexibility in building model diagrams and testing. The author considers both its advantages and problems.< >
CASE (computeraidedsoftwareengineering) tools for the software design and implementation phases are intended to shorten the software life cycle and to increase the quality of the resulting products. One way to achi...
详细信息
CASE (computeraidedsoftwareengineering) tools for the software design and implementation phases are intended to shorten the software life cycle and to increase the quality of the resulting products. One way to achieve this goal is to bridge the gap between design and implementation phase by automating the transition form design to code. This paper presents the complete program generation approach of HCDM/GSDS and compares it with other approaches. Arguments for the complete generation approach are outlined. Some unsolved technical problems with that approach are discussed based on the practical experience of the application of HCDM/GSDS methods and tools.
The production of highly reliable engineeringsoftware using CASE needs some specific techniques which are not in common use in conventional software development. The authors look briefly at some of these techniques a...
详细信息
The production of highly reliable engineeringsoftware using CASE needs some specific techniques which are not in common use in conventional software development. The authors look briefly at some of these techniques and the automated tools needed to support them. These techniques on their own are not sufficient, however: all the usual issues of project planning, coordination, configuration management, quality assurance and so on must also be properly handled, to create an environment in which misunderstandings and mistakes are avoided and faults can be detected. The discussion of these issues is based on experience of auditing a commercial project in which many problems arose in introducing CASE. Automated tools are needed for developing highly reliable software and the authors highlight some of the pitfalls which must be avoided if their use is to be successful.< >
VHDL (Very high speed integrated circuit hardware description language) was standardized as a specification language in February 1986 for the specification of military systems. Since then, it has undergone two major r...
详细信息
VHDL (Very high speed integrated circuit hardware description language) was standardized as a specification language in February 1986 for the specification of military systems. Since then, it has undergone two major revisions by the ieeE. This paper describes the use of VHDL in the design of a transputer Global Link Adapter and the processes taken to produce a final Xilinx FPGA (field programmable gate array) using Viewlogic. Also discussed are synthesis tools being developed and those currently in use for design synthesis.
GAMBITS (Graphical Approach to Modeling and Building Interactively a Technical System) provides support for the progressive realization and traceability of functional and non-functional requirements from initial conce...
详细信息
GAMBITS (Graphical Approach to Modeling and Building Interactively a Technical System) provides support for the progressive realization and traceability of functional and non-functional requirements from initial conception through implementation and maintenance. It permits successive modification through progressive transformation of an implementation independent specification to partial or full realization of a local or distributed system. The method allows substantial verification of an implementation through traceability links that can map each component of a requirement to the design and the subsequent implementation in a procedural or object-oriented application.
暂无评论