Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

Egon Börger
University of Pisa, Italy

E. Börger, U. Glaesser:
Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue
/jucs_7_11/abstract_state_machines_2001
page 914 - 916
Vol.7 / Issue 11
E. Börger, D. Sona:
A Neural Abstract Machine
/jucs_7_11/a_neural_abstract_machine
page 1006 - 1023
Vol.7 / Issue 11
E. Börger, E. Riccobene, J. Schmid:
Capturing Requirements by Abstract State Machines: The Light Control Case Study
/jucs_6_7/capturing_requirements_by_abstract
page 597 - 620
Vol.6 / Issue 7
E. Börger, K.-D. Schewe:
Communication in Abstract State Machines
/jucs_23_2/communication_in_abstract_state
page 129 - 145
Vol.23 / Issue 2
E. Börger, L. Mearelli:
Integrating ASMs into the Software Development Life Cycle
/jucs_3_5/integrating_asm
page 603 - 665
Vol.3 / Issue 5
E. Börger:
J.UCS Special ASM Issue. Part II.
/jucs_3_5/intro
page 414 - 415
Vol.3 / Issue 5
E. Börger:
Ten Years of Gurevich's Abstract State Machines
/jucs_3_4/introduction
page 230 - 232
Vol.3 / Issue 4
D. Batory, E. Börger:
Modularizing Theorems for Software Product Lines: The Jbook Case Study
/jucs_14_12/modularizing_theorems_for_software
page 2059 - 2082
Vol.14 / Issue 12
E. Börger, O. Sörensen, B. Thalheim:
On Defining the Behavior of OR-joins in Business Process Models
/jucs_15_1/on_defining_the_behavior
page 3 - 32
Vol.15 / Issue 1
E. Börger, A. Prinz:
Quo Vadis Abstract State Machines?
/jucs_14_12/quo_vadis_abstract_state
page 1921 - 1928
Vol.14 / Issue 12
E. Börger, R. Gotzhein:
J.UCS Special Issue on Requirements Engineering - The Light Control Case Study
/jucs_6_7/requirements_engineering_the_light
page 580 - 581
Vol.6 / Issue 7
E. Börger, R. Gotzhein:
The Light Control Case Study: A Synopsis
/jucs_6_7/the_light_control_case
page 582 - 585
Vol.6 / Issue 7
E. Börger:
The Origins and the Development of the ASM Method for High Level System Design and Analysis
/jucs_8_1/the_origins_and_the
page 2 - 74
Vol.8 / Issue 1