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

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter

فلترة النتائج

Collection : Archives Ouvertes Hal Imt Atlantique
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Generating operation specifications from UML class diagrams: A model transformation approach

Subjects: Behavior schema; Action; Operation

  • Source: ISSN: 0169-023X ; Data and Knowledge Engineering ; https://inria.hal.science/inria-00573717 ; Data and Knowledge Engineering, 2011, 70 (4), pp.365-389. ⟨10.1016/j.datak.2011.01.003⟩.

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

اقرأ أكثر حفظ في قائمتي
×
Conference

Initiating a Benchmark for UML and OCL Analysis Tools

Subjects: [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]Budapast; Hungary

  • Source: International Conference on Tests & Proofs (TAP) ; https://inria.hal.science/hal-00815040 ; International Conference on Tests & Proofs (TAP), Jun 2013, Budapast, Hungary

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

اقرأ أكثر حفظ في قائمتي
×
Conference

Alf-verifier: An Eclipse Plugin for Verifying Alf/UML Executable Models

Subjects: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]Florence; ItalyFlorence, Italy

  • Source: 31st International Conference on Conceptual Modeling (ER Workshops 2012)https://inria.hal.science/hal-0073457331st International Conference on Conceptual Modeling (ER Workshops 2012), Oct

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

اقرأ أكثر حفظ في قائمتي
×
Conference

Optimierte Suche von Modellinstanzen UML/OCL-Beschreibungen in USE

Subjects: [INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationBamberg; Germany

  • Source: Modellierung 2012 ; https://inria.hal.science/hal-00687124 ; Modellierung 2012, Mar 2012, Bamberg, Germany. pp.155-170

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

اقرأ أكثر حفظ في قائمتي
×
Conference

Extracting UML/OCL Integrity Constraints and Derived Types from Relational Databases

Subjects: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]Miami; United States

  • Source: 13th International Workshop on OCL, Model Constraint and Query Languageshttps://inria.hal.science/hal-0086923113th International Workshop on OCL, Model Constraint and Query Languages, Sep

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

اقرأ أكثر حفظ في قائمتي
×
Conference

A Tool-Supported Approach for Building the Architecture and Roadmap in MegaM@Rt2 Project

Subjects: Model Driven Engineering; UML; Software ArchitectureRome; Italy

  • Source: SEDA 2018: Proceedings of 6th International Conference in Software Engineering for Defence Applications ; https://hal.science/hal-01933464 ; SEDA 2018: Proceedings of 6th International Conference in

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

اقرأ أكثر حفظ في قائمتي
×
Conference

Model-Based System Engineering in Practice: Document Generation - MegaM@Rt2 Project Experience

Subjects: Document Generation; Requirements; Model-based System EngineeringMoscow; Russia

  • Source: 14th Central and Eastern European Software Engineering Conference Russia (CEE-SECR'18)https://hal.science/hal-0210285214th Central and Eastern European Software Engineering Conference

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

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

On a Tool-Supported Model-Based Approach for Building Architectures and Roadmaps: The MegaM@Rt2 Project Experience

Subjects: Model-Driven Engineering; Requirement Engineering; Architecture

  • Source: ISSN: 0141-9331 ; EISSN: 1872-9436.

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

اقرأ أكثر حفظ في قائمتي
×
Conference

UMLtoGraphDB: Mapping Conceptual Schemas to Graph Databases

Subjects: Gremlin; Database Design; UMLGifu; Japan

  • Source: ER 2016: Conceptual Modeling ; ER 2016 - 35th International Conference on Conceptual Modeling ; https://hal.science/hal-01344015 ; ER 2016 - 35th International Conference on Conceptual Modeling, Nov

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

اقرأ أكثر حفظ في قائمتي
×
Conference

Shared resources high-level modeling in embedded systems using virtual nodes

Subjects: System on chip; Hardware/software co-design; UMLToulouse; France

  • Source: Joint IEEE North-East Workshop on Circuits and Systems and TAISA Conference 2009 ; https://hal.science/hal-00423997 ; Joint IEEE North-East Workshop on Circuits and Systems and TAISA Conference 2009,

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

اقرأ أكثر حفظ في قائمتي
×