Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

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

Dr Gary L (New York University) Anderson

Língua

Inglês

Livro Capa mole

Código Libristo: 08141905

Editoras Biblioscholar, outubro 2012

This work examines the process for refining a software specification from a formal object-oriented d... Descrição completa

Código Libristo: 08141905

123 b

50.71 €

Armazenamento externo Envio em 9-15 dias

Até 30 dias para devoluções

Os clientes também compraram

L'administration De La République Edgar Monteil

Capa mole

21.31 €

Computational Modeling and Simulation of Advanced Wireless Communication Systems Mohammad Hammoudeh

Livro de capa dura

213.98 €

Aleksander Pitjusjkin - Rysslands varsta mordare? Orage

MP3

2.62 €

Les fantômes de l'opéra Pog

Livro

17.87 €

Cruel Boss Liz Rosen

Capa mole

13.53 €

Коти Katten Cats Selby Gunter

Capa mole

10.09 €

Maravento Henrique German

Capa mole

30.47 €

Grandes décisions de la jurisprudence administrative lyonnaise Testard

Capa mole

43.13 €

Sebzeler - Bebek Kitaplari Emilie Beaumont

Capa mole

11.51 €

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

Capa mole

16.46 €

Bibliographie Friedrich der Grosse 1786-1986 Herzeleide Henning

Livro de capa dura

281.67 €

Yo Poeta Toribio Alejandro Acosta Leyva

Capa mole

8.58 €

Príď a uzdrav nás! Imrich Degro

Livro de capa dura

7.47 €

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

Mapa

2.52 €

Mor Prenses Maceraya Atiliyor Alyssa Crowne

Capa mole

11.51 €

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

CD de áudio

16.05 €

Triunfar En Tiempos Dificiles Pilar Belles Pitarch

Capa mole

14.24 €

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.