ListarLCC - Conferencias Científicas por tema "Ingeniería del software"
Mostrando ítems 1-4 de 4
-
Formal Model-Based Approaches for the Development of Composite
(2014-04-29)Software engineering (SE) is concerned about techniques and tools to develop software pieces. Structuring and composition techniques have always been a cornerstone in software engineering, from modules in the 70’s to the ... -
On the Verification of Asynchronously Communicating Systems
(2014-04-29)Recent software is mostly constructed by reusing and composing existing components abstracted as finite state machines. Asynchronous communication is a classic interaction mechanism used for such software systems. However, ... -
Reliable deployment, reconfiguration, and control of cloud applications
(2015-02-18)Cloud applications consist of a set of interconnected software components distributed over several virtual machines. Setting up, (re)configuring, and monitoring these applications are difficult tasks, and involve complex ... -
Selected Recent Work in Self-awareness and Self-expression in Computing
(2014-04-29)This talk presents some of our recent work in the EU-funded EPiCS project. The first part of the talk will review very briefly what self-awareness means in some psychology and cognitive science literature. Then working ...