Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

An Interactive Tool for Refining Software Specifications from a Formal Domain Model

by Gary L. Anderson
Save 14% Save 14%
Current price ₹5,112.00
Original price ₹5,974.00
Original price ₹5,974.00
Original price ₹5,974.00
(-14%)
₹5,112.00
Current price ₹5,112.00

Imported Edition - Ships in 18-21 Days

Free Shipping in India on orders above Rs. 500

Request Bulk Quantity Quote
+91
Book cover type: Paperback
  • ISBN13: 9781249586197
  • Binding: Paperback
  • Subject: N/A
  • Publisher: Biblioscholar
  • Publisher Imprint: Biblioscholar
  • Publication Date:
  • Pages: 126
  • Original Price: GBP 45.95
  • Language: English
  • Edition: N/A
  • Item Weight: 241 grams
  • BISAC Subject(s): General

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.

Trusted for over 49 years

Family Owned Company

Secure Payment

All Major Credit Cards/Debit Cards/UPI & More Accepted

New & Authentic Products

India's Largest Distributor

Need Support?

Whatsapp Us