Kovacs M et al. Formal analysis of BPEL workflows with compensation by model checking. (2008) COMPUTER SYSTEMS SCIENCE AND ENGINEERING 0267-6192 23 5 349-363, 1635351
Szakcikk (Folyóiratcikk) | Tudományos[1635351]
  1. * Gábor Bergmann et al. Incremental pattern matching for efficient computation of transitive closures. (2012) Megjelent: Graph Transformations pp. 386-400
    Konferenciaközlemény (Könyvrészlet) | Tudományos[2685917] [Nyilvános]
    Függő, Idéző: 2685917, Kapcsolat: 24126080
  2. Schönberger A et al. Configurable analysis of sequential multi-party choreographies. (2012) COMPUTER SYSTEMS SCIENCE AND ENGINEERING 0267-6192 27 2 117-132
    Folyóiratcikk | Tudományos[24126081] [Nyilvános]
    Független, Idéző: 24126081, Kapcsolat: 24126081
  3. * Gönczy L et al. Methodologies for Model-Driven Development and Deployment: an Overview. (2011) LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 6582 541-560
    Szakcikk (Folyóiratcikk) | Tudományos[1635352] [Egyeztetett]
    Függő, Idéző: 1635352, Kapcsolat: 24126082
  4. Lapadula A et al. A WSDL-based type system for asynchronous WS-BPEL processes. (2011) FORMAL METHODS IN SYSTEM DESIGN 0925-9856 1572-8102 38 2 119-157
    Folyóiratcikk | Tudományos[24126083] [Nyilvános]
    Független, Idéző: 24126083, Kapcsolat: 24126083
  5. Xue G et al. Modeling service interaction patterns. (2011) COMPUTER SYSTEMS SCIENCE AND ENGINEERING 0267-6192 26 2 103-113
    Folyóiratcikk | Tudományos[24126084] [Nyilvános]
    Független, Idéző: 24126084, Kapcsolat: 24126084
M Kovács et al. An Integrated Framework for the Dependability Evaluation of Distributed Mobile Applications. (2008) Megjelent: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems pp. 29-38, 2630599
Konferenciaközlemény (Könyvrészlet) | Tudományos[2630599]
  1. * Montecchi L et al. Towards a MDE Transformation Workflow for Dependability Analysis. (2011) Megjelent: 2011 16TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS) pp. 157-166
    Konferenciaközlemény (Könyvrészlet) | Tudományos[23938229] [Nyilvános]
    Függő, Idéző: 23938229, Kapcsolat: 23963336
  2. * Montecchi L et al. Dependability concerns in model-driven engineering. (2011) Megjelent: Proceedings - 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Works... pp. 254-263
    Konferenciaközlemény (Könyvrészlet) | Tudományos[23963337] [Nyilvános]
    Függő, Idéző: 23963337, Kapcsolat: 23963337
  3. * A Bondavalli et al. The HIDENETS Holistic Approach for the Analysis of Large Critical Mobile Systems. (2011) IEEE TRANSACTIONS ON MOBILE COMPUTING 1536-1233 1558-0660 10 6 783-796
    Szakcikk (Folyóiratcikk) | Tudományos[2664650] [Admin láttamozott]
    Függő, Idéző: 2664650, Kapcsolat: 23963338
  4. * Bondavalli A et al. Architecting and validating dependable systems: Experiences and visions. (2010) Megjelent: Architecting Dependable Systems VII. pp. 297-321
    Konferenciaközlemény (Könyvrészlet) | Tudományos[23963339] [Nyilvános]
    Függő, Idéző: 23963339, Kapcsolat: 23963339
  5. Gábor Bergmann et al. Efficient Model Transformations by Combining Pattern Matching Strategies. (2009) Megjelent: Theory and Practice of Model Transformations pp. 20-34
    Konferenciaközlemény (Könyvrészlet) | Tudományos[2645550] [Admin láttamozott]
    Független, Idéző: 2645550, Kapcsolat: 23963340
2024-02-25 20:14