Francisco José Correa Zabala Professor Researcher Logic and Computation Group Software Engineering Group EAFIT University Medellín, Colombia, South America Braga, Portugal Junio de 2005

Research Groups in Dept. of Fundamental Sciences Computing and Educations. Virtual Reality. Software Engineering. Networks and distribute System.

Computing and Educations John Trujillo: –Ph.D. Universidad Autónoma de Barcelona Research in: –Instructional design to virtual context –Research on ICT integration and applications in education –Ubiquitous education –Collaborative environments mediated by ICT

Virtual Reality Leader: –Helmuth Trefftz (Ph.D. Rutgers University) Research in: –Collaborative Virtual Reality with applications in education –Collaborative Augmented Reality with applications in industry and education –Virtual Reality for training –Projected Virtual Reality environments

Software Engineering group Research areas Methodology and Models for software development Guarantying Qualify Knowledge Management Declarative Debugging Logical – functional programming

Software Engineering group Investigators –Raquel Anaya de Paez (Ph.D. Informatics) –Mónica Henao Cálad (Ph.D. Informatics) –Francisco José Correa Zabala (Ph.D. Informatics) –Omar García Palencia (Student Ph.D. ) –Rafael David Rincón Bermudez (Ms. C. Qualify system) –Alberto Restrepo Velásquez (Ms. C. Business Administration)

Knowledge Management Leader: –Mónica Henao Cálad. Ph.D. Universidad Politécnica de Valencia, Spain Research in: –Knowledge Management (KM) KM process, Relation between theory and real application, TIC and Culture in KM –Knowledge Engineering Knowledge Acquisition, Knowledge Modeling, Concept Mapping –Knowledge Knowledge modeling, Knowledge creation, Relation between knowledge and intelligence, Analysis and Solution Problems –Software Engineering Software Requirements, Process modeling –Education

Formal Methods Leader: –Francisco José Correa Zabala. Ph.D. Universidad Politécnica de Valencia, Spain Research in –Declarative Debugging –Paradigm Integration: functional logic programs –Genetic algorithm

Declarative Debugging We develop a general framework for the declarative debugging of functional logic programs 1. Declarative debugging is commonly done by comparing the actual semantics of the program with the intended semantics for the same program, or user's expectations.

Declarative Debugging Our approach is parametric with respect to strategy of narrowing. In order to provide a finite diagnosis technique we then present a methodology which is based on abstract interpretation.

Declarative Debugging By comparing: –Actual program (fixpoint, declarative and operational semantics) –Intended semantic ( a program, semantics or oracle) Objective: to eliminate differences between both actual program and intended semantics

Declarative Debugging of functional logic programs We extended or base on different approaches: –Declarative debugging of logic program following approach of Shapiro 3, Comini, Lloyd, Ferrand, E. Y. Shaphiro. Algorithmic Program Debugging. The MIT Press, Cambridge, Massachusetts, ACM Distinguished Dissertation. M. Comini, G. Levi, and G. Vitiello. Abstract Debugging of Logic Programs. In L. Fribourg and F. Turini, editors, Proc. Logic Program Synthesis and Transformation and Metaprogramming in Logic 1994, volume 883 of Lecture Notes in Computer Science, pages 440–450. Springer-Verlag, Berlin, J. W. Lloyd. Declarative Error Diagnosis. New Generation Computing, 5(2):133– 154, G. Ferrand. Error Diagnosis in Logic Programming, an Adaptation of e. y. Shapiro’s Method. Journal of Logic Programming, 4:177–198, 1987.

Declarative Debugging of functional logic programs We extended or base on different approaches: –S_semantics of Falaschi –Debugging Scheme of functional program of Naishe, –But, it is different of declarative debugging of functional logic program of Caballero. M. Falaschi, G. Levi, M. Martelli, and C. Palamidessi. Declarative Modeling of the Operational Behavior of Logic Languages. Theoretical Computer Science, 69(3):289–318, L. Naish and T. Barbour. Declarative Debugging of a Logical-Functional Language. Technical report 94/30, Department of Computer Science, University of Melbourne, Melbourne, Australia, December 1994.

Declarative Debugging We associate to “our programs” a (continuous) immediate consequences operator (Fixpoint Semantics). Then we show that, given the intended specification of the program, we can check the program correctness by a single step of this operator.

Automatic Correction of functional logic programs We use the result of debugging techniques for to apply strategies of programs correction. –We generate positives and negative examples then we apply inductive learning techniques. –We use inverses operator base on narrowing strategy.

Software for debugging BUGGY system. It detects errors in the program NOBug System. It corrects the program.

Current Projects and activities 2 projects with UPV A Integrated framework in declarative debugging and correction of functional logic program. EAFIT Organization of Annual event in Medellín “Jornadas de Investigación en Informática”

Current Proyects SELF with UPV We search strategies for optimize our approach. We pretend to apply the realistic program in the same paradigm. We want to apply the debugging techniques in other paradigms. We search new technique for to specific the intended semantics

Networks and Distributed Systems Research Group (NDSRG) People: –Leader: Edwin Montoya, emontoya, BSc Computer Science & Ph.D. in Telecommunications (UPV, Spain) –Juan Guillermo Lalinde, BSc Computer, Mathematics & Ph.D. in Telecommunications (UPV, Spain) –Juan Francisco Cardona, BSc Computer Science & MSc in Computer Science.

Networks and Distributed Systems Research Group (NDSRG) Research in: –Digital Libraries –Mobile Computing –Security –Concurrent Systems

Current Projects Digital Libraries architecture based on Dublin Core. Federation of Digital Libraries based on OAI-PMH and Web Services protocols. An evaluation of a mobile collaborative architecture including Laptops, PDAs and TabletPCs in a m-learning context –(Grant of HP) Real-Time Telemetry System on Wireless Networks. Location Based Mobile Applications through PDA and GPS, Context-Aware in m-learning Systems. Mobile Tutoring Architecture for a m-learning system.

Past Projects Design and Implementation of a Digital Video Library Location Based Mobile Applications through Cellular Phones Product availability application by using CDPD SIMOVIL: Information System of Services and Products in Indoor Environment Using Mobile Devices.

Juan Francisco Cardona Professor in EAFIT. –Candidate to Ph. D. in LerNET project –B. Sc Computer Science –M. Sc in Computer Science. Research areas. –Embedded Systems –Programming Languages –Distributed Systems

Juan Francisco Cardona Embedded Systems. ADMG is a project for programming microprocessors using UML 2.0 and patterns for design. For this design generating code in C or assembler programming language for Motorola’s HCS microprocessors family. Programming Languages Aspect Oriented Programming (AOP). Using Aspect to development concurrent and non-blocking components. Distributed Systems PVM (Parallel Virtual Machine) and RMI (Remote Method Invocation). For developing search services in components.

Research Groups in Dept. Basics Sciences Functional analysis Differential equations Mathematics education and history Applied electromagnetism Logic and Computation Applied optics Stochastic process Control system Topology and Geometry

Logic and Computation Group Research areas –Computability –Quantum computation –Non-classical logics –Declarative Debugging –Logical-functional programming

Logic and Computation Group Investigators –Andrés Sicard (Computer Sciences, Mrs Mat.) (candidate to Dr. LerNet Proyect) –Francisco Correa (Mat., Dr. Informatics) –Juan Fernando Ospina (Physics) –Manuel Sierra (Logic) –Mario Vélez (Physics) –Raúl Gómez (Philosophy)

Andres Sicard Professor in EAFIT. –Candidate to Ph. D. in LerNET project –B. Sc Computer Science –M. Sc in Computer Science. Research areas. –Hypercomputation –Quantum Computation –Computability –Non-classic Logic