Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

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: 56.15 EUR
Availability: InStock
Author: Dr Gary L (New York University) Anderson
ISBN: 9781249586197

Dr Gary L (New York University) Anderson

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 08141905

Nakladnici Biblioscholar, listopad 2012

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

Libristo kod: 08141905

136 b

56.15 €

Vanjske zalihe Šaljemo za 14-21 dana

Do 30 dana za povrat

Kupci su kupili i

Computational Modeling and Simulation of Advanced Wireless Communication Systems Mohammad Hammoudeh

Tvrdi uvez

244.03 €

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

Meki uvez

23.02 €

Les fantômes de l'opéra Pog

Knjiga

19.38 €

Cruel Boss Liz Rosen

Meki uvez

14.43 €

Коти Katten Cats Selby Gunter

Meki uvez

11.20 €

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

Meki uvez

57.77 €

Maravento Henrique German

Meki uvez

26.96 €

Grandes décisions de la jurisprudence administrative lyonnaise Testard

Meki uvez

47.16 €

Stručné odpovědi na velké otázky Stephen Hawking

Tvrdi uvez

13.53 €

Zack! M?riam Ben-Arab

Tvrdi uvez

13.53 €

Sebzeler - Bebek Kitaplari Emilie Beaumont

Meki uvez

12.11 €

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

Meki uvez

19.28 €

L'administration De La République Edgar Monteil

Meki uvez

25.04 €

Yo Poeta Toribio Alejandro Acosta Leyva

Meki uvez

10.09 €

Príď a uzdrav nás! Imrich Degro

Tvrdi uvez

8.07 €

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

Mapa

2.92 €

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

Audio CD

16.76 €

Triunfar En Tiempos Dificiles Pilar Belles Pitarch

Meki uvez

15.75 €

Mor Prenses Maceraya Atiliyor Alyssa Crowne

Meki uvez

12.11 €

Bibliographie Friedrich der Grosse 1786-1986 Herzeleide Henning

Tvrdi uvez

297.16 €

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.