Conferences in DBLP

(models)
2008 (conf/models/2008)

1. 
   The Objects and Arrows of Computational Design. [Citation Graph (, )][DBLP]
   
   
2. 
   Algebraic Models for Bidirectional Model Synchronization. [Citation Graph (, )][DBLP]
   
   
3. 
   An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations. [Citation Graph (, )][DBLP]
   
   
4. 
   Precise Semantics of EMF Model Transformations by Graph Transformation. [Citation Graph (, )][DBLP]
   
   
5. 
   A Formal Metamodel for Problem Frames. [Citation Graph (, )][DBLP]
   
   
6. 
   Visualization of Use Cases through Automatically Generated Activity Diagrams. [Citation Graph (, )][DBLP]
   
   
7. 
   Requirements Modeling and Validation Using Bi-layer Use Case Descriptions. [Citation Graph (, )][DBLP]
   
   
8. 
   WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web Applications. [Citation Graph (, )][DBLP]
   
   
9. 
   The Future of Train Signaling. [Citation Graph (, )][DBLP]
   
   
10. 
    NAOMI - An Experimental Platform for Multi-modeling. [Citation Graph (, )][DBLP]
    
    
11. 
    Abstraction and Modelling - A Complementary Partnership. [Citation Graph (, )][DBLP]
    
    
12. 
    Model Transformation as an Optimization Problem. [Citation Graph (, )][DBLP]
    
    
13. 
    Example-Based Program Transformation. [Citation Graph (, )][DBLP]
    
    
14. 
    Detecting Patterns of Poor Design Solutions Using Constraint Propagation. [Citation Graph (, )][DBLP]
    
    
15. 
    A General Approach for Scenario Integration. [Citation Graph (, )][DBLP]
    
    
16. 
    Behavioral Modelling and Composition of Object Slices Using Event Observation. [Citation Graph (, )][DBLP]
    
    
17. 
    Scenario-Based Static Analysis of UML Class Models. [Citation Graph (, )][DBLP]
    
    
18. 
    Constructing Models with the Human-Usable Textual Notation. [Citation Graph (, )][DBLP]
    
    
19. 
    X3D-UML: 3D UML State Machine Diagrams. [Citation Graph (, )][DBLP]
    
    
20. 
    Assessing the Influence of Stereotypes on the Comprehension of UML Sequence Diagrams: A Controlled Experiment. [Citation Graph (, )][DBLP]
    
    
21. 
    3D Parametric Models for Aeroplanes - From Idea to Design. [Citation Graph (, )][DBLP]
    
    
22. 
    MOOGLE: A Model Search Engine. [Citation Graph (, )][DBLP]
    
    
23. 
    Managing Model Conflicts in Distributed Development. [Citation Graph (, )][DBLP]
    
    
24. 
    Metamodel Matching for Automatic Model Transformation Generation. [Citation Graph (, )][DBLP]
    
    
25. 
    Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams. [Citation Graph (, )][DBLP]
    
    
26. 
    Implementation of the Conformance Relation for Incremental Development of Behavioural Models. [Citation Graph (, )][DBLP]
    
    
27. 
    A Model-Based Framework for Statically and Dynamically Checking Component Interactions. [Citation Graph (, )][DBLP]
    
    
28. 
    Formal Definition of MOF 2.0 Metamodel Components and Composition. [Citation Graph (, )][DBLP]
    
    
29. 
    Interfaces and Metainterfaces for Models and Metamodels. [Citation Graph (, )][DBLP]
    
    
30. 
    Model&Metamodel, Metadata and Document Repository for Software and Data Integration. [Citation Graph (, )][DBLP]
    
    
31. 
    Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax. [Citation Graph (, )][DBLP]
    
    
32. 
    A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency. [Citation Graph (, )][DBLP]
    
    
33. 
    Contrary-to-Duties Constraints: From UML to Relational Model. [Citation Graph (, )][DBLP]
    
    
34. 
    A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms. [Citation Graph (, )][DBLP]
    
    
35. 
    Integrating Performance Analysis in the Model Driven Development of Software Product Lines. [Citation Graph (, )][DBLP]
    
    
36. 
    A Model-Driven Measurement Approach. [Citation Graph (, )][DBLP]
    
    
37. 
    Specifying Service Composition Using UML 2.x and Composition Policies. [Citation Graph (, )][DBLP]
    
    
38. 
    A Model-Based Framework for Security Policy Specification, Deployment and Testing. [Citation Graph (, )][DBLP]
    
    
39. 
    A Pattern Language Verifier for Web-Based Enterprise Applications. [Citation Graph (, )][DBLP]
    
    
40. 
    Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty. [Citation Graph (, )][DBLP]
    
    
41. 
    Autonomic Management Policy Specification: From UML to DSML. [Citation Graph (, )][DBLP]
    
    
42. 
    Empirical Analysis of the Relation between Level of Detail in UML Models and Defect Density. [Citation Graph (, )][DBLP]
    
    
43. 
    An Empirical Investigation on Dynamic Modeling in Requirements Engineering. [Citation Graph (, )][DBLP]
    
    
44. 
    Heterogeneous Coupled Evolution of Software Languages. [Citation Graph (, )][DBLP]
    
    
45. 
    Automatability of Coupled Evolution of Metamodels and Models in Practice. [Citation Graph (, )][DBLP]
    
    
46. 
    Enriching Reverse Engineering with Annotations. [Citation Graph (, )][DBLP]
    
    
47. 
    Towards a Formal Account of a Foundational Subset for Executable UML Models. [Citation Graph (, )][DBLP]
    
    
48. 
    A Lightweight Approach for Defining the Formal Semantics of a Modeling Language. [Citation Graph (, )][DBLP]
    
    
49. 
    Semantically Configurable Code Generation. [Citation Graph (, )][DBLP]
    
    
50. 
    Safety Hazard Identification by Misuse Cases: Experimental Comparison of Text and Diagrams. [Citation Graph (, )][DBLP]
    
    
51. 
    Adding Dependability Analysis Capabilities to the MARTE Profile. [Citation Graph (, )][DBLP]
    
    
52. 
    Visual ScatterUnit: A Visual Model-Driven Testing Framework of Wireless Sensor Networks Applications. [Citation Graph (, )][DBLP]
    
    
53. 
    Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation. [Citation Graph (, )][DBLP]
    
    
54. 
    An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability. [Citation Graph (, )][DBLP]
    
    
55. 
    Managing Variability Complexity in Aspect-Oriented Modeling. [Citation Graph (, )][DBLP]
    
    
56. 
    Mapping the UML2 Semantics of Associations to a Java Code Generation Model. [Citation Graph (, )][DBLP]
    
    
57. 
    Meaningful Composite Structures. [Citation Graph (, )][DBLP]
    
    
58. 
    A Systematic Approach to Connectors in a Multi-level Modeling Environment. [Citation Graph (, )][DBLP]
    
    
59. 
    Model-Based Quality Assurance of Automotive Software. [Citation Graph (, )][DBLP]
    
    
60. 
    Ontology Guided Evolution of Complex Embedded Systems Projects in the Direction of MDA. [Citation Graph (, )][DBLP]
    
    
61. 
    General Mode Controller for Software on Artificial Satellite with Model-Based Validation Tool. [Citation Graph (, )][DBLP]
    
    
62. 
    Workshops at MODELS 2008. [Citation Graph (, )][DBLP]
    
    
63. 
    Educators Symposium at MODELS 2008. [Citation Graph (, )][DBLP]
    
    
64. 
    Doctoral Symposium at MODELS 2008. [Citation Graph (, )][DBLP]
    
    
65. 
    Tutorials at MODELS 2008. [Citation Graph (, )][DBLP]
    
    
66. 
    Panels at MODELS 2008. [Citation Graph (, )][DBLP]