Xasm- an Extensible, component-based Abstract State Machines language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1912 LNCS, Issue , 2000, Pages 69-90

  Anlauff, Matthias ^a  

^a FRAUNHOFER FIRST   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ANIMATION; MODULAR CONSTRUCTION; PROGRAM COMPILERS; PROGRAM TRANSLATORS; SPECIFICATION LANGUAGES; SPECIFICATIONS; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; HIGH LEVEL LANGUAGES; PROGRAM DEBUGGING;

ABSTRACT STATE MACHINES; COMPONENT BASED; GRAPHICAL DEBUGGING; HIGH-LEVEL PROGRAMMING LANGUAGE; MODULARIZATIONS; REALISTIC SYSTEMS; REUSABLE SPECIFICATIONS; SUPPORT ENVIRONMENT; ANIMATION TOOLS;

C (PROGRAMMING LANGUAGE);

EID: 84889573763     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44518-8_6     Document Type: Conference Paper

References (34)

1. M. Anlauff, A. Bemporad, S. Chakraborty, P.W. Kutter, D. Mignone, M. Morari, A. Pierantonio, and L. Thiele. From ease in programming to easy maintenance: Extending DSL usability with Montages. Technical Report 84, Institute TIK, ETH Zürich, December 19999.
2. 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.
3. M. Anlauff, P. Kutter, and A. Pierantonio. Enhanced control flow graphs in Montages. In A.Zamulin D.Bjoerner, M.Broy, editor, Perspective of System Informatics, volume 1755 of LNCS, pages 40 53, 1999.
4. M. Anlauff, P.W. Kutter, A. Pierantonio, and Asuman Sünbül. Using domain-specific languages for the realization of component composition. In Proceedings Formal Approaches in Software Engineering FASE00, LNCS, 2000.
5. M. Anlauff and A. Sünbül. An ASM specification of an elevator control system. 1999.
6. M. Anlauff and A. Sünbül. Software architecture based composition of components. In GI-Workshop Sicherheit und Zuverlässigkeit software-basierter Systeme, 1999.
7. S. Bensalem, V. Ganesh, Y. Lakhnech, C. Munoz, S. Owre, H. Rueß, J. Rushby, V. Rusu, H. Saudi, N. Shankar, E. Singerman, and A. Tiwari. An overview of SAL. In C. Michael Holloway, editor, LFM 2000: Fifth NASA Langley Formal Methods Workshop, June 2000. to appear.
8. J. A. Bergstra and P. Klint. The ToolBus coordination architecture. In Ciancarini and Hankin [12], pages 75-88.
9. E. Borger and D. Rosenzweig. A Mathematical Definition of Full Prolog. In Science of Computer Programming, volume 24, pages 249-286. North-Holland, 1994.
10. E. Borger 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.
11. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, Reading, MA, 1988.
12. Paolo Ciancarini and Chris Hankin, editors. Coordination and models, Proceedings of the first international conference, Cesena, Italy, number 1061 in LNCS. Springer Verlag, 1996.
13. 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.
14. Michel Goossens, Frank Mittelbach, and Alexander Samarin. The LTEX Companion. Tools and Techniques for Computer Typesetting. Addison-Wesley, Reading, MA, USA, second edition, 1994.
15. F. Griffel. Componentware. dpunkt.verlag, 1998.
16. Y. Gurevich. Evolving Algebras 1993: Lipari Guide. In E. Borger, editor, Specification and Validation Methods, pages 9-36. Oxford University Press, 1995.
17. Y. Gurevich. May 1997 Draft of the ASM Guide. Department Technical Report CSE-TR-336-97, University of Michigan, 1997.
18. Y. Gurevich and J. Huggins. The Semantics of the C Programming Language. In E. Buö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.
19. J.K. Huggins and W. Shen. The static and dynamic semantics of C. In Local Proceedings of ASM2000, TIK Report Nr. 87, 2000.
20. 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.
21. P.W. Kutter and A. Pierantonio. Montages: Specifications of Realistic Programming Languages. Journal of Universal Computer Science, 3(5):416-442, 1997.
22. P.W. Kutter and A. Pierantonio. The Formal Specification of Oberon. Journal of Universal Computer Science, 3(5):443-503, 1997.
23. L. Lamport. The temporal logic of actions. ACM TOPLAS, 16(3):872-923, 1994.
24. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems, Volume 1: Specification. Springer-Verlag, New York, NY, 1992.
25. W. May. Specifying complex and structured systems with evolving algebras. In M. Bidoit and M. Dauchet, editors, Proceedings of TAPSOFT'97: Theory and Practice of Software Development, number 1214 in LNCS, pages 535 -549, 1997.
26. John K. Ousterhout. Scripting: Higher level programming for the 21st century. IEEE Computer, 31(3):23-30, March 1998.
27. J.-G. Schneider and O. Nierstrasz. Scripting: Higher-level programming for component-based systems. In OOPSLA 1998, 1998. Tutorial.
28. Jean-Guy Schneider and Oscar Nierstrasz. Components, scripts and glue. In Leonor Barroca, Jon Hall, and Patrick Hall, editors, Software Architectures Advances and Applications, pages 13-25. Springer, 1999.
29. N. Shankar. Symbolic Analysis of Transition Systems. In This volume.
30. Asuman Sünbül. Architectural Design of Evolutionary Software Systems. PhD thesis, Technical University Berlin, 1999. in preparation.
31. Clemens Szyperski. Component Software: Beyond Object-Oriented Programming. ACM Press and Addison-Wesley, New York, N.Y., 1998.
32. J. Teich, P.W. Kutter, and R. Weper. Description and simulation of microprocessor instruction sets using asms. In This volume.
33. Larry Wall and Randal L. Schwartz. Programming Perl. O'Reilly Associates, Inc., Sebastopol, CA, 1990.
34. C. Wallace. The Semantics of the Java Programming Language: Preliminary Version. Technical Report CSE-TR-355-97, EECS Dept., University of Michigan, December 1997.