Listar 2 - Investigación por autor "Informática"

Mostrando ítems 1-20 de 58

    • Agent-Based Mediation System to Facilitate Cooperation in Distributed Design 

      Ospina-Becerra, Victoria Eugenia; Fougères, Alain-Jérôme (WSEASE.E.U.U., 2009)
      In this article we present the use of knowledge for a Mediation System, developed to give support to participants in mechanical-system-designer activities. To use a cooperative system sufficient assistance is needed to ...

    • AIDE À LA CONCEPTION COLLABORATIVE. UN SYSTEME DE MEDIATION POUR L'USAGE DE MICRO- OUTILS LOGICIELS 

      Fougères, Alain-Jérôme; Ospina-Becerra, Victoria Eugenia (In CognitoFrance, 2009)
      Nous présentons, dans cet article, deux concepts pour améliorer l'assistance à la coopération en conception de systèmes mécaniques : 1) le concept de micro-outils développé pour assister l'activité elle-même des concepteurs ...

    • Aprendizajes de programación de computadores y resolución de problemas en un ambiente de trabajo en colaboración 

      Castañeda Bermudez, Claudia Patricia (Educación para el siglo XXIColombia., 2011)
      En esta investigación exploro los efectos, en el aprendizaje de programación de computadores de alumnos universitarios, de una estrategia de aprendizaje que integra trabajo en colaboración y resolución de problemas, el ...

    • Automatic proof-search heuristics in the Maude invariant analyzer tool 

      Rocha, Camilo (Switzerland, 2013)
      The Invariant Analyzer Tool is an interactive tool that mechanizes an inference system for proving safety properties of concurrent systems, which may be infinite-state or whose set of initial states may be infinite. This ...

    • Axiomatic Set Theory à la Dijkstra and Scholten 

      Acosta, Ernesto; Aldana, Bernarda; Bohórquez, Jaime; Rocha, Camilo (Springer NatureUSA., 2017)
      The algebraic approach by E.W. Dijkstra and C.S. Scholten to formal logic is a proof calculus, where the notion of proof is a sequence of equivalences proved – mainly – by using substitution of ‘equals for equals’. This ...

    • Bioescenarios III. 

      Mora, Juan José; Robayo Rodríguez, Sandra Milena (Asociación Colombiana de Ingenieros de Sistemas (ACIS)Colombia, 2008)
      El uso de las tendencias bioinspiradas en el desarrollo de soluciones informáticas se está imponiendo en el mundo por ser una opción en el tratamiento de problemas complejos. En Colombia se están realizando los primeros ...

    • Bioescenarios IV Inteligencia de enjambres: optimización por cúmulos de partículas 

      Casallas Fonseca, Carlos Eduardo; Vargas Aristizábal, Steven Francisco (Asociación Colombiana de Ingenieros de Sistemas (ACIS)Colombia, 2010)
      Conocer técnicas como las de los algoritmos bioinspirados, que han mostrado simplicidad y eficiencia en la solución de problemas complejos, es útil para los Ingenieros de Sistemas. Bioescenarios IV crea modelos para el ...

    • Comunidades 2.0 

      Díaz Rozo, Mónica Alejandra; Díaz Rozo, María Irma (Asociación Colombiana de Ingenieros de Sistemas (ACIS)Colombia, 2010-10)
      La generación de herramientas llamada Web 2.0 está transformando la manera de comunicarnos, aprender y trabajar. Específicamente ha permitido la conformación de las llamadas Comunidades 2.0 auto organizadas de manera ...

    • Consideraciones tecnológicas como resultado de la construcción de la arquitectura empresarial para una institución de educación superior 

      Santiago Cely, Claudia Patricia; Castillo Navetty, Oswaldo (Editorial Escuela Colombiana de Ingeniería Julio GaravitoBogotá, 2015)
      Las tecnologías de la información y la telecomunicación (TIC) permean todos los ámbitos de cualquier organización y por ello es clave aprovechar al máximo su uso. Basándose en las necesidades y modo de operación de una ...

    • Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories 

      Rocha, Camilo; Meseguer, José (SpringerBerlín, 2010)
      Sufficient completeness has been throughly studied for equational specifications, where function symbols are classified into constructors and defined symbols. But what should sufficient completeness mean for a rewrite ...

    • Continuous Delivery Pipelines for Teaching Agile and Developing Software Engineering Skills 

      Informática (© 2018 MECS, 2018)
      The differences between academy and industry when it comes to working settings (schedules, workload, working environments, etc.), have motivated the development of a significant body of research on how to achieve meaningful ...

    • CONTROL AUTÓNOMO DE ROBOTS DE APLICACIÓN AGRÍCOLA CON PLEXIL 

      Cadavid Rengifo, Héctor Fabio; Chaparro Preciado, Javier Alberto (Buenos Aires, Argentina., 2016)
      Aunque el campo de la robótica no ha tenido aun gran impacto en países como Colombia, las posibilidades que ofrece para ayudar a resolver algunos de sus problemas, como el daño ambiental que está causando la agricultura ...

    • An elementary and unified approach to program correctness 

      Bohórquez, Jaime (Springer, 2009)
      We present through the algorithmic language DHL (Dijkstra-Hehner language), a practical approach to a simple first order theory based on calculational logic, unifying Hoare and Dijkstra’s iterative style of programming ...

    • ¿Es OPENLDAP una buena solución libre para la centralización de usuarios? 

      Gómez Sarmiento, Tatiana Marcela; Morera González, María Alejandra; Muñoz Moreno, Aura María; Santiago Cely, Claudia Patricia (LACCEIBoca Raton, Florida – USA., 2015)
      This article establishes the state of the art about existing solutions in the market, free or licensed that allow the centralization of users, independent to the operating system they use (OS X, Windows, Linux); all of the ...

    • A Formal Interactive Verification Environment for the Plan Execution Interchange Language 

      Cadavid Rengifo, Hector Fabio; Rocha, Camilo; Muñoz, Cesar (Springer NatureUSA.Switzerland, 2012)
      The Plan Execution Interchange Language (PLEXIL) is an open source synchronous language developed by NASA for commanding and monitoring autonomous systems. This paper reports the development of the PLEXIL’s Formal Interactive ...

    • A Formal Interactive Verification Environment for the Plan Execution Interchange Language 

      Rocha, Camilo; Cadavid, Héctor; Siminiceanu, Radu (© 2020 Springer Nature Switzerland AG.Springer, Berlin, Heidelberg., 2012)
      The Plan Execution Interchange Language (PLEXIL) is an open source synchronous language developed by NASA for commanding and monitoring autonomous systems. This paper reports the development of the PLEXIL’s Formal Interactive ...

    • A formal library of set relations and its application to synchronous languages 

      Rocha, Camilo; Muñoz, César; Dowek, Gilles (Elsevier B.V., 2011)
      Set relations are particularly suitable for specifying the small-step operational semantics of synchronous languages. In this paper, a formal library of set relations for the definition, verification of properties, and ...

    • The Formal System of Dijkstra and Scholten 

      Rocha, Camilo (Springer.Springer, Cham., 2015)
      The logic of E.W. Dijkstra and C.S. Scholten has been shown to be useful in program correctness proofs and has attracted a substantial following in research, teaching, and programming. However, there is confusion regarding ...

    • A Graphical Environment for the Semantic Validation of a Plan Execution Language 

      Rocha, Camilo; Muñoz, Cesar; Cadavid, Hector (© Copyright 2021 IEEEUSA., 2009)
      This paper presents PLEXIL5, PLEXIL's formal interacting visual environment, a graphical environment providing an user-friendly interface to the formal operational semantics of PLEXIL. PLEXIL is a synchronous plan execution ...

    • Hardware and software architecture for Plexil-based, simulation supported, robot automation 

      Cadavid Rengifo, Héctor Fabio; Chaparro Preciado, Javier Alberto (Bogotá. Colombia., 2016)
      Some obsolete - but common - practices in the application of fertilizers and pesticides are causing serious environmental problems in Colombia; a situation that could be addressed by combining robotics and modern farming ...