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.
|Title of host publication||2007 IEEE International Conference on Electro/Information Technology|
|Number of pages||6|
|ISBN (Print)||978-1-4244-0940-2, 978-1-4244-0941-9|
|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