Theoretical Aspects of Computing – ICTAC 2014

11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings

Häftad, Engelska, 2014

Av Gabriel Ciobanu, Dominique Méry, Dominique Mery

709 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

software architectures and their models, refinement and verification; relationship between software requirements, models and code; models of object and component systems; service-oriented architectures: models and development methods; challenges and foundations in environmental modeling and monitoring, healthcare, and disaster management.

Produktinformation

Utgivningsdatum2014-09-23
Mått155 x 235 x 27 mm
Vikt744 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor478
FörlagSpringer International Publishing AG
ISBN9783319108810

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Programvaruutveckling inom Data och it
Programmeringsböcker inom Data och it
Diskret matematik inom Naturvetenskap och teknik

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.