|
Title
|
Download
|
|
1 |
Round-Trip_Software_Engineering_Using_UML-From_Architecture_to_Design_and_Back |
 |
|
2 |
Rule - Based Generation of XML DTDs |
|
|
3 |
RULE-BASED DETECTION OF INCONSISTENCY |
|
|
4 |
Rule-Based Generation of XML Schemas |
|
|
5 |
Scenario-based Synthesis of Annotated Class Diagrams in UML |
|
|
6 |
Second European Workshop on Model |
|
|
7 |
Selecting an Efficient OO Integration Testing Strategy |
|
|
8 |
Semantic Analysis and Consistency Checking |
|
|
9 |
Semantic Management advantages of using an ontology |
|
|
10 |
Semantic-Based Development |
|
|
11 |
Semantics of UML Statecharts in PVS |
|
|
12 |
Sematics of UML Sequence Diagrams in PVS |
|
|
13 |
Set Operations for the Unified Modeling |
|
|
14 |
Shop Data Model and Interface |
|
|
15 |
Simulation Modeling of UML Software Architectures |
|
|
16 |
Simulation-Based Performance Modeling |
|
|
17 |
Small-Scale XMI Programming |
|
|
18 |
Software Engineering for Adaptive Hypermedia |
|
|
19 |
Software Performance Modeling using UML |
|
|
20 |
Software Testing and the UML |
|
|
21 |
Software-platform-independent |
|
|
22 |
Some Preliminary Hints on Formalizing UML |
|
|
23 |
Specification of Interactions in Integrated Manufacturing |
|
|
24 |
Specification of Model Transformations |
|
|
25 |
Specifying Agent Interaction Protocols |
|
|
26 |
Specifying OLAP Cubes On XML Data |
|
|
27 |
SPECIFYING THE BEHAVIOUR |
|
|
28 |
Static Verification of UML Model Consistency |
|
|
29 |
Stereotypical Encounters of the Third Kind |
|
|
30 |
Strengthening UML Collaboration Diagrams |
|
|
31 |
Structure of the Dresden OCL Toolkit |
|
|
32 |
Style-Based Modeling and Refinement of Service-Oriented |
|
|
33 |
Supporting Disciplined Reuse and Evolution |
|
|
34 |
Supporting Several Levels of Restriction |
|
|
35 |
Syntax Semantics and All That Stuff |
|
|
36 |
Systematic Stereotype Usage |
|
|
37 |
Systematic Validation of Model Transformations |
|
|
38 |
Systems Views and Models of UML |
|
|
39 |
Technological Spaces an Initial Appraisal |
|
|
40 |
Temporal OCL Extensions for Specification of Real-Time Constraints |
|
|
41 |
Termination Criteria for Model Transformation |
|
|
42 |
Test synthesis from UML models using constraint |
|
|
43 |
Testing Distributed Component Based Systems Using UMLOCL |
|
|
44 |
Testing Web Applications by Modeling with FSMs |
|
|
45 |
The Abstract Syntax of RuleML |
|
|
46 |
The ADORA Approach to Object-Oriented Modeling of Software |
|
|
47 |
The Amsterdam Manifesto on OCL |
|
|
48 |
The Cow-Suite Approach to Planning |
|
|
49 |
The Epsilon Object Language |
|
|
50 |
The Essence of Multilevel Metamodeling |
|