Parallel program design: a foundation
Parallel program design: a foundation
Programming perl
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
A mathematical definition of full Prolog
Science of Computer Programming
Evolving algebras 1993: Lipari guide
Specification and validation methods
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
The Latex Companion
Using Domain-Specific Languages for the Realization of Component Composition
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Specifying Complex and Structured Systems with Evolving Algebras
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Enhanced Control Flow Graphs in Montages
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
The TOOLBUS Coordination Architecture
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Integrating Domain Specific Language Design in the Software Life Cycle
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
The Semantics of the C Programming Language
CSL '92 Selected Papers from the Workshop on Computer Science Logic
Formal aspects of and development environments for Montages
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
Composition and Submachine Concepts for Sequential ASMs
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
A UML Validation Toolset Based on Abstract State Machines
Proceedings of the 16th IEEE international conference on Automated software engineering
Comprehensive verification framework for dependability of self-optimizing systems
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Engineering MDA into compositional reasoning for analyzing middleware-based applications
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
Model transformations in the development of data–intensive web applications
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Rigorous Methods for Software Construction and Analysis
JASMine: accessing java code from CoreASM
Rigorous Methods for Software Construction and Analysis
OpenRadio: a programmable wireless dataplane
Proceedings of the first workshop on Hot topics in software defined networks
CoreASM: An Extensible ASM Execution Engine
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Hi-index | 0.00 |
The Abstract State Machine (ASM) [16] approach has already proven to be suitable for large-scale specifications of realistic systems [18,9,22,34]. Due to the fact that the ASM approach defines a notion of executing specifications, it provides a perfect basis for a language, which can be used as a specification language as well as a high-level programming language. However, in order to upgrade to a realistic programming language, such a language must - besides other features - add a modularization concept to the core ASM constructs in order to provide the possibility to structure large-scale ASM-formalizations and to flexibly define reusable specification units. In this paper, the language XASM, which stands for Extensible ASM, is presented. XASM realizes a component-based modularization concept based on the notion of external functions as defined in ASMs. This paper also briefly describes the support environment of XASM consisting of the XASM-compiler translating XASM programs to C source code, and the graphical debugging and animation tool.