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.
| Original language | English |
|---|---|
| Title of host publication | 2007 IEEE International Conference on Electro/Information Technology |
| Number of pages | 6 |
| Publisher | IEEE |
| Publication date | 01.12.2007 |
| Pages | 204-209 |
| Article number | 4374482 |
| ISBN (Print) | 978-1-4244-0940-2, 978-1-4244-0941-9 |
| DOIs | |
| Publication status | Published - 01.12.2007 |
| Event | 2007 IEEE International Conference on Electro/Information Technology - Chicago, United States Duration: 17.05.2007 → 20.05.2007 Conference number: 72697 |
