543 results on '"Guerra, Esther"'
Search Results
102. Reusing Model Transformations Through Typing Requirements Models
103. A Transformation-Driven Approach to the Verification of Security Policies in Web Designs
104. Model View Management with Triple Graph Transformation Systems
105. Reusable abstractions for modeling languages
106. Example-driven meta-model development
107. Asymob
108. Analyzing the reliability of simulated distributed systems using metamorphic testing
109. Asymob: a platform for measuring and clustering chatbots
110. Automating the measurement of heterogeneous chatbot designs
111. Federal and State Regulatory Changes to Methadone Take-Home Doses: Impact of Sociostructural Factors
112. Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation
113. Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems
114. Specification-driven model transformation testing
115. Model-driven engineering with domain-specific meta-modelling languages
116. Abstract P1-08-26: Morphologic characterization of tumor-infiltrating lymphocytes and its relation with pathological response in a series of breast cancer patients treated with primary chemotherapy
117. Property Satisfiability Analysis for Product Lines of Modelling Languages
118. Lifted Invariant Analysis of Petri Net Product Lines
119. A formalisation of deep metamodelling
120. Colouring: execution, debug and analysis of QVT-relations transformations through coloured Petri nets
121. Using ATL Transformation Services in the MDEForge Collaborative Modeling Platform
122. Example-Based Generation of Graphical Modelling Environments
123. Automating the synthesis of recommender systems for modelling languages
124. New ideas: automated engineering of metamorphic testing environments for domain-specific languages
125. Wodel-Edu: An MDE Solution for the Generation and Evaluation of Diagram-based Exercises
126. Domain-specific discrete event modelling and simulation using graph transformation
127. A Comparison of Two-Level and Multi-level Modelling for Cloud-Based Applications
128. Reusable Model Transformation Components with bentō
129. Fundamental Approaches to Software Engineering
130. A language-independent and formal approach to pattern-based modelling with support for composition and analysis
131. Verification and validation of declarative model-to-model transformations through invariants
132. Recommender systems in model-driven engineering
133. Choosing a Chatbot Development Tool
134. Supporting user-oriented analysis for multi-view domain-specific visual languages
135. Luisa Francisca Acosta Ortega. Liderazgo con nombre de mujer.
136. Engineering model transformations with transML
137. From types to type requirements: genericity for model-driven engineering
138. Automated verification of model transformations based on visual contracts
139. Genericity for model management operations
140. Inter-modelling with patterns
141. Reverse Engineering of Model Transformations for Reusability
142. Towards the Systematic Construction of Domain-Specific Transformation Languages
143. Modelling on mobile devices
144. Creating and Migrating Chatbots with Conga
145. Towards Domain-Specific Modelling Environments Based on Augmented Reality
146. Enforced generative patterns for the specification of the syntax and semantics of visual languages
147. Visual specification of measurements and redesigns for domain specific visual languages
148. A UML/OCL framework for the analysis of graph transformation rules
149. Facet-oriented Modelling
150. Relevance of pathologic features in risk stratification for early-stage endometrial cancer
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.