| 书目名称 | Recent Trends in Data Type Specification |
| 副标题 | 9th Workshop on Spec |
| 编辑 | Hartmut Ehrig,Fernando Orejas |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | Research in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on the applications and the theoretical foundations of methodologies for software design. The Ninth Workshop on Specification of Abstract Data Types was held jointly with the Fourth COMPASS Workshop in Spain in 1992. .The main topics covered were: object-oriented specifications, rewriting methods, specification languages and associated tools, type systems, and algebraic specification of concurrency. This volumes contains four invited papers presented at the workshop together with the final versions of 17 contributed papers selected after a careful refereeing process from 46 submissions. |
| 出版日期 | Conference proceedings 1994 |
| 关键词 | Animation; Datentypen Spezifikationen; Ersetzungsverfahren; Object-Oriented Specifications; Objektorient |
| 版次 | 1 |
| doi | https://doi.org/10.1007/3-540-57867-6 |
| isbn_softcover | 978-3-540-57867-3 |
| isbn_ebook | 978-3-540-48361-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1994 |
发表于 2025-3-21 16:14:51
