Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Interactive Tool for Refining Software Specifications from a Formal Domain Model

Name: Interactive Tool for Refining Software Specifications from a Formal Domain Model
Brand: Biblioscholar
SKU: 08141905
Price: 58.29 EUR
Availability: InStock
Author: Dr Gary L (New York University) Anderson
ISBN: 9781249586197

Dr Gary L (New York University) Anderson

Language

English

Book Paperback

Libristo code: 08141905

Publishers Biblioscholar, October 2012

This work examines the process for refining a software specification from a formal object-oriented d... Full description

Libristo code: 08141905

143 b

58.29 € VAT included

In stock at our supplier Shipping in 9-15 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

L'administration De La République Edgar Monteil

Paperback

25.89 €

Computational Modeling and Simulation of Advanced Wireless Communication Systems Mohammad Hammoudeh

Hardback

265.20 €

Aleksander Pitjusjkin - Rysslands varsta mordare? Orage

MP3

3.29 €

Les fantômes de l'opéra Pog

Book

21.19 €

Cruel Boss Liz Rosen

Paperback

15.99 €

Коти Katten Cats Selby Gunter

Paperback

11.59 €

Maravento Henrique German

Paperback

28.29 €

Grandes décisions de la jurisprudence administrative lyonnaise Testard

Paperback

51.19 €

Sebzeler - Bebek Kitaplari Emilie Beaumont

Paperback

12.69 €

Ragioni Del Comm. Ignazio Florio Contro Il Cav. Giuseppe Pedrazzini (1884) Francesco Crispi

Paperback

19.99 €

Bibliographie Friedrich der Grosse 1786-1986 Herzeleide Henning

Hardback

309.69 €

Yo Poeta Toribio Alejandro Acosta Leyva

Paperback

10.49 €

Príď a uzdrav nás! Imrich Degro

Hardback

8.89 €

Okolice Wrocławia cz. północna, 1:100 000

Map

3.19 €

Mor Prenses Maceraya Atiliyor Alyssa Crowne

Paperback

12.69 €

System Of A Down/Steal This Album! System Of A Down

Audio CD

17.49 €

Triunfar En Tiempos Dificiles Pilar Belles Pitarch

Paperback

16.39 €

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.