Taming Distributed System Complexity through Formal Patterns

  • José Meseguer
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7253)


Many current and future distributed systems are or will be:
  • real-time and cyber-physical

  • probabilistic in their operating environments and/or their algorithms

  • safety-critical, with strong qualitative and quantitative formal requirements

  • reflective and adaptive, to operate in changing and potentially hostile environments.


System Complexity Operating Environment Software Engineer Formal Pattern Generic Manner 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • José Meseguer
    • 1
  1. 1.University of Illinois at Urbana-ChampaignUSA

Personalised recommendations