TY  - BOOK
AU  - Ciobanu,Gabriel
AU  - Méry,Dominique
TI  - Theoretical Aspects of Computing - ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings 
SN  - 9783319108827
PY  - 2014///
CY  - Cham
PB  - Springer International Publishing
KW  - Computer science
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Computer logic
KW  - Mathematics
N1  - 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
UR  - http://dx.doi.org/10.1007/978-3-319-10882-7
ER  -