Abstract state machines 2004 :advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings

• 其他作者: Zimmermann, Wolf. , Thalheim, B.
• 出版: Berlin ;New York : Springer ©2004.
• 稽核項: 1 online resource (xii, 233 pages) :illustrations.
• 叢書名: Lecture notes in computer science ;3052
• 標題: Machine theory , Infinity. , Machine theory Congresses. , MATHEMATICS Infinity. , Machine theory. , MATHEMATICS Logic. , Electronic book. , Electronic books. , MATHEMATICS , Conference papers and proceedings. , Logic.
• ISBN: 3540247734 , 9783540247739
• ISBN: 3540220941 , 9783540220947
• 試查全文@TNUA:
  
• 附註: Includes bibliographical references and index. Invited Papers -- Intra-step Interaction -- Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering -- An ALGOL-View on Turbo ASM -- An ASM Specification of C♯ Threads and the .NET Memory Model -- Finite Cursor Machines in Database Query Processing -- Research Papers -- Formalizing Liveness-Enriched Sequence Diagrams Using ASMs -- Specification and Validation of the Business Process Execution Language for Web Services -- Monodic ASMs and Temporal Verification -- Towards an Interchange Language for ASMs -- Specification and Implementation Problems for C♯ -- An ASM Semantics for SSA Intermediate Representations -- Observations on the Decidability of Transitions -- A Security Logic for Abstract State Machines -- Slicing Abstract State Machines -- The Cryptographic Abstract Machine -- Modeling Discretely Timed Systems Using Different Magnitudes of Non-standard Reals.
• 摘要: This book constitutes the refereed proceedings of the 11th International Workshop on Abstract State Machines, ASM 2004, held in Lutherstadt Wittenberg, Germany, in May 2004. The 12 revised full research papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. The papers reflect state-of-the-art research and development of the abstract state machine method for the design and analysis of complex software and hardware systems. Besides theoretical results and methodological progress, applications in various fields are studied as well.
• 電子資源: https://dbs.tnua.edu.tw/login?url=https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=133745
• 系統號: 005318088
• 資料類型: 電子書
• 讀者標籤: 需登入
• 引用網址: 複製連結
• 目前引用數