Specification Language Design Concepts: . . .

Specification Language Design Concepts: . . . (2006)

Cached

Download Links

[fas.sfu.ca]

by Mashaal Anwar Memon

BibTeX

@MISC{Memon06specificationlanguage,
    author = {Mashaal Anwar Memon},
    title = {Specification Language Design Concepts: . . . },
    year = {2006}
}

Bookmark

OpenURL

Abstract

Citations

384	Evolving algebras 1993: Lipari guide - Gurevich - 1995
303	Denotational Semantics: A Methodology for Language Development - SCHMIDT - 1986
187	Abstract State Machines. A Method for High Level System Design and Analysis - Börger, Stärk - 2003
104	Sequential abstract state machines capture sequential algorithms - Gurevich
91	Java and the Java Virtual Machine: Definition, Verification and Validation - Strk, Schmid, et al. - 2001
63	draft of the ASM guide - Gurevich - 1997
48	Abstract state machines capture parallel algorithms - Blass, Gurevich
48	High Level System Design and Analysis Using Abstract State Machines - Börger - 1998
37	use evolving algebras for hardware and software engineering? in - Börger, Why - 1995
37	M.I.: Growing languages with metamorphic syntax macros - Brabrand, Schwartzbach - 2002
34	Formal definition of an abstract VHDL’93 simulator by EAmachines - Glässer, Börger, et al. - 1995
30	Model checking support for the ASM high-level language - Castillo, Winter - 2000
28	A Logical Operational Semantics for Full Prolog. Part II: Built-in Predicates for Database Manipulations - Borger
27	XASM – An Extensible, Component-Based Abstract State Machines Language - Anlauff - 2000
23	M.: Specification and Validation of the Business Process Execution Language for Web Services - Farahbod, Glässer, et al. - 2004
20	The ASM ground model method as a foundation for requirements engineering - Börger - 2003
19	The semantics of behavioral VHDL’93 descriptions - MÜLLER, BÖRGER, et al.
18	R.F.: A high-level modular definition of the semantics of C#. Theoretical Computer Science 336(2-3 - Börger, Fruja, et al. - 2005
14	Partial Updates: Exploration - Gurevich, Tillmann
13	Report on a practical application of ASMs in software design - Börger, Päppinghaus, et al. - 2000
12	Towards Comprehensive Tool Support for Abstract State Machines - Castillo - 1999
12	The Formal Semantics of SDL-2000: Status and Perspectives - Glässer, Gotzhein, et al.
11	Capturing requirements by abstract state machines: The light control case study - Börger, Riccobene, et al.
11	Abstract operational semantics of the Business Process Execution Language for Web Services - Farahbod, Glässer, et al. - 2004
10	On the formal semantics of SDL-2000: a compilation approach based on an Abstract SDL Machine - Eschbach, Glasser, et al. - 2000
10	CoreASM: An Extensible ASM Execution Engine - Farahbod, Gervasi, et al.
9	A Practical Method for Specification and Analysis of Exception Handling: A Java/JVM Case Study - Börger, Schulte - 2000
8	Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models - Eschbach, Glässer, et al. - 2001
5	Design and Specification of the CoreASM Execution Engine - Farahbod, Gervasi, et al. - 2005
5	A formal semantics for the business process execution language for Web Services - Farahbod, Glässer, et al. - 2005
5	Object-oriented Abstract State Machines - Zamulin - 1998
4	An Abstract Communication Architecture for Modeling Distributed Systems - Glässer, Gurevich, et al.
4	Executing ASM Specitications with AsmGofer. Last visited - Schmid - 2006
3	Tillmann N. Partial updates - Gurevich
2	Formal Description and Analysis of a Distributed Location Service for Mobile Ad Hoc Networks - Glässer, Gu - 2005
2	Kühl and Axel-Tobias Schreiner. An object-oriented LL(1) parser generator - Bernd - 2000
2	Using Abstract State Machines To Model a Graphical User Interface System - Su - 2006
1	Programming the Steam-Boiler Control, volume 1165 - Specifying - 1996
1	Typed Abstract State Machines. Unpublished manuscript - Castillo, Gurevich, et al. - 1998
1	Revised version of SFU-CMPT-TR-2005-02, February 2005. [27 - Farahbod, Gervasi, et al.
1	Elvinia Riccobene, and Salvatore Rinzivillo. Using Spin to Generate Tests from ASM Specifications - Gargantini - 2003
1	Learning Python, Second Edition. O’Reilly - Lutz, Ascher - 2004
1	2003. 122 [46 - Kluwer
1	Specification of Dynamic Systems by Typed Gurevich Machines - Zamulin - 1998