Sciweavers

1101 search results - page 129 / 221
» Barbed Model-Driven Software Development: A Case Study
Sort
View
CASES
2003
ACM
15 years 3 months ago
Lattice-based memory allocation
—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...
Alain Darte, Robert Schreiber, Gilles Villard
SCS
2003
14 years 11 months ago
A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments
The development of safety critical systems is guided by standards. Many standards require the development of a safety case to demonstrate the acceptability of Safety Critical Syst...
Rob Weaver, Jane Fenn, Tim Kelly
ESE
2000
61views Database» more  ESE 2000»
14 years 9 months ago
Requirements-Based Estimation of Change Costs
We present a case study that aims at quantitative assessment of the impact of requirements changes, and quantitative estimation of costs of the development activities that must be ...
Luigi Lavazza, Giuseppe Valetto
SEFM
2008
IEEE
15 years 4 months ago
Laws of Object-Orientation with Reference Semantics
Abstract. Algebraic laws have been proposed to support program transformation in several paradigms. In general, and for object-orientation in particular, these laws tend to ignore ...
Leila Silva, Augusto Sampaio, Zhiming Liu
COMPSAC
2005
IEEE
15 years 3 months ago
Empirical Validation of Website Timeliness Measures
Information timeliness is crucial for media-based websites. Although a couple of timeliness design strategies have been developed, timeliness measurement is still in its infancy. ...
Yanlong Zhang, Hong Zhu, Sue Greenwood