Contact
Hoe winkelen bij ons werkt
Bezorging
Winkelgids
Interactive Tool for Refining Software Specifications from a Formal Domain Model
Engels
136 b
Tot 30 dagen retourrecht
Klanten kochten ook
/
Gebonden (harde band)
234.69
€
/
Gebonden (paperback)
49.60
€
/
Gebonden (paperback)
19.29
€
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.
Informatie over het boek
Engels
Categorieën
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvangerDit vind je misschien ook interessant
/
Gebonden (paperback)
15.65
€
/
Gebonden (harde band)
157.80
€
/
Gebonden (paperback)
38.18
€
/
Gebonden (paperback)
24.74
€
Hoi! Ik ben Libroamiko, je boekadviseur.
Hoe kan ik je helpen?