|
Title
|
Download
|
|
1 |
A Case Study in Requirement |
 |
|
2 |
A case study in UML model-based dynamic validation |
|
|
3 |
A Challenging Model Transformation |
|
|
4 |
A Coloured Petri Net Formalisation |
|
|
5 |
A Comparative Analysis of i-Based Agent-Oriented Modeling Languages |
|
|
6 |
A comparison of UML and ORM |
|
|
7 |
A Context Modeling Survey |
|
|
8 |
A core product model for representing |
|
|
9 |
A Formal Framework for Reasoning on UML Class |
|
|
10 |
A Formal Framework for UML Modelling with Timed |
|
|
11 |
A Formalism for Specifying |
|
|
12 |
A Framework for Aspect-Oriented Modeling |
|
|
13 |
A Framework for Aspect-Oriented Modeling |
|
|
14 |
A general framework based on XSLT |
|
|
15 |
A Generic Deep Copy Algorithm |
|
|
16 |
A graphical transformation language for MDA |
|
|
17 |
A Layered Approach for Modelling |
|
|
18 |
A MDA-Based Approach forWeb Information System |
|
|
19 |
A Metamodel for Aspect-Oriented Modeling |
|
|
20 |
A Metamodel for Generating Performance Models |
|
|
21 |
A Metamodel for the Unified Modeling Language |
|
|
22 |
A Metamodel-Based OCL-Compiler |
|
|
23 |
A Methodology for the Conceptual Modeling |
|
|
24 |
A methodology for the development |
|
|
25 |
A MODEL CHECKING VERIFICATION ENVIRONMENT |
|
|
26 |
A model driven approach to building |
|
|
27 |
a Model Driven Architectural Approach |
|
|
28 |
A Model Transformation Framework for Domain Specific Languages |
|
|
29 |
A Model Transformation Framework for Domain Specific Languages |
|
|
30 |
A Modeling Language for Object-Oriented Frameworks |
|
|
31 |
A Practical Approach to Bridging |
|
|
32 |
A Precise Approach to Validating UML Models |
|
|
33 |
A Preliminary Identification of MDA Components |
|
|
34 |
A Process Modeling Language Consisting of High |
|
|
35 |
A Proposal for a Formal OCL Semantics |
|
|
36 |
A QoS-oriented Extension of UML Statecharts |
|
|
37 |
A Relation Between Context-Free |
|
|
38 |
A Relational Model for Formal Object-Oriented |
|
|
39 |
A Scalable Incomplete Test for the Boundedness of UML |
|
|
40 |
A Semantics for UML-RT Active Classes |
|
|
41 |
A Semiotic Approach to UML Models |
|
|
42 |
A SoC design flow based on UML 2.0 and SystemC |
|
|
43 |
A Software Engineering Approach to Design |
|
|
44 |
A Systematic Approach to Metamodeling |
|
|
45 |
A TOOL FOR LIGHTWEIGHT |
|
|
46 |
A UML 2 Profile for Business Process Modelling |
|
|
47 |
A UML 2.0 Profile for WebML Modeling |
|
|
48 |
A UML and OWL Description of Bunges |
|
|
49 |
A UML MODEL FOR SESSION MANAGEMENT IN COLLABORATIVE DESIGN |
|
|
50 |
A Case Study in Requirement |
|