Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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: 21396 HUF
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

147 b

21 396 Ft

In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

Comportamento, sviluppo e cultura: analisi del contesto Ana Lucia Barreto da Fonseca

Paperback

22 344 Ft

Maravento Henrique German

Paperback

10 447 Ft

Коти Katten Cats Selby Gunter

Paperback

4 289 Ft

Cruel Boss Liz Rosen

Paperback

5 592 Ft

Les fantômes de l'opéra Pog

Book

7 253 Ft

Манга. Полный курс по рисованию персонажей С. Горел

Paperback

8 611 Ft

Aleksander Pitjusjkin - Rysslands varsta mordare? Orage

MP3

1 123 Ft

Computational Modeling and Simulation of Advanced Wireless Communication Systems Mohammad Hammoudeh

Hardback

88 866 Ft

Grandes décisions de la jurisprudence administrative lyonnaise Testard

Paperback

17 558 Ft

Sebzeler - Bebek Kitaplari Emilie Beaumont

Paperback

4 657 Ft

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

Paperback

7 354 Ft

L'administration De La République Edgar Monteil

Paperback

9 531 Ft

Yo Poeta Toribio Alejandro Acosta Leyva

Paperback

3 852 Ft

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

Map

1 095 Ft

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

Audio CD

6 434 Ft

Triunfar En Tiempos Dificiles Pilar Belles Pitarch

Paperback

6 011 Ft

Mor Prenses Maceraya Atiliyor Alyssa Crowne

Paperback

4 657 Ft

Bibliographie Friedrich der Grosse 1786-1986 Herzeleide Henning

Hardback

113 907 Ft

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.