Sciweavers

2834 search results - page 171 / 567
» Design Intent-Oriented Modelling Tools for Aesthetic Design
Sort
View
ISOLA
2010
Springer
15 years 4 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle
ICSE
2008
IEEE-ACM
16 years 7 months ago
Clonetracker: tool support for code clone management
Code clones are generally considered to be an obstacle to software maintenance. Research has provided evidence that it may not always be practical, feasible, or cost-effective to ...
Ekwa Duala-Ekoko, Martin P. Robillard
JBI
2008
169views Bioinformatics» more  JBI 2008»
15 years 6 months ago
A collaborative medical case authoring environment based on the UMLS
In this paper, we present a novel collaborative authoring tool that was designed to allow medical teachers to formalize and visualize their knowledge for medical intelligent tutor...
Siriwan Suebnukarn, Peter Haddawy, Phattanapon Rhi...
AIED
2005
Springer
16 years 1 days ago
The Assistment Builder: A Rapid Development Tool for ITS
Intelligent Tutoring Systems are notoriously costly to construct [1], and require PhD level experience in cognitive science and rule based programming. The goal of this research wa...
Terrence E. Turner, Michael A. Macasek, Goss Nuzzo...
BCS
2008
15 years 8 months ago
Tools for Traceable Security Verification
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
Jan Jürjens, Yijun Yu, Andreas Bauer 0002