Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Filter
  • 1-10 ل  10 نتائج ل ""UML""
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Reactive Semantics for Distributed UML Activities

Subjects: UML Activities; UML Semantics; Reactive SystemsAmsterdam; Netherlands

  • Source: Lecture Notes in Computer Science ; Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on

تفاصيل العنوان

×
Conference

UML Models for Dependability Analysis of Real-Time Systems

Subjects: Real-time systems; UML; dependability analysisLa Hague; Netherlands

  • Source: Proceedings SMC04, IEEE International Conference on Systems, Man and Cybernetics ; SMC04, IEEE International Conference on Systems, Man and Cybernetics ; https://hal.science/hal-00354034 ; SMC04, IEEE

تفاصيل العنوان

×
Conference

Consistency in UML and B multi-view specifications

Subjects: consistency; verification; operatorEindhoven; Netherlands

  • Source: Fifth International Conference on Integrated Formal Methods - IFM'2005 ; https://hal.science/hal-00009478 ; Fifth International Conference on Integrated Formal Methods - IFM'2005, 2005, Eindhoven,

تفاصيل العنوان

×
Conference

A toolkit for weaving aspect oriented UML designs

Subjects: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]Enschede; Netherlands

  • Source: Proceedings of 1st ACM International Conference on Aspect Oriented Software Development, AOSD 2002 ; https://hal.inria.fr/hal-00794767 ; Proceedings of 1st ACM International Conference on Aspect

تفاصيل العنوان

×
Conference

Design Decisions by Voice: The Next Step of Software Architecture Knowledge Management

Subjects: Software architecture; Architectural knowledge; Design DecisionsEindhoven; Netherlands

  • Source: Lecture Notes in Computer Science ; 8th International Conference on Human-Centred Software Engineering (HCSE) ; https://inria.hal.science/hal-03250497 ; 8th International Conference on Human-Centred

تفاصيل العنوان

×
Conference

P2AMF: Predictive, Probabilistic Architecture Modeling Framework

Subjects: probabilistic inference; system properties; predictionEnschede; Netherlands

  • Source: Lecture Notes in Business Information Processing ; 5th International Working Conference on Enterprise Interoperability (IWEI) ; https://inria.hal.science/hal-01474204 ; 5th International Working

تفاصيل العنوان

×
Conference

Healthcare Network Modeling and Analysis

Subjects: Healthcare network; collaboration; performance indicatorsAmsterdam; Netherlands

  • Source: IFIP Advances in Information and Communication Technology ; 15th Working Conference on Virtual Enterprises (PROVE) ; https://hal.inria.fr/hal-01392175 ; 15th Working Conference on Virtual Enterprises

تفاصيل العنوان

×
Conference

Organizational Sustainability and Value Creation in Collaborative Networks

Subjects: Collaborative Networks; Value Creation; SustainabilityAmsterdam; Netherlands

  • Source: IFIP Advances in Information and Communication Technology ; 15th Working Conference on Virtual Enterprises (PROVE) ; https://hal.inria.fr/hal-01392134 ; 15th Working Conference on Virtual Enterprises

تفاصيل العنوان

×
  • 1-10 ل  10 نتائج ل ""UML""