Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

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

Lingua

Inglese

Libro In brossura

Codice Libristo: 08141905

Casa editrice Biblioscholar, ottobre 2012

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

Codice Libristo: 08141905

143 b

58.29 €

Magazzino esterno Inviamo tra 14-21 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

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

In brossura

60.59 €

Maravento Henrique German

In brossura

28.29 €

Коти Katten Cats Selby Gunter

In brossura

11.59 €

Cruel Boss Liz Rosen

In brossura

15.09 €

Les fantômes de l'opéra Pog

Libro

21.19 €

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

In brossura

25.49 €

Aleksander Pitjusjkin - Rysslands varsta mordare? Orage

MP3

3.39 €

Computational Modeling and Simulation of Advanced Wireless Communication Systems Mohammad Hammoudeh

Rigido

242.59 €

Grandes décisions de la jurisprudence administrative lyonnaise Testard

In brossura

51.29 €

Sebzeler - Bebek Kitaplari Emilie Beaumont

In brossura

12.69 €

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

In brossura

19.99 €

L'administration De La République Edgar Monteil

In brossura

25.89 €

Yo Poeta Toribio Alejandro Acosta Leyva

In brossura

10.49 €

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

Mappa

3.19 €

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

CD audio

17.49 €

Triunfar En Tiempos Dificiles Pilar Belles Pitarch

In brossura

16.39 €

Mor Prenses Maceraya Atiliyor Alyssa Crowne

In brossura

12.69 €

Bibliographie Friedrich der Grosse 1786-1986 Herzeleide Henning

Rigido

309.69 €

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.