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: 595 | Total: 761  | 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: 459 | Total: 545  | 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: 419 | Total: 511  | 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: 400 | Total: 461  | 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: 564 | Total: 669  | 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: 488 | Total: 624  | 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: 389 | Total: 443  | 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: 480 | Total: 546  | 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: 437 | Total: 490  | 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: 411 | Total: 489  | 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: 430 | Total: 520  | 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: 355 | Total: 404  | Access Period:
 414-415
HTML
XML
PDF

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

OK