Theoretical Aspects of Computing - ICTAC 2014  11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings /  [electronic resource] : 
edited by Gabriel Ciobanu, Dominique Méry. 
 - Cham :  Springer International Publishing,  2014. 
 - 1 online resource (XVIII, 478 p. 97 ill.) 
 - Lecture Notes in Computer Science,  8687  0302-9743 ; .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783319108827 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Software engineering.<br/>Programming languages (Electronic computers).<br/>Computer logic.<br/>Computer science--Mathematics.