Skip to content

A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic
Stock Photo: Cover May Be Different

A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors Hardback - 2005

by Reino Kurki-Suonio

  • New
  • Hardcover

Description

Hardback. New. Theory and practice are often thought of as two di?erent worlds, governed bydi?erentideals,principles, andlaws.DavidLorgeParnas, forinstance,who hascontributedmuchtoourtheoreticalunderstandingofsoftwareengineering and also to sound use of theory in the practice of it, likes to point out that 'theoretically' is synonymous to 'not really'.
New
NZ$125.27
NZ$20.87 Shipping to USA
Standard delivery: 14 to 21 days
More Shipping Options
Ships from The Saint Bookstore (Merseyside, United Kingdom)

About The Saint Bookstore Merseyside, United Kingdom

Biblio member since 2018
Seller rating: This seller has earned a 5 of 5 Stars rating from Biblio customers.

The Saint Bookstore specialises in hard to find titles & also offers delivery worldwide for reasonable rates.

Terms of Sale: Refunds or Returns: A full refund of the price paid will be given if returned within 30 days in undamaged condition. If the product is faulty, we may send a replacement.

Browse books from The Saint Bookstore

Details

  • Title A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors
  • Author Reino Kurki-Suonio
  • Binding Hardback
  • Edition Us Edition
  • Condition New
  • Pages 420
  • Volumes 1
  • Language ENG
  • Publisher Springer, Germany
  • Date 2005-02-17
  • Features Bibliography, Index, Table of Contents
  • Bookseller's Inventory # B9783540233428
  • ISBN 9783540233428 / 3540233423
  • Weight 1.7 lbs (0.77 kg)
  • Dimensions 9.38 x 6.54 x 1.23 in (23.83 x 16.61 x 3.12 cm)
  • Dewey Decimal Code 005.1

From the publisher

This book presents a practical theory of reactive systems. The theory supports incremental development of operational, object-oriented models in steps that preserve already established properties. Models are given in an action-oriented language, and their modularity relates to aspects in aspect-oriented programming. The emphasis is on theoretical understanding of reactive behaviors and on using horizontal modularity to manage their complexity. Special chapters are devoted to the applicability of the theory to distributed and real-time systems. Incremental specification is illustrated in the book by a number of examples of varying size and complexity.

About the author

Reino Kurki-Suonio has a PhD in mathematics from the University of Helsinki. He entered the field of computing in 1960. In 1965 he moved from industry to the University of Tampere to start the first computer science department in Finland. In 1980 he was invited to develop education in information technology at Tampere University of Technology, where he currently serves as professor emeritus at the Institute of Software Systems. During his career he has held visiting positions at Carnegie Mellon and Stanford Universities, and has served as the Chair of IFIP Technical Committee on Software, Theory and Practice.