Theoretical aspects of computing – ictac 2014 : 11th international colloquium, bucharest, romania, september 17-19, 2014. Proceedings / edited by Gabriel Ciobanu, Dominique Méry.
Tipo de material: TextoSeries Lecture Notes in Computer Science ; 8687Editor: Cham : Springer International Publishing : Springer, 2014Descripción: xviii, 478 páginas : 97 ilustracionesTipo de contenido:- texto
- computadora
- recurso en línea
- 9783319108827
- QA76.9.L63
Springer eBooks
Automata theory and formal languages -- Principles and semantics of programming languages -- Theories of concurrency, mobility and reconfiguration -- Logics and their applications -- Software architectures and their models, refinement and verification -- Relationship between software requirements, models and code -- Static and dynamic program analysis and verification -- Software specification, refinement, verification and testing -- Model checking and theorem proving -- Models of object and component systems -- Coordination and feature interaction -- Integration of theories, formal methods and tools for engineering computing systems -- Service-oriented architectures: models and development methods -- Models of concurrency, security, and mobility -- Theories of distributed, grid and cloud computing -- Real-time, embedded, hybrid and cyber-physical systems -- Type and category theory in computer science -- Models for e-learning and education -- Case studies, theories, tools and experiments of verified systems -- Domain-specific modeling and technology: examples, frameworks and practical experience -- Challenges and foundations in environmental modeling and monitoring, healthcare, and disaster management.
Para consulta fuera de la UANL se requiere clave de acceso remoto.