Sciweavers

5810 search results - page 215 / 1162
» An Approach to Programming Based on Concepts
Sort
View
ICALT
2003
IEEE
15 years 11 months ago
An Intelligent Tutoring System Prototype for Learning to Program Java?
The “JavaTM Intelligent Tutoring System” (JITS) research project involves the development of a programming tutor designed for students in their first programming course in Jav...
Edward R. Sykes
CLEIEJ
2006
108views more  CLEIEJ 2006»
15 years 6 months ago
Quality in Development Process for Software Factories According to ISO 15504
Currently the concept of Software Factories (SF), where reuse plays a leading role, is being adopted. Due to the different approaches in this area, and although SF concept is not ...
Kenyer Domínguez, María A. Pé...
CMOT
2006
146views more  CMOT 2006»
15 years 6 months ago
Normative KGP agents
We extend the logical model of agency known as the KGP model, to support agents with normative concepts, based on the roles an agent plays and the obligations and prohibitions tha...
Fariba Sadri, Kostas Stathis, Francesca Toni
SEFM
2007
IEEE
16 years 20 days ago
Automatically Proving Concurrent Programs Correct
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
Byron Cook
CSC
2006
15 years 7 months ago
An Algorithm to Solve a Linear Program
: This work is about an algorithm for solving a linear program which is simple to apply. There are three algorithms in this work. The first algorithm solves a two-variable linear p...
Rajan Alex