Sciweavers

846 search results - page 126 / 170
» On the Evolution of IMEDIA Implementations
Sort
View
KBSE
1999
IEEE
14 years 1 months ago
AML: An Architecture Meta-Language
The language AML is used to specify the semantics of architecture description languages, ADLs. It is a very primitive language, having declarations for only three constructs: elem...
David S. Wile
FAC
2006
122views more  FAC 2006»
13 years 9 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
CG
2007
Springer
13 years 9 months ago
Visual data mining and analysis of software repositories
In this article we describe an ongoing effort to integrate information visualization techniques into the process of configuration management for software systems. Our focus is to...
Lucian Voinea, Alexandru Telea
HICSS
1998
IEEE
136views Biometrics» more  HICSS 1998»
14 years 1 months ago
Application of Technology and Asynchronous Learning Networks in Large Lecture Classes
The evolution of the computer-assisted personalized approach (CAPA) system and its use in large lecture classes is described. Further individual student contact in these large cla...
M. Thoennessen, E. Kashy, Y. Tsai, N. E. Davis
ER
1998
Springer
145views Database» more  ER 1998»
14 years 1 months ago
Design and Analysis of Quality Information for Data Warehouses
Data warehouses are complex systems that have to deliver highly-aggregated, high quality data from heterogeneous sources to decision makers. Due to the dynamic change in the requir...
Manfred A. Jeusfeld, Christoph Quix, Matthias Jark...