1220 search results - page 93 / 244 » Dependent classes |
128
click to vote
SEMCO
2009
IEEE
15 years 7 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
100
Voted
TLCA
2007
Springer
15 years 6 months ago
2007
Springer
We present a size-aware type system for first-order shapely function definitions. Here, a function definition is called shapely when the size of the result is determined exactly...
87
Voted
SAS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
129
Voted
SERP
2007
15 years 2 months ago
2007
- Since the advent of model driven software engineering (MDSE) it has become necessary to develop techniques and tools for model evolution. In this paper we examine two issues and ...
184
click to vote
VLDB
2007
ACM
16 years 28 days ago
2007
ACM
Although the presence of a schema enables many optimizations for operations on XML documents, recent studies have shown that many XML documents in practice either do not refer to ...