|
Title
|
Download
|
|
1 |
Automated Verication of UMLsec Models |
 |
|
2 |
Automatic Generation of Program Families |
|
|
3 |
Automatic Verication of a Behavioural Subset |
|
|
4 |
Automating Model Transformations in Agent-Oriented |
|
|
5 |
Automating Support for Software Evolution in UML |
|
|
6 |
Automating the Synthesis of UML Statechart Diagrams from Multiple |
|
|
7 |
Avoiding another Green Elephant |
|
|
8 |
Bridging the Gap Between Agent-Oriented Design |
|
|
9 |
Building a Geodatabase |
|
|
10 |
Business Modeling with UML |
|
|
11 |
Business Process Integration Using UML and BPEL4WS |
|
|
12 |
Business Process Modeling with EPC and UML |
|
|
13 |
BUSINESS PROCESS MODELING WITH UML |
|
|
14 |
BUSINESS PROCESS MODELING WITH UML1 |
|
|
15 |
BUSINESS PROCESSES EXTENSIONS |
|
|
16 |
BusinessModelingwithUMLDec01 |
|
|
17 |
CB-SPE Tool Putting Component-Based Performance |
|
|
18 |
Checking General Safety Criteria on UML Statecharts |
|
|
19 |
Checking the Consistency of UML Class Diagrams Using Larch |
|
|
20 |
Choreographing security and performance analysis |
|
|
21 |
Classification of Model Transformation Approaches |
|
|
22 |
Code generation from UML Models with semantic |
|
|
23 |
Combining UML XML and relational database technologies |
|
|
24 |
Common Warehouse Metamodel |
|
|
25 |
Comparing Two Model Transformation |
|
|
26 |
Comparing two UML Profiles for Non-functional |
|
|
27 |
Comparing UML 2.0 Interactions and MSC-2000 |
|
|
28 |
Comparison of Eclipse EMFGEF and MetaEdit+ for DSM |
|
|
29 |
Completeness and Consistency Analysis of UML |
|
|
30 |
Composable Designs with UFA |
|
|
31 |
Composable Mission Spaces and M&S Repositories |
|
|
32 |
Composing Aspect Models |
|
|
33 |
Conceptual Design of XML Document Warehouses |
|
|
34 |
Conformance Testing from UML Specifications |
|
|
35 |
Considerations about Model Mapping |
|
|
36 |
Consistency Checking Algorithms for Restricted |
|
|
37 |
Consistency Problems in UML-based |
|
|
38 |
Consistency-Preserving Model Evolution |
|
|
39 |
Consistent Architectural Refinement and Evolution |
|
|
40 |
Consistent Interaction of Software Components |
|
|
41 |
Contributions for Modelling UML State-Charts in B |
|
|
42 |
Converting XML Data To UML Diagrams |
|
|
43 |
Correct Development of Embedded Systems |
|
|
44 |
Correct Development of Real-Time Embedded Systems |
|
|
45 |
COUPLING SIMULINK AND UML MODELS |
|
|
46 |
Data Mapping Diagrams.of DW in UML |
|
|
47 |
Data modeling in UML and ORM a comparison |
|
|
48 |
Data modeling in UML and ORM revisited |
|
|
49 |
Deductive Verification of UML Models |
|
|
50 |
Defining Model Driven Engineering Processes |
|