Advertisement

Domain Modeling and the Duration Calculus

International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

  • Editors
  • Chris W. George
  • Zhiming Liu
  • Jim Woodcock

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4710)

Table of contents

  1. Front Matter
  2. Alan Burns, Andy Wellings
    Pages 1-50
  3. Chris George
    Pages 51-118
  4. Michael Reichhardt Hansen, Dang Van Hung
    Pages 119-176
  5. Back Matter

About this book

Keywords

abstraction applicative modeling decidabillity development tools domain engineering formal method formal methods language description model checking modeling real-time real-time systems semantics software engineering statistical m

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-74964-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-74963-9
  • Online ISBN 978-3-540-74964-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site