Bibliography

1

M. Anlauff, P. Kutter, and A. Pierantonio.
Formal Aspects of and Development Environments for Montages.
In M. Sellink, editor, 2nd International Workshop on the Theory and Practice of Algebraic Specifications, Workshops in Computing, Amsterdam, 1997. Springer.

2

M. Anlauff, P. Kutter, and A. Pierantonio.
Enhanced control flow graphs in Montages.
In A. D.Bjoerner, M.Broy, editor, Perspective of System Informatics, LNCS, 1999.

3

M. Anlauff, P. Kutter, A. Pierantonio, and A. Sünbül.
Using domain-specific languages for the realization of component composition.
In T. Maibaum, editor, FASE, volume 1783 of LNCS, pages 112 - 126, 2000.

4

M. Anlauff and A. Sünbül.
An ASM specification of an elevator control system.
1999.

5

M. Anlauff and A. Sünbül.
Software architecture based composition of components.
In GI-Workshop Sicherheit und Zuverlässigkeit software-basierter Systeme, 1999.

6

S. Bensalem, V. Ganesh, Y. Lakhnech, C. Muñoz, S. Owre, H. Rueß, J. Rushby, V. Rusu, H. Saïdi, N. Shankar, E. Singerman, and A. Tiwari.
An overview of SAL.
In C. M. Holloway, editor, LFM 2000: Fifth NASA Langley Formal Methods Workshop, June 2000.
to appear.

7

J. A. Bergstra and P. Klint.
The ToolBus coordination architecture.
In Ciancarini and Hankin [11], pages 75-88.

8

E. Börger and D. Rosenzweig.
A Mathematical Definition of Full Prolog.
In Science of Computer Programming, volume 24, pages 249-286. North-Holland, 1994.

9

E. Börger and J. Schmid.
Composition and Submachine Concepts for Sequential ASMs.
In P. Clote and H. Schwichtenberg, editor, Gurevich Festschrift CSL 2000, LNCS. Springer-Verlag, 2000.
to Appear.

10

M. Chandy and J. Misra.
Parallel Program Design: A Foundation.
Addison-Wesley, Reading, MA, 1988.

11

P. Ciancarini and C. Hankin, editors.
Coordination and models, Proceedings of the first international conference, Cesena, Italy, number 1061 in LNCS. Springer Verlag, 1996.

12

G. Del Castillo.
The ASM Workbench: an Open and Extensible Tool Environment for Abstract State Machines.
In Proceedings of the 28th Annual Conference of the German Society of Computer Science. Technical Report, Magdeburg University, 1998.

13

M. Goossens, F. Mittelbach, and A. Samarin.
The L^ATEX Companion.
Tools and Techniques for Computer Typesetting. Addison-Wesley, Reading, MA, USA, second edition, 1994.

14

F. Griffel.
Componentware.
dpunkt.verlag, 1998.

15

Y. Gurevich.
Evolving Algebras 1993: Lipari Guide.
In E. Börger, editor, Specification and Validation Methods, pages 9-36. Oxford University Press, 1995.

16

Y. Gurevich.
May 1997 Draft of the ASM Guide.
Department Technical Report CSE-TR-336-97, University of Michigan, 1997.

17

Y. Gurevich and J. Huggins.
The Semantics of the C Programming Language.
In E. Börger, H. Kleine Büning, G. Jäger, S. Martini, and M. M. Richter, editors, Computer Science Logic, volume 702 of LNCS, pages 274-309. Springer, 1993.

18

J. Huggins and W. Shen.
The static and dynamic semantics of C.
In Local Proceedings of ASM2000, TIK Report Nr. 87, 2000.

19

P. Kutter and A. Pierantonio.
Montages: Specifications of Realistic Programming Languages.
Journal of Universal Computer Science, 3(5):416-442, 1997.

20

P. Kutter and A. Pierantonio.
The Formal Specification of Oberon.
Journal of Universal Computer Science, 3(5):443-503, 1997.

21

P. W. Kutter, D. Schweizer, and L. Thiele.
Integrating formal domain-specific language design in the software life cycle.
In Current Trends in Applied Formal Methods, LNCS. Springer, October 1998.

22

L. Lamport.
The temporal logic of actions.
ACM TOPLAS, 16(3):872-923, 1994.

23

Z. Manna and A. Pnueli.
The Temporal Logic of Reactive and Concurrent Systems, Volume 1: Specification.
Springer-Verlag, New York, NY, 1992.

24

W. May.
Specifying complex and structured systems with evolving algebras.
In M. Bidoit and M. Dauchet, editors, Proc. of TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, number 1214 in LNCS, pages 535-549. Springer, 1997.

25

J. K. Ousterhout.
Scripting: Higher level programming for the 21st century.
IEEE Computer, 31(3):23-30, Mar. 1998.

26

J.-G. Schneider and O. Nierstrasz.
Scripting: Higher-level programming for component-based systems.
In OOPSLA 1998, 1998.
Tutorial.

27

J.-G. Schneider and O. Nierstrasz.
Components, scripts and glue.
In L. Barroca, J. Hall, and P. Hall, editors, Software Architectures - Advances and Applications, pages 13-25. Springer, 1999.

28

N. Shankar.
Symbolic Analysis of Transition Systems.
In This volume.

29

A. Sünbül.
Architectural Design of Evolutionary Software Systems.
PhD thesis, Technical University Berlin, 1999.
in preparation.

30

C. Szyperski.
Component Software: Beyond Object-Oriented Programming.
ACM Press and Addison-Wesley, New York, N.Y., 1998.

31

J. Teich, P. Kutter, and R. Weper.
Description and simulation of microprocessor instruction sets using asms.
In This volume.

32

L. Wall and R. L. Schwartz.
Programming Perl.
O'Reilly Associates, Inc., Sebastopol, CA, 1990.

33

C. Wallace.
The Semantics of the Java Programming Language: Preliminary Version.
Technical Report CSE-TR-355-97, EECS Dept., University of Michigan, December 1997.