| 书目名称 | Recent Trends in Algebraic Development Techniques |
| 副标题 | 21st International W |
| 编辑 | Narciso Martí-Oliet,Miguel Palomino |
| 视频video | |
| 概述 | High quality selected papers.Unique visibility.State of the art research |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain. .The 16 revised papers presented were carefully reviewed and selected from 25 presentations. The workshop deals with the following topics: foundations of algebraic specification; other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing; specification languages, methods, and environments; semantics of conceptual modeling methods and techniques; model-driven development; graph transformations, term rewriting and proof systems; integration of formal specification techniques; formal testing and quality assurance; validation, and verification. |
| 出版日期 | Conference proceedings 2013 |
| 关键词 | concurrent semantics; formal analysis; maude; model checking; rewriting logic |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-642-37635-1 |
| isbn_softcover | 978-3-642-37634-4 |
| isbn_ebook | 978-3-642-37635-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | IFIP International Federation for Information Processing 2013 |
发表于 2025-3-21 18:26:33
