Sciweavers

3424 search results - page 368 / 685
» Automated Testing of Classes
Sort
View
ITNG
2007
IEEE
16 years 28 days ago
SERT: Software Tool for Generating Student Engagement Reports
Drawing on our previous work on survey and reporting tools that compare faculty expectations with what students report experiencing in class, this paper presents details of a new ...
Judith Ann Ouimet, Sermsak Buntha, Sergiu M. Dasca...
APLAS
2005
ACM
16 years 6 days ago
Calculating Polynomial Runtime Properties
Affine size-change analysis has been used for termination analysis of eager functional programming languages. The same style of analysis is also capable of compactly recording and ...
Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Bea...
DILS
2005
Springer
16 years 5 days ago
Setup and Annotation of Metabolomic Experiments by Integrating Biological and Mass Spectrometric Metadata
Unbiased metabolomic surveys are used for physiological, clinical and genomic studies to infer genotype-phenotype relationships. Long term reusability of metabolomic data needs bot...
Oliver Fiehn, Gert Wohlgemuth, Martin Scholz
LPAR
2005
Springer
16 years 4 days ago
Comparative Similarity, Tree Automata, and Diophantine Equations
The notion of comparative similarity ‘X is more similar or closer to Y than to Z’ has been investigated in both foundational and applied areas of knowledge representation and r...
Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter,...
WORDS
2003
IEEE
15 years 12 months ago
Weaving Aspects into Real-Time Operating System Design Using Object-Oriented Model Transformation
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...
Jiyong Park, Saehwa Kim, Seongsoo Hong