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.
General
Imprint: |
Biblioscholar
|
Country of origin: |
United States |
Release date: |
October 2012 |
First published: |
October 2012 |
Authors: |
Gary L. Anderson
|
Dimensions: |
246 x 189 x 7mm (L x W x T) |
Format: |
Paperback - Trade
|
Pages: |
126 |
ISBN-13: |
978-1-249-58619-7 |
Categories: |
Books >
Social sciences >
Education >
General
|
LSN: |
1-249-58619-4 |
Barcode: |
9781249586197 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!