Abstract
This paper presents an overview of the key features, the architecture, and the usage of the tool ASIOS which supports the systematic refinement of algebraic specifications into object-oriented specifications. The tool helps to bridge the gap between functional specification concepts and object-oriented modeling techniques. Moreover, an important area of application comprises the mechanized top-down development of information storing components. The tool has demonstrated in undergraduate courses to improve students' understanding for the conceptual differences of both specification techniques. Throughout the paper, we exemplify the usage of the tool using the well-known abstract data type stacks of natural numbers.
| Originalsprache | Englisch |
|---|---|
| Titel | 2007 IEEE International Conference on Electro/Information Technology |
| Seitenumfang | 6 |
| Herausgeber (Verlag) | IEEE |
| Erscheinungsdatum | 01.12.2007 |
| Seiten | 204-209 |
| Aufsatznummer | 4374482 |
| ISBN (Print) | 978-1-4244-0940-2, 978-1-4244-0941-9 |
| DOIs | |
| Publikationsstatus | Veröffentlicht - 01.12.2007 |
| Veranstaltung | 2007 IEEE International Conference on Electro/Information Technology - Chicago, USA / Vereinigte Staaten Dauer: 17.05.2007 → 20.05.2007 Konferenznummer: 72697 |
UN SDGs
Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung
