6171 search results - page 115 / 1235 » The FrameNet Data and Software |
IFIP
1998
Springer
14 years 11 days ago
1998
Springer
Current object-oriented development practice is centered around application frameworks. In this paper, we argue that this approach is misleading, as it distracts from the ultimate...
WCRE
1996
IEEE
14 years 9 days ago
1996
IEEE
The extraction of reusable software components from existing systems is an attractive idea. The goal of the work in this paper is not to extract a component automatically, but to ...
FMICS
2010
Springer
13 years 8 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
TSE
2002
13 years 7 months ago
2002
Measurement programs in software organizations are an important source of control over quality and cost in software development. The findings of this research presented here are ba...
SAC
2008
ACM
13 years 7 months ago
2008
ACM
This work presents an approach for realizing Model-Driven software engineering in the distributed and multi-developers context. It particularly focuses on the scalability problems...