Software-Intensive Systems and New Computing Paradigms : Challenges and Visions
Publication year: 2008
: 978-3-540-89437-7
The objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges they present to computing, software engineering, cognition and intelligence. The volume starts with an overview of the current state of the art and the research missions in engineering software-intensive systems. The book is structured in three major parts: ensemble engineering, theory and formal methods, and novel computing paradigms. These papers cover a broad spectrum of relevant topics ranging from methods, languages and tools for ensemble engineering, socio-technical and cyber-physical systems, ensembles in urban environments, formal methods and mathematical foundations for ensembles, orchestration languages to disruptive paradigms such as molecular and chemical computing.
: Computer Science / Software Engineering / Programming and Operating Systems / Programming Techniques / Programming Languages, Compilers, Interpreters / Logics and Meanings of Programs / Computer Communication Networks / ambient computing / ants / architecture patterns / calculi / category theory / chemical reaction model / cognitive systems / communication environments / concurrency / cross-platform integration / design / ensemble engineering / formal methods / inconsistency analysis
