Author

Profile picture
Egon Börger
University of Pisa
Pisa, Italy
http://www.di.unipi.it/~boerger
13 articles by this author
Sort by:
1 2
Research Article
Communication in Abstract State Machines
Egon Börger, Klaus-Dieter Schewe
10.3217/jucs-023-02-0129
 28-02-2017
 Unique: 298 | Total: 403  | Access Period:
 129-145
HTML
XML
PDF
Research Article
On Defining the Behavior of OR-joins in Business Process Models
Egon Börger, Ove Sörensen, Bernhard Thalheim
10.3217/jucs-015-01-0003
 01-01-2009
 Unique: 183 | Total: 220  | Access Period:
 3-32
HTML
XML
PDF
Research Article
Modularizing Theorems for Software Product Lines: The Jbook Case Study
Don Batory, Egon Börger
10.3217/jucs-014-12-2059
 28-06-2008
 Unique: 173 | Total: 203  | Access Period:
 2059-2082
HTML
XML
PDF
Editorial
Quo Vadis Abstract State Machines?
Egon Börger, Andreas Prinz
10.3217/jucs-014-12
 28-06-2008
 Unique: 150 | Total: 174  | Access Period:
 1921-1928
HTML
XML
PDF
Research Article
The Origins and the Development of the ASM Method for High Level System Design and Analysis
Egon Börger
10.3217/jucs-008-01-0002
 28-01-2002
 Unique: 204 | Total: 247  | Access Period:
 2-74
HTML
XML
PDF
Research Article
A Neural Abstract Machine
Egon Börger, Diego Sona
10.3217/jucs-007-11-1006
 28-11-2001
 Unique: 189 | Total: 248  | Access Period:
 1006-1023
HTML
XML
PDF
Editorial
Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue
Egon Börger
10.3217/jucs-007-11
 28-11-2001
 Unique: 144 | Total: 171  | Access Period:
 914-916
HTML
XML
PDF
Research Article
Capturing Requirements by Abstract State Machines: The Light Control Case Study
Egon Börger, Elvinia Riccobene, Joachim Schmid
10.3217/jucs-006-07-0597
 28-07-2000
 Unique: 175 | Total: 206  | Access Period:
 597-620
HTML
XML
PDF
Research Article
The Light Control Case Study: A Synopsis
Egon Börger, Reinhard Gotzhein
10.3217/jucs-006-07-0582
 28-07-2000
 Unique: 165 | Total: 197  | Access Period:
 582-585
HTML
XML
PDF
Editorial
J.UCS Special Issue on Requirements Engineering - The Light Control Case Study
Egon Börger, Reinhard Gotzhein
10.3217/jucs-006-07
 28-07-2000
 Unique: 162 | Total: 207  | Access Period:
 580-581
HTML
XML
PDF
Research Article
Integrating ASMs into the Software Development Life Cycle
Egon Börger, Luca Mearelli
10.3217/jucs-003-05-0603
 28-05-1997
 Unique: 159 | Total: 214  | Access Period:
 603-665
HTML
XML
PDF
Editorial
J.UCS Special ASM Issue. Part II.
Egon Börger
10.3217/jucs-003-05
 28-05-1997
 Unique: 134 | Total: 161  | Access Period:
 414-415
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK