Specification of Reactive Hardware/Software Systems - Electronic ...

REFERENCES 447
[vE89] P. van Eijk. The Design of a Simulator Tool. In P. van Eijk, C. Vissers, and
M. Diaz, editors, The Formal Description Technique LOTOS. North-Holland,
Amsterdam, 1989.
[Ver92] A.C. Verschueren. An Object-Oriented Modelling Technique for Analysis and Design
of Complex (Real-Time) Systems. PhD thesis, Departments of Electrical
Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands,
1992.
[vEVD89] P.H.J. van Eijk, C.A. Vissers, and M. Diaz. The Formal Description Technique
LOTOS. North-Holland, Amsterdam, 1989.
[vF96] J.D. van Felius. From POOSL to C++. Master’s thesis, Faculty of Electrical Engineering,
Eindhoven University of Technology, Eindhoven, The Netherlands,
1996.
[vGW96] R.J. van Glabbeek and W.P. Weijland. Branching Time and Abstraction in
Bisimulation Semantics. Journal of the ACM, 43(3):555–600, May 1996.
[Voe] J.P.M. Voeten. Behaviour-Preserving Transformations in the SHE method : A
Formal Approach to Architecture Design. To be Published as EUT Report.
[Voe94] J.P.M. Voeten. POOSL : A Parallel Object-Oriented Specification Language. In
P.H. Hartel, editor, Proceedings of the Eight Workshop Computer Systems, pages
25–45, Amsterdam, The Netherlands, 1994. University of Amsterdam.
[Voe95a] J.P.M. Voeten. POOSL: An Object-Oriented Language for the Analysis and
Design of Hardware/Software Systems. EUT Report 95-E-290, Departments
of Electrical Engineering, Eindhoven, The Netherlands, May 1995.
[Voe95b] J.P.M. Voeten. Semantics of POOSL: An Object-Oriented Specification Language
for the Analysis and Design of Hardware/Software Systems. EUT Report
95-E-293, Department of Electrical Engineering, Eindhoven University of
Technology, Eindhoven, The Netherlands, October 1995.
[vR92] O.S. van Roosmalen. A Hierarchical Diagrammatic Representation of Class
Structure. Master’s thesis, Department of Mathematics and Computing Science,
Eindhoven University of Technology, Eindhoven, The Netherlands,
1992.
[VvdPS96] J.P.M. Voeten, P.H.A. van der Putten, and M.P.J. Stevens. Behaviour-
Preserving Transformations in SHE : A Formal Approach to Architecture
Design. In P. Milligan and K. Kuchcinski, editors, Proceedings of EUROMI-
CRO’96, pages 19–27, Los Alamitos, California, 1996. IEEE Computer Society
Press.
[VvR95] J.P.M. Voeten and A. van Rangelrooij. CCS and Time: A Practical and Comprehensible
Approach to a Performance Evaluation of Finite State CCS Descriptions.
EUT Report 95-E-292, Department of Electrical Engineering, Eindhoven
University of Technology, Eindhoven, The Netherlands, July 1995.