5832 search results - page 1046 / 1167 » Software complexity and maintainability |
143
Voted
CTW
2006
15 years 5 months ago
2006
Cognitive task analysis (CTA) approaches are currently needed in many domains to provide explicit guidance on redesigning existing systems. This study used goal-directed task analy...
151
Voted
IIE
2008
15 years 5 months ago
2008
Abstract. The paper examines the impact of ICT on students learning experiences and opportunities offered by virtual learning environment as an integral part of traditional learnin...
169
click to vote
ESWA
2006
15 years 5 months ago
2006
Artificial intelligence (AI) has increasingly gained attention in bioinformatics research and computational molecular biology. With the availability of different types of AI algor...
170
Voted
IJES
2006
15 years 5 months ago
2006
Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction&quo...
137
Voted
JAIR
2008
15 years 5 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...