Towards a New Way of Parameterization

by Radu Grosu , Dieter Nazareth

Citations:

4 - 0 self

User correction supplied by mph

Datum	Value	Source
TITLE	Towards a New Way of Parameterization	user correction
AUTHOR NAME	Radu Grosu	user correction
AUTHOR AFFIL	Technische Universitat Munchen, Fakultat fur Informatik	user correction
AUTHOR ADDR	D-80290 Munchen, Germany	user correction
AUTHOR NAME	Dieter Nazareth	user correction
AUTHOR AFFIL	Technische Universitat Munchen, Fakultat fur Informatik	user correction
AUTHOR ADDR	D-80290 Munchen, Germany	user correction
ABSTRACT	Classical approaches to parameterization in axiomatic specification languages require the user to explicitly handle specification instantiation. This often makes specifications less readable and manageable. We therefore present a new parameterization mechanism which allows implicit instantiation. However, since this mechanism is less powerful as the first one we show how to combine them to achieve both elegance and power. We included both mechanisms in the specification language Spectrum.	user correction
CITATIONS	20 found	ParsCit 1.0