2935 search results - page 228 / 587 » An Integrated Approach to High Integrity Software Verificati... |
173
click to vote
CHI
1998
ACM
15 years 11 months ago
1998
ACM
Designing computer-based learning environments must account for the context in which activity occurs, the tasks that students perform, and the tools that facilitate these tasks. W...
235
click to vote
DICS
2006
15 years 10 months ago
2006
Virtual laboratories can be characterized by their long-lasting, large-scale computations, where a collection of heterogeneous tools is integrated into data processing pipelines. S...
164
click to vote
ENVSOFT
2008
15 years 6 months ago
2008
ISAMUD (Integrated System for Analysis and Management of Ungulate Data) is an integrated and modular software platform developed to manage GPS collar data for wildlife management....
175
click to vote
IEEECIT
2006
IEEE
16 years 20 days ago
2006
IEEE
Although traditional software metrics have widely been applied to practical software projects, they have insufficient abilities to measure a large-scale system’s complexity at h...
165
click to vote
ICSE
1998
IEEE-ACM
15 years 11 months ago
1998
IEEE-ACM
We describe the design and implementation of system architecture to support object introspection in C++. In this system, information is collected by parsing class declarations, an...