Diego Marmsoler

Learn More
The architecture of a system describes the system's overall organization into components and connections between those components. With the emergence of mobile computing, dynamic architectures became increasingly important. In such architectures, components may appear or disappear, and connections may change over time. Despite the growing importance of(More)
—We consider the problem of achieving a required level of condence about safety-critical systems consisting of interacting components. Especially, we address restrictions in traditional A/G reasoning techniques which may cause false pos-itives in contract compatibility analyses. Therefore, we introduce interface assertions, i. e., predicate logical formulae(More)
  • 1