3,089 research outputs found

    Towards a debugging tutor for object-oriented environments

    Get PDF
    Programming has provided a rich domain for Artificial Intelligence in Education and many systems have been developed to advise students about the bugs in their programs, either during program development or post-hoc. Surprisingly few systems have been developed specifically to teach debugging. Learning environment builders have assumed that either the student will be taught these elsewhere or thatthey will be learnt piecemeal without explicit advice.This paper reports on two experiments on Java debugging strategy by novice programmers and discusses their implications for the design of a debugging tutor for Java that pays particular attention to how students use the variety of program representations available. The experimental results are in agreement with research in the area that suggests that good debugging performance is associated with a balanced use ofthe available representations and a sophisticated use of the debugging step facility which enables programmers to detect and obtain information from critical momentsin the execution of the program. A balanced use of the available representations seemsto be fostered by providing representations with a higher degree of dynamic linkingas well as by explicit instruction about the representation formalism employed in the program visualisations

    Modelo de estratégia e coordenação genérico para sistemas multi-agente

    Get PDF
    Estágio realizado na Universidade de Aveiro e orientado pelo Prof. Doutor Jose Nuno Panelas Nunes LauTese de mestrado integrado. Engenharia Electrotécnica e de Computadores. Faculdade de Engenharia. Universidade do Porto. 200

    Implementing a Business Process Management System Using ADEPT: A Real-World Case Study

    Get PDF
    This article describes how the agent-based design of ADEPT (advanced decision environment for processed tasks) and implementation philosophy was used to prototype a business process management system for a real-world application. The application illustrated is based on the British Telecom (BT) business process of providing a quote to a customer for installing a network to deliver a specified type of telecommunication service. Particular emphasis is placed upon the techniques developed for specifying services, allowing heterogeneous information models to interoperate, allowing rich and flexible interagent negotiation to occur, and on the issues related to interfacing agent-based systems and humans. This article builds upon the companion article (Applied Artificial Intelligence Vol.14, no 2, pgs. 145-189) that provides details of the rationale and design of the ADEPT technology deployed in this application

    User Interaction in Deductive Interactive Program Verification

    Get PDF
    corecore