Treffer 1 - 20 von 271 für Suche 'Rumpe, B.', Suchdauer: 0,97s Treffer weiter einschränken
  1. 1
    Meaningful modeling: what's the semantics of "semantics"?

    Meaningful modeling: what's the semantics of "semantics"? von Harel, D., Rumpe, B.

    Veröffentlicht in Computer (Long Beach, Calif.)

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    From Featured Transition Systems to Modal Transition Systems with Variability Constraints

    From Featured Transition Systems to Modal Transition Systems with Variability Constraints von ter Beek, Maurice H., Damiani, Ferruccio, Gnesi, Stefania, Mazzanti, Franco, Paolini, Luca


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Does Distance Still Matter? Revisiting Collaborative Distributed Software Design

    Does Distance Still Matter? Revisiting Collaborative Distributed Software Design von Jolak, Rodi, Wortmann, Andreas, Chaudron, Michel, Rumpe, Bernhard

    Veröffentlicht in IEEE software

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Learning-Based Testing of Distributed Microservice Architectures: Correctness and Fault Injection

    Learning-Based Testing of Distributed Microservice Architectures: Correctness and Fault Injection von Meinke, Karl, Nycander, Peter


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Task Planning of Cyber-Human Systems

    Task Planning of Cyber-Human Systems von Sukkerd, Roykrong, Garlan, David, Simmons, Reid


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter

    Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter von De Nicola, Rocco, Maggi, Alessandro, Petrocchi, Marinella, Spognardi, Angelo, Tiezzi, Francesco


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Towards Automatic Decision Support for Bike-Sharing System Design

    Towards Automatic Decision Support for Bike-Sharing System Design von ter Beek, Maurice H., Gnesi, Stefania, Latella, Diego, Massink, Mieke


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  8. 8
    On Integrating Social and Sensor Networks for Emergency Management

    On Integrating Social and Sensor Networks for Emergency Management von Shams, Farshad, Cerone, Antonio, De Nicola, Rocco


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Process Mining as a Modelling Tool: Beyond the Domain of Business Process Management

    Process Mining as a Modelling Tool: Beyond the Domain of Business Process Management von Cerone, Antonio


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Exploring the Role of Logic and Formal Methods in Information Systems Education

    Exploring the Role of Logic and Formal Methods in Information Systems Education von Zamansky, Anna, Farchi, Eitan


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Probabilistic Modelling and Analysis of a Fish Population

    Probabilistic Modelling and Analysis of a Fish Population von Cini, Chiara, Tesei, Luca, Scarcella, Giuseppe, Nieto Coria, Cesar A., Merelli, Emanuela


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Quantitative Modelling of Residential Smart Grids

    Quantitative Modelling of Residential Smart Grids von Galpin, Vashti


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Learning assertions to verify linked-list programs

    Learning assertions to verify linked-list programs von Mühlberg, Tobias, White, David H, Dodds, Mike, Lüttgen, Gerald, Piessens, Frank


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  14. 14
    From Failure to Proof: The ProB Disprover for B and Event-B

    From Failure to Proof: The ProB Disprover for B and Event-B von Krings, Sebastian, Bendisposto, Jens, Leuschel, Michael


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Formal Analysis of Proactive, Distributed Routing

    Formal Analysis of Proactive, Distributed Routing von Kamali, Mojgan, Höfner, Peter, Kamali, Maryam, Petre, Luigia


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Assumptions Underlying Agile Software-Development Processes

    Assumptions Underlying Agile Software-Development Processes von Turk, Daniel, France. Robert, Rumpe, Bernhard

    Veröffentlicht in Journal of database management

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Conceptual Model of the Globalization for Domain-Specific Languages

    Conceptual Model of the Globalization for Domain-Specific Languages von Clark, Tony, van den Brand, Mark, Combemale, Benoit, Rumpe, Bernhard


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP

    NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP von Carvalho, Gustavo, Barros, Flávia, Carvalho, Ana, Cavalcanti, Ana, Mota, Alexandre, Sampaio, Augusto


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  19. 19
    History-Based Verification of Functional Behaviour of Concurrent Programs

    History-Based Verification of Functional Behaviour of Concurrent Programs von Blom, Stefan, Huisman, Marieke, Zaharieva-Stojanovski, Marina


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Model-Based Robustness Testing in Event-B Using Mutation

    Model-Based Robustness Testing in Event-B Using Mutation von Savary, Aymerick, Frappier, Marc, Leuschel, Michael, Lanet, Jean-Louis


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: