Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Specification Case Studies in RAISE

Name: Specification Case Studies in RAISE
Brand: Springer London Ltd
SKU: 01435212
Price: 38436 HUF
Availability: InStock
Author: Hung Dang Van
ISBN: 9781852333591

Hung Dang Van

Chris George

Tomasz Janowski

Language

English

Book Paperback

Libristo code: 01435212

Publishers Springer London Ltd, February 2002

This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software E... Full description

Libristo code: 01435212

265 b

38 436 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Preventive Cardiology and Rehabilitation Russo Nicola

Paperback

8 225 Ft

Yoga : Anatomie et mouvements 3ème édition Kaminoff

Paperback

12 861 Ft

Ein Taxi zur Bescherung Claudia Matschulla und Arnd Mayer

DVD

6 503 Ft

Reise nach Mar del Plata

Hardback

5 110 Ft

Kľúč do sveta chorváčtina Petra Austová

Hardback

1 174 Ft

I Love to Brush My Teeth (Danish English Bilingual Bilingual Book for Kids) Kidkiddos Books

Paperback

6 257 Ft

WELCOME TO THE MAGIC WORLD OF CAPTAIN SAMOURAI FLO --- CHANT, GUITARE OU PIANO OBISPO PASCAL Book

binding.

8 184 Ft

Švábik. Prvé hry s rúčkou Barbora Kováčová

Paperback

2 041 Ft

La ciencia humilde : economía para ciudadanos Alfredo Pastor

Paperback

8 225 Ft

Die Schlager Des Jahres 1940 Various

Audio CD

5 215 Ft

Sozialkritik und Darstellung des Vierten Standes im "Woyzeck" Maik Bubenzer

Paperback

9 600 Ft

Finsteres Glück Lukas Hartmann

Paperback

4 864 Ft

Place de la Bastille Leon de Winter

Paperback

4 864 Ft

Lambacher Schweizer Mathematik Analysis Grundkurs, m. 1 CD-ROM Hans Freudigmann

Hardback

15 048 Ft

Sebevražda Daniel Pískovský

Hardback

2 475 Ft

Jeho temná magie Roger Zelazny

Paperback

2 736 Ft

This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications. The case studies cover a wide range of application areas including government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, component-based software design and natural resource management. By illustrating the variety of uses of formal specifications, the case studies also raise questions about the creation, purpose and scope of formal models before they are built. The complete specifications for all of the case studies and the RAISE tools (both source code and executables) used to process them are available at: http://www.iist.unu.edu/RAISE_Case_Studies/ This book will be of particular interest to software engineers, especially those responsible for the initial stages of requirements engineering and software architecture and design. It will also be of inte rest to academics and students on advanced formal methods courses.