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: 664 | Total: 856  | 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: 524 | Total: 638  | 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: 478 | Total: 582  | 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: 464 | Total: 538  | 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: 641 | Total: 760  | 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: 578 | Total: 732  | 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: 467 | Total: 525  | 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: 562 | Total: 641  | 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: 513 | Total: 583  | 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: 462 | Total: 551  | 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: 485 | Total: 591  | 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: 404 | Total: 468  | Access Period:
 414-415
HTML
XML
PDF

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

OK