Articles liés à A Practical Theory of Reactive Systems: Incremental...
A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 48,37
EUR 7,67 expédition vers Etats-Unis
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour A Practical Theory of Reactive Systems: Incremental...
Image d'archives
A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors (Texts in Theoretical Computer Science. An EATCS Series)
Vendeur : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. SUPER FAST SHIPPING. N° de réf. du vendeur 9783642062377
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 11873161-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors (Texts in Theoretical Computer Science. An EATCS Series)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020215423
Quantité disponible : Plus de 20 disponibles
Image d'archives
A Practical Theory of Reactive Systems (Paperback)
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10 : 3642062377
ISBN 13 : 9783642062377
Neuf
Paperback
Edition originale
Vendeur : Grand Eagle Retail, Mason, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. This book presents a "practical theory" of reactive systems, with formal foundations in Temporal Logic of Actions. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783642062377
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors
Edité par
Springer, 2010
ISBN 10 : 3642062377
ISBN 13 : 9783642062377
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 11873161
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
A Practical Theory of Reactive Systems
Edité par
Springer Berlin Heidelberg Okt 2010, 2010
ISBN 10 : 3642062377
ISBN 13 : 9783642062377
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, 1 Corinthians 8:2) Calling this a 'practical theory' may require some explanation. 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'. In applied mathematics the goal is to discover useful connections between these two worlds. My thesis is that in software engineering this two-world view is inadequate, and a more intimate interplay is required between theory and practice. That is, both theoretical and practical components should be integrated into a practical theory. It should beclearfrom theabovethattheintended readership of this book is not theoreticians. They would probably have di culties in appreciating a book on theory where the presentation does not proceed in a logical sequence from basic de nitions to theorems and mathematical proofs, followed by - plication examples. In fact, all this would not constitute what I understand by a practical theory in this context. 444 pp. Englisch. N° de réf. du vendeur 9783642062377
Quantité disponible : 2 disponible(s)
Image d'archives
Practical Theory of Reactive Systems
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
ISBN 10 : 3642062377
ISBN 13 : 9783642062377
Neuf
Couverture souple
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 420 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 676. . 2010. Softcover reprint of hardcover 1st ed. 2005. Paperback. . . . . N° de réf. du vendeur V9783642062377
Quantité disponible : 15 disponible(s)
Image d'archives
A Practical Theory of Reactive Systems
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 444. N° de réf. du vendeur 262142893
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors
Edité par
Springer, 2010
ISBN 10 : 3642062377
ISBN 13 : 9783642062377
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 11873161
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 11873161-n
Quantité disponible : Plus de 20 disponibles