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: 498 | Total: 655  | 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: 380 | Total: 458  | 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: 356 | Total: 428  | 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: 319 | Total: 371  | 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: 455 | Total: 543  | 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: 400 | Total: 518  | 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: 308 | Total: 356  | 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: 388 | Total: 445  | 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: 351 | Total: 396  | 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: 348 | Total: 411  | 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: 350 | Total: 423  | 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: 292 | Total: 332  | Access Period:
 414-415
HTML
XML
PDF

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

OK