High Level Specification and Validation . . . Services

High Level Specification and Validation . . . Services (2004)

Cached

Download Links

[fas.sfu.ca]

by Mona Vajihollahi

BibTeX

@MISC{Vajihollahi04highlevel,
    author = {Mona Vajihollahi},
    title = {High Level Specification and Validation . . . Services},
    year = {2004}
}

Bookmark

OpenURL

Abstract

Citations

384	Evolving algebras 1993: Lipari guide - Gurevich - 1995
188	Domain-Specific Languages: an Annotated Bibliography. http://homepages.cwi.nl/ ∼ arie/papers/dslbib - Deursen, Klint, et al. - 1999
91	Java and the Java Virtual Machine: Definition, Verification and Validation - Strk, Schmid, et al. - 2001
83	Specifications Are Not (Necessarily) Executable - Hayes, Jones - 1989
55	Specifications are (preferably) executable - Fuchs - 1992
34	Formal definition of an abstract VHDL’93 simulator by EAmachines - Glässer, Börger, et al. - 1995
33	The origins and the development of the ASM method for high level system design and analysis - Borger - 2002
29	A logical operational semantics for full Prolog. Part I: selection core and control - Borger - 1990
28	A Logical Operational Semantics for Full Prolog. Part II: Built-in Predicates for Database Manipulations - Borger
28	The railroad crossing problem: an experiment with instantaneous actions and immediate reactions - Gurevich, Huggins - 1996
24	The simulation semantics of SystemC - Ruf, Hoffmann, et al. - 2001
23	M.: Specification and Validation of the Business Process Execution Language for Web Services - Farahbod, Glässer, et al. - 2004
15	Gandy Machines - “Background - 2000
14	Partial Updates: Exploration - Gurevich, Tillmann
12	The Formal Semantics of SDL-2000: Status and Perspectives - Glässer, Gotzhein, et al.
10	On the formal semantics of SDL-2000: a compilation approach based on an Abstract SDL Machine - Eschbach, Glasser, et al. - 2000
5	Formal Description of a Distributed Location Service for Ad Hoc Mobile Networks - Benczur, Glässer, et al. - 2003
4	Universal Plug and Play Machine Models: Modeling with Distributed Abstract State Machines - Glässer, Veanes - 2002
3	The Semantics of Behavioral VHDL'92 Descriptions - Börger, Glässer, et al. - 1994
3	An Abstract Communication Model - Glässer, Gurevich, et al. - 2002
2	Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State - Glässer, Vajihollahi - 2004
2	at the Organization of Advancement of Structured Information Standards (OASIS) [online]. Available from - TC
1	Formal Definition of SDL-2000 —Compiling and Running - Glässer, Gotzhein, et al. - 2001
1	Services Transaction (WS-Transaction) [online, cited August 2002 - Web