Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

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

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 08141905

Editores Biblioscholar, octubre 2012

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

Código Libristo: 08141905

143 b

58.29 €

Almacenamiento externo Envío en 14-21 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Aleksander Pitjusjkin - Rysslands varsta mordare? Orage

MP3

3.39 €

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

Tapa blanda

26.89 €

Computational Modeling and Simulation of Advanced Wireless Communication Systems Mohammad Hammoudeh

Tapa dura

252.29 €

Les fantômes de l'opéra Pog

Libro

20.29 €

Cruel Boss Liz Rosen

Tapa blanda

15.99 €

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

Tapa blanda

63.89 €

Коти Katten Cats Selby Gunter

Tapa blanda

11.59 €

Maravento Henrique German

Tapa blanda

29.89 €

Grandes décisions de la jurisprudence administrative lyonnaise Testard

Tapa blanda

49.59 €

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

Tapa dura

15.19 €

Zack! M?riam Ben-Arab

Tapa dura

14.99 €

Sebzeler - Bebek Kitaplari Emilie Beaumont

Tapa blanda

13.29 €

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

Tapa blanda

19.99 €

L'administration De La République Edgar Monteil

Tapa blanda

25.89 €

Obrazový knihopis českých erotic Jan Hýsek

Tapa dura

17.49 €

Yo Poeta Toribio Alejandro Acosta Leyva

Tapa blanda

10.49 €

Príď a uzdrav nás! Imrich Degro

Tapa dura

9.09 €

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

Mapa

3.09 €

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

CD de audio

18.29 €

Mor Prenses Maceraya Atiliyor Alyssa Crowne

Tapa blanda

13.29 €

Bibliographie Friedrich der Grosse 1786-1986 Herzeleide Henning

Tapa dura

325.09 €

Triunfar En Tiempos Dificiles Pilar Belles Pitarch

Tapa blanda

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.