Articles liés à Program Design Calculi
Synopsis
The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by now that more complex software systems cannot and should not be constructed in one step. A careful, systematic, and disciplined structuring of the development process is most adequate. It should start from basic requirement specifications in which aU the relevant details of the problem to be solved are formalized. The envisaged solution should be developed step by step by adding more and more details and giving evidence-in the best case by formal proof-to show the correctness of the developed steps. The development ends if a description of a solution is obtained that has aU the required properties. The Summer School in Marktoberdorf 1992 showed significant approaches in this area to refinement calculi, to models of computation, and as a special issue to the treatment of reactive timed systems. Like in the many summer schools before, the success of the 1992 Summer School was not only due to the excellent lectures, but even more due to the brilliant students taking part in the discussions at the summer school, the exchange of different views, and the recognition of the similarity of a number of different view points. These were some of the most important contributions of the summer school. fu the following the proceedings of the summer school are collected. They show the maturity of the field in an impressive way.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 205,13
EUR 2,27 expédition vers Etats-Unis
Destinations, frais et délais
Résultats de recherche pour Program Design Calculi
Image d'archives
Program Design Calculi
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1993
ISBN 10 : 354056943X
ISBN 13 : 9783540569435
Ancien ou d'occasion
Couverture rigide
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur D-484-819
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Program Design Calculi: Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Held in Marktoberdorf, Germany, July 28-August 9, 1992 (Nato ASI Subseries F: (118)).
Edité par
Springer, 1993
ISBN 10 : 354056943X
ISBN 13 : 9783540569435
Ancien ou d'occasion
Couverture rigide
Vendeur : Wissenschaftl. Antiquariat Th. Haker e.K, Klettgau, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. orig. 1993 ed. 424 p. In very good condition. ISBN: 9783540569435 Sprache: Englisch Gewicht in Gramm: 675 15,6 x 2,4 x 23,4 cm, hardcover. N° de réf. du vendeur 59722
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Program Design Calculi
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 5906169-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Program Design Calculi (Hardcover)
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1993
ISBN 10 : 354056943X
ISBN 13 : 9783540569435
Neuf
Couverture rigide
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : new. Hardcover. The development of information processing systems requiresmodels, calculi, and theories for the analysis ofcomputations. Complex software systems are best constructedin a careful, systematic, and disciplined structuring of thedevelopment process. Starting from basic requirementspecifications in which all the relevant details areformalized, the envisaged solution should be developed stepby step by adding more and more details and giving evidenceor formal proofs to show the correctness of the steps, untila description of a solution is obtained that has all therequired properties. The Marktoberdorf Advanced Study Institute 1992 presentedscientific highlights in approaches to the systematic studyofreliable software and hardware systems using functional, algebraic, and logical calculi. Leading scientists treatedthe specification, development, verification, andimplementation of complex time-sensitive systems, such assignal processing systems, process control systems, andgeneral software systems. The mathematical foundations ofspecification and refinement were carefully treated, andseveral formalisms for describing processes were introduced.Emphasis was put on application-oriented descriptionsof signal processing systems with real-time dependencies. Formalisms for reasoning about distributed causality-basedcomputations were presented and new styles of programmingleading to shorter and more expressive notations weredemonstrated. This book is based on the Institute, and gives an impressivedemonstration of the state of the art and the essentialprogress in our formal abilities to specify, refine, verify, develop, and implement complex software systems includingembedded systems and hard real-time dependent systems. Like in the many summer schools before, the success of the 1992 Summer School was not only due to the excellent lectures, but even more due to the brilliant students taking part in the discussions at the summer school, the exchange of different views, and the recognition of the similarity of a number of different view points. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783540569435
Quantité disponible : 1 disponible(s)
Image d'archives
Program Design Calculi (NATO ASI Subseries F:, 118)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020170922
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Program Design Calculi
Edité par
Springer Berlin Heidelberg, 1993
ISBN 10 : 354056943X
ISBN 13 : 9783540569435
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Proceedings of the NATO Advanced Study Institute on Program Design Calculi, held in Marktoberdorf, Germany, July 28 - August 9, 1992The development of information processing systems requires models, calculi, and theories for the analysis of computat. N° de réf. du vendeur 4894127
Quantité disponible : Plus de 20 disponibles
Image d'archives
Program Design Calculi (NATO ASI Subseries F:, 118)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540569435_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Program Design Calculi
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 5906169-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Program Design Calculi
Edité par
Springer Berlin Heidelberg Nov 1993, 1993
ISBN 10 : 354056943X
ISBN 13 : 9783540569435
Neuf
Buch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by now that more complex software systems cannot and should not be constructed in one step. A careful, systematic, and disciplined structuring of the development process is most adequate. It should start from basic requirement specifications in which aU the relevant details of the problem to be solved are formalized. The envisaged solution should be developed step by step by adding more and more details and giving evidence-in the best case by formal proof-to show the correctness of the developed steps. The development ends if a description of a solution is obtained that has aU the required properties. The Summer School in Marktoberdorf 1992 showed significant approaches in this area to refinement calculi, to models of computation, and as a special issue to the treatment of reactive timed systems. Like in the many summer schools before, the success of the 1992 Summer School was not only due to the excellent lectures, but even more due to the brilliant students taking part in the discussions at the summer school, the exchange of different views, and the recognition of the similarity of a number of different view points. These were some of the most important contributions of the summer school. fu the following the proceedings of the summer school are collected. They show the maturity of the field in an impressive way. 428 pp. Englisch. N° de réf. du vendeur 9783540569435
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Program Design Calculi
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 1993, 1993
ISBN 10 : 354056943X
ISBN 13 : 9783540569435
Neuf
Buch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Neuware -The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by now that more complex software systems cannot and should not be constructed in one step. A careful, systematic, and disciplined structuring of the development process is most adequate. It should start from basic requirement specifications in which aU the relevant details of the problem to be solved are formalized. The envisaged solution should be developed step by step by adding more and more details and giving evidence-in the best case by formal proof-to show the correctness of the developed steps. The development ends if a description of a solution is obtained that has aU the required properties. The Summer School in Marktoberdorf 1992 showed significant approaches in this area to refinement calculi, to models of computation, and as a special issue to the treatment of reactive timed systems. Like in the many summer schools before, the success of the 1992 Summer School was not only due to the excellent lectures, but even more due to the brilliant students taking part in the discussions at the summer school, the exchange of different views, and the recognition of the similarity of a number of different view points. These were some of the most important contributions of the summer school. fu the following the proceedings of the summer school are collected. They show the maturity of the field in an impressive way.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Englisch. N° de réf. du vendeur 9783540569435
Quantité disponible : 2 disponible(s)