An original methodology, called backward model tracing to model student performance which features a profitable integration of the bug collection and bug construction techniques is presented. This methodology has been used for building the modelling module of a new version of ET (English Tutor), an ITS aimed at supporting the learning of the English verb system. Backward model tracing is based ...

In complex reasoning tasks, as expressible by Answer Set Programming (ASP), problems often permit for multiple solutions. In dynamic environments, where knowledge is continuously changing, the question arises how a given model can be incrementally adjusted relative to new and outdated information. This paper introduces Ticker, a prototypical engine for well-defined logical reasoning over stream...

This paper presents a symbolic reasoning algorithm for use in the construction of mixed-initiative inter&aces; that is, interfaces allowing several human or machine agents to share collectively the control of an ongoing, real-time activity. The algorithm, called Incremental Inference, is based on propositional logic and is related in structure to the Truth Maintenance System; however, the notio...

Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works, must be obtained from the IEEE. Abstract As software applications increase in size, grouping the applica...

One of Software Engineering’s main goals is to build complex applications in a simple way. For that, software components must be described by its functional and non-functional properties. Then, the problem is to know which component satisfies a specific need in a specific composition context, during software conception or maintenance. We state that this is a substitution problem in any of the t...

The changeability, a sub-characteristic of maintainability, refers to the level of effort which is required to do modifications to a software product line (SPL) application component. Assuming dependencies between SPL application components and reference architecture implementation (a platform), this paper empirically investigates the relationship between 7 design metrics and changeability of 4...

Lowering costs for software maintenance, development and reuse is a great challenge. Strategies like the 3 schema architecture for databases has shown to lower maintenance and development costs of databases. For a similar purpose an architecture has been developed over the last 10 years for object-oriented systems. This architecture is now named the COIR architecture and has helped in lowering ...

Knowledge management has become an important topic as organisations wish to take advantage of the information that they produce and that can be brought to bear on important decisions. This work describes a system to manage and reuse the information (and knowledge) generated during the software maintenance process, which consumes a large part of the software lifecycle costs. The architecture of ...

Some modern trends in software maintenance domain are depicted and discussed. The case study related topics, solutions, as well as some challenges and open problems based on the real maintenance project’s experience in the Ukrainian gas transport industry, are presented. The idea of knowledge-based unified Maintenance Environment for large legacy information systems creation necessity and possi...

Several knowledge management issues arise during the life-cycle of an interactive system. During the design phase software engineers need to acquire from users and domain experts knowledge about what they need and about the intended use of the interactive system. Subsequently, due to the phenomenon of user and system co-evolution, users modify their needs and/or their ways of using the system: ...