4350 search results - page 295 / 870 » Case studies for contract-based systems |
187
click to vote
ACTA
2005
15 years 6 months ago
2005
A general framework for typing graph rewriting systems is presented: the idea is to statically derive a type graph from a given graph. In contrast to the original graph, the type g...
179
click to vote
CBMS
2005
IEEE
16 years 9 days ago
2005
IEEE
In this paper, we present our spreadsheet framework, which uses a spreadsheet-like interface for exploring biomedical datasets. The principles and advantages of this class of visu...
147
click to vote
CASES
2003
ACM
15 years 12 months ago
2003
ACM
—We investigate the problem of memory reuse in order to reduce the memory needed to store an array variable. We develop techniques that can lead to smaller memory requirements in...
166
click to vote
IWSSD
2000
IEEE
15 years 11 months ago
2000
IEEE
In recent years, UML has become a standard language for modeling software requirements and design. In this paper we investigate the suitability of UML as a semiformal requirements...
138
click to vote
ACMDIS
1997
ACM
15 years 11 months ago
1997
ACM
The design of tailorable systems is an important issue for fields of application which are characterized by differentiation and dynamics. We show how tailorability can be combined...