Showing 1 - 19 results of 19 for search 'Heckel, Reiko', query time: 0.32s Refine Results
  1. 1
    Stochastic modelling & analysis of dynamic human-resource allocation (StADy)
    by Donyina, Adwoa Dansoa
    Published 2011
    Other Authors: “...Heckel, Reiko...”
    Get full text
  2. 2
    Stochastic simulation of P2P VoIP network reconfiguration using graph transformation
    by Khan, Ajab
    Published 2012
    Other Authors: “...Heckel, Reiko...”
    Get full text
  3. 3
    Reengineering software to three-tier applications and services
    by Matos, Carlos Manuel Pinto de
    Published 2012
    Other Authors: “...Heckel, Reiko...”
    Get full text
  4. 4
    The domain name system advisor : a model-based quality assurance framework
    Other Authors: “...Heckel, Reiko...”
    Get full text
  5. 5
    Model-based testing using visual contracts
    by Khan, Tamim Ahmed
    Published 2012
    Other Authors: “...Heckel, Reiko. : Boronat, Artur...”
    Get full text
  6. 6
    Modular performance modelling of mobile applications using graph transformation
    by Arijo, Niaz Hussain
    Published 2012
    Other Authors: “...Heckel, Reiko : Fiadeiro, Jose...”
    Get full text
  7. 7
    Matching of service feature diagrams based on linear logic
    by Naeem, Muhammad
    Published 2012
    Other Authors: “...Heckel, Reiko; Fiadeiro, Jose...”
    Get full text
  8. 8
    Search-based and goal-oriented refactoring using unfolding of graph transformation systems
    by Qayum, Fawad
    Published 2012
    Other Authors: “...Heckel, Reiko. : Boronat, Artur...”
    Get full text
  9. 9
    Zooming out of membrane graph transformation systems
    by Bapodra, Mayur
    Published 2013
    Other Authors: “...Heckel, Reiko; Ulidowksi, Irek...”
    Get full text
  10. 10
    Inferring visual contracts from Java applications
    Other Authors: “...Heckel, Reiko ; Walkinshaw, Neil...”
    Get full text
  11. 11
    Modelling, realisations and limitations of concurrent delay-insensitive networks
    by Morrison, Daniel
    Published 2017
    Other Authors: “...Ulidowski, Irek ; Heckel, Reiko...”
    Get full text
  12. 12
    Graph transformation games for negotiating features
    Other Authors: “...Heckel, Reiko ; Erlebach, Thomas...”
    Get full text
  13. 13
    Design-by-contract for software architectures
    by Poyias, Kyriakos
    Published 2014
    Other Authors: “...Tuosto, Emilio; Heckel, Reiko...”
    Get full text
  14. 14
    Integrating user knowledge into design pattern detection
    by Alshira'H, Mohammad H.
    Published 2015
    Other Authors: “...Walkinshaw, Neil ; Heckel, Reiko...”
    Get full text
  15. 15
    CMMI-CM compliance checking of formal BPMN models using Maude
    by El-Saber, Nissreen A. S.
    Published 2015
    Other Authors: “...Boronat, Artur; Heckel, Reiko...”
    Get full text
  16. 16
    A calculus of mobility and communication for ubiquitous computing
    by Gul, Nosheen
    Published 2015
    Other Authors: “...Ulidowski, Irek; Heckel, Reiko...”
    Get full text
  17. 17
    Modelling and analysing adaptive networks : from graph transformation system to ordinary differential equation
    by Hussein, Mudhafar Saber
    Published 2017
    Other Authors: “...Heckel, Reiko ; Ridge, Thomas...”
    Get full text
  18. 18
    Maintaining transactional integrity in long running workflow services : a policy-driven framework
    by Ali, Manar Sayed Salamah
    Published 2013
    Other Authors: “...Reiff-Marganiec, Stephan; Heckel, Reiko...”
    Get full text
  19. 19
    Activity awareness in context-aware systems using software sensors
    by Pathan, Kamran Taj
    Published 2013
    Other Authors: “...Reiff-Marganiec, Stephan; Heckel, Reiko...”
    Get full text
Search Tools: Get RSS Feed — Email this Search