Treffer 1 - 20 von 63 für Suche 'Boerger, Egon', Suchdauer: 0,82s Treffer weiter einschränken
  1. 1
    Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL

    Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL von Borger, Egon

    Veröffentlicht in Software and systems modeling

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    The Role of Executable Abstract Programs in Software Development and Documentation

    The Role of Executable Abstract Programs in Software Development and Documentation von Boerger, Egon

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Ambient Abstract State Machines with applications

    Ambient Abstract State Machines with applications von Börger, Egon, Cisternino, Antonio, Gervasi, Vincenzo


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    A Compact Encoding of Sequential ASMs in Event-B

    A Compact Encoding of Sequential ASMs in Event-B von Leuschel, Michael, Börger, Egon


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Modeling web applications infrastructure with ASMs

    Modeling web applications infrastructure with ASMs von Gervasi, Vincenzo, Börger, Egon, Cisternino, Antonio

    Veröffentlicht in Science of computer programming

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    A Method for Verifiable and Validatable Business Process Modeling

    A Method for Verifiable and Validatable Business Process Modeling von Börger, Egon, Thalheim, Bernhard


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  7. 7
    The Role of Executable Abstract Programs in Software Development and Documentation

    The Role of Executable Abstract Programs in Software Development and Documentation von Boerger, Egon

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Modeling workflow patterns from first principles

    Modeling workflow patterns from first principles von Börger, Egon

    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Synchronous Message Passing and Semaphores: An Equivalence Proof

    Synchronous Message Passing and Semaphores: An Equivalence Proof von Craig, Iain, Börger, Egon


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Concurrent Abstract State Machines and  + CAL Programs

    Concurrent Abstract State Machines and  + CAL Programs von Altenhofen, Michael, Börger, Egon


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Specifying Transaction Control to Serialize Concurrent Program Executions

    Specifying Transaction Control to Serialize Concurrent Program Executions von Börger, Egon, Schewe, Klaus-Dieter


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Subject-Oriented Business Process Management

    Subject-Oriented Business Process Management von Fleischmann, Albert, Schmidt, Werner, Stary, Christian, Obermeier, Stefan, Börger, Egon

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach

    Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach von Börger, Egon, Thalheim, Bernhard


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Linking the Meaning of Programs to What the Compiler Can Verify

    Linking the Meaning of Programs to What the Compiler Can Verify von Börger, Egon


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    A high-level modular definition of the semantics of C

    A high-level modular definition of the semantics of C von Boerger, Egon, Fruja, Nicu G, Gervasi, Vincenzo, Staerk, Robert F

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008 : Proceedings

    Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008 : Proceedings von Hutchison, David, Kanade, Takeo, Kittler, Josef, Boca, Paul P

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Berechenbarkeit, Komplexitat, Logik: Eine Einfuhrung in Algorithmen, Sprachen und Kalkule unter besonderer Berucksichtigung ihrer Komplexitat

    Berechenbarkeit, Komplexitat, Logik: Eine Einfuhrung in Algorithmen, Sprachen und Kalkule unter besonderer Berucksichtigung ihrer Komplexitat von Borger, Egon

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Computability, Complexity, Logic

    Computability, Complexity, Logic von Borger, E

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  19. 19
    A framework to specify database update views for Prolog

    A framework to specify database update views for Prolog von Boerger, Egon, Demoen, Bart


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Coupling Design and Verification in Software Product Lines

    Coupling Design and Verification in Software Product Lines von Börger, Egon, Batory, Don


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: