322 search results - page 62 / 65 » Software Quality and Life Cycles |
AIED
2005
Springer
14 years 2 months ago
2005
Springer
Educational content developers, including AIED developers, traditionally make a distinction between formative evaluation and summative evaluation of learning materials. Although th...
FORTE
1994
13 years 10 months ago
1994
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...
HCI
2009
13 years 6 months ago
2009
Game developers have begun applying formal human-computer interaction (HCI) principles in design. Desurvire et al [2] adapted a set of Heuristics for productivity software to games...
BMCBI
2005
13 years 8 months ago
2005
Chemical information is now seen as critical for most areas of life sciences. But unlike Bioinformatics, where data is Openly available and freely re-usable, most chemical informa...
VLSID
2001
IEEE
14 years 9 months ago
2001
IEEE
Networking hardware manufacturers face the dual demands of supporting ever increasing bandwidth requirements, while also delivering new features, such as the ability to implement ...