Andere Kunden interessierten sich auch für
![Software Domain Model Integration Methodology for Formal Specifications]( "Software Domain Model Integration Methodology for Formal Specifications")
Software Domain Model Integration Methodology for Formal Specifications63,99 €![An Automated Method for Identifying Inconsistencies within Diagrammatic Software Requirements Specifications]( "An Automated Method for Identifying Inconsistencies within Diagrammatic Software Requirements Specifications")
An Automated Method for Identifying Inconsistencies within Diagrammatic Software Requirements Specifications64,99 €![A Value Focused Thinking Approach to Software Interface in a Complex Analytical Domain]( "A Value Focused Thinking Approach to Software Interface in a Complex Analytical Domain")
A Value Focused Thinking Approach to Software Interface in a Complex Analytical Domain63,99 €![Process for Refining and Validating a Finite Element Model of an Experimental High-Altitude, Long-Endurance (Hale) Aircraft]( "Process for Refining and Validating a Finite Element Model of an Experimental High-Altitude, Long-Endurance (Hale) Aircraft")
Process for Refining and Validating a Finite Element Model of an Experimental High-Altitude, Long-Endurance (Hale) Aircraft64,99 €![Consistency Properties for Growth Model Parameters Under an Infill Asymptotics Domain]( "Consistency Properties for Growth Model Parameters Under an Infill Asymptotics Domain")
Consistency Properties for Growth Model Parameters Under an Infill Asymptotics Domain64,99 €![Formal Mitigation Strategies for the Insider Threat: A Security Model and Risk Analysis Framework]( "Formal Mitigation Strategies for the Insider Threat: A Security Model and Risk Analysis Framework")
Formal Mitigation Strategies for the Insider Threat: A Security Model and Risk Analysis Framework63,99 €![Transforming the Self-Development Domain for a 21st Century Army]( "Transforming the Self-Development Domain for a 21st Century Army")
Transforming the Self-Development Domain for a 21st Century Army63,99 €
This work examines the process for refining a software specification from a formal object-oriented domain model. This process was implemented with interactive software to demonstrate the feasibility and benefits of automating what has been a tedious and often error-prone manual task. The refinement process operates within the framework of a larger Knowledge-Based Software Engineering system. A generic object-oriented representation is used to store a domain model, which allows the specification tool to access, select, and manipulate the required objects to form a customized specification. The specification is also stored as an object-oriented model, which in turn can be accessed by a design tool to transform the specification into source code. The tool has been designed as an interactive program that helps guide the user through the process of building the specification. The tool has been named the Elicitor-Harvester because of the functions it performs. It elicits application requirements from the user and harvests pre-existing knowledge from the formal domain.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.