Modeling Companion for Software Practitioners - Couverture souple

Börger, Egon; Raschke, Alexander

Couverture souple

ISBN 10 : 3662566397 ISBN 13 : 9783662566398

Editeur : Springer, 2018

Synopsis

1 Introduction: The Role of Modeling.- 2 Seven Constructs for Modeling Single-Agent Behavior.- 3 Modeling Concurrent Systems.- 4 Modeling Context Awareness.- 5 Modeling Business Processes.- 6 Modeling Distributed Dystems.- 7 Syntax and Semantics of ASMs.- 8 Debugging System Design (CoreASM).- 9 Control State Diagrams (Meta Model).- Epilogue.- A Some Complete Models in a Nutshell.- References.- Index.

A propos du livre

À propos de l?auteur

Egon Boerger has worked since 1972 as professor of computer science at the Universities of Salerno, Dortmund, Udine and Pisa (since 1985). He spent sabbatical years with IBM, Siemens, Microsoft, SAP and ETH Zürich. He is the author of six books on logic, computer science and modeling business processes. In 2007 he received the Humboldt Research Award for his work in logic and computer science. His current interest is in rigorous modeling methods for concurrent software-intensive systems.
Alexander Raschke is an assistant professor at the Institute of Software Engineering and Programming Languages at Ulm University where he acquired most of his extensive teaching and project experience with industrial and academic partners. After some experience in industry, he came back to academia and leads currently the CoreASM project, which provides tool support to make design models executable. His research interests focus on precise modeling methods one can use in industrial practice.

Détails de l'édition

• Éditeur: Springer
• Date d'édition: 2018
• Langue: anglais
• ISBN 10: 3662566397
• ISBN 13: 9783662566398
• Reliure: Broché
• Numéro d'édition: 1
• Nombre de pages: 372
• Coordonnées du fabricant: non disponible
• Personne responsable: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Allemagne