|
Journals in DBLP
Preface. [Citation Graph (, )][DBLP]
From Architectural to Behavioural Specification of Services. [Citation Graph (, )][DBLP]
Parameter Dependencies for Component Reliability Specifications. [Citation Graph (, )][DBLP]
On the Specification of Full Contracts. [Citation Graph (, )][DBLP]
Using Heuristics to Automate Parameter Generation for Benchmarking of Java Methods. [Citation Graph (, )][DBLP]
Automatic, Model-Based Software Performance Improvement for Component-based Software Designs. [Citation Graph (, )][DBLP]
An Agile MDA Approach for Service-Oriented Components. [Citation Graph (, )][DBLP]
Refinement of Interface Automata Strengthened by Action Semantics. [Citation Graph (, )][DBLP]
Wrap Your Objects Safely. [Citation Graph (, )][DBLP]
Automated Construction of Reasonable Environment for Java Components. [Citation Graph (, )][DBLP]
Analyzing a Pattern-Based Model of a Real-Time Turntable System. [Citation Graph (, )][DBLP]
Model-based Runtime Verification Framework. [Citation Graph (, )][DBLP]
|