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

442 REFERENCES
[Deu89] L.P. Deutsch. Design Reuse and Frameworks in the Smalltalk-80 System. In
T.J. Biggerstaff and A.J. Perlis, editors, Software Reusability Vol.II : Application
and Experience, pages 57–71. ACM Press, New York, 1989.
[DT92] M. Dodani and C. Tsai. ACTS: A Type System for Object-Oriented Programming
Based on Abstract and Concrete Classes. In O. Lehrmann Madsen,
editor, Proceedings of ECOOP’92, pages 309–324, Berlin, 1992. Springer.
[Fea87] M.S. Feather. A Survey and Classification of some Program Transformation
Approaches and Techniques. In L.G.L.T. Meertens, editor, Proceedings of the
IFIP TC2 Working Conference on Program Specification and Transformation, pages
165–196, Amsterdam, 1987. North-Holland.
[Fuc92] N.E. Fuchs. Specifications are (Preferably) Executable. Software Engineering
Journal, 7(5):323–334, September 1992.
[Gei96] M.C.W. Geilen. Real-Time Concepts for Software/Hardware Engineering.
Master’s thesis, Faculty of Electrical Engineering, Eindhoven University of
Technology, Eindhoven, The Netherlands, 1996.
[GP95] J.F. Groote and A. Ponse. The Syntax and Semantics of CRL. In A. Ponse,
C. Verhoef, and S.F.M. van Vlijmen, editors, Proceedings of ACP94, The First
Workshop on the Algebra of Communicating Processes, pages 26–62, London,
1995. Springer-Verlag.
[GR89] A. Goldberg and D. Robson. Smalltalk-80: The Language. Addison-Wesley,
Reading, Massachusetts, 1989.
[GV95] D. Gajski and F. Vahid. Specification and Design of Embedded Hardware/Software
Systems. IEEE Design and Test of Computers, 12(1):53–67, 1995.
[H
[H
87] D. Harel et al. On the Formal Semantics of Statecharts. In Proceedings of the
Second Annual Symposium on Logic in Computer Science, pages 54–64, New York,
1987. IEEE Computer Society Press.
90] D. Harel et al. STATEMATE: A Working Environment for the Development
of Complex Reactive Systems. IEEE Transactions on Software Engineering,
16(4):403–414, April 1990.
[Har87] D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of
Computer Programming, 8:231–274, 1987.
[Har92] D. Harel. Biting the Silver Bullet. IEEE Computer, 25(1):8–20, January 1992.
[HC91] F. Hayes and D. Coleman. Coherent Models for Object-Oriented Analysis. In
A. Paepcke, editor, Proceedings of OOPSLA’91, pages 171–183, New York, 1991.
ACM.
[Hen90] M. Hennessy. The Semantics of Programming Languages, An Elementary Introduction
using Structural Operational Semantics. Wiley, England, 1990.