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: 451 | Total: 598  | 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: 345 | Total: 410  | 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: 320 | Total: 380  | 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: 286 | Total: 326  | 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: 409 | Total: 486  | 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: 351 | Total: 447  | 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: 265 | Total: 306  | 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: 342 | Total: 389  | 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: 304 | Total: 344  | 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: 298 | Total: 355  | 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: 303 | Total: 368  | 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: 249 | Total: 284  | Access Period:
 414-415
HTML
XML
PDF

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

OK