Ambient Intelligence Applications: Introducing the Campus Framework

  • Authors:

  • Amal El Fallah Seghrouchni;Karin Breitman;Nicolas Sabouret;Markus Endler;Yasmine Charif;Jean-Pierre Briot

  • Affiliations:

  • -;-;-;-;-;-

  • Venue:
  • ICECCS '08 Proceedings of the 13th IEEE International Conference on on Engineering of Complex Computer Systems
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

The ideal of verified software has long been the goal of research in Computer Science. This paper argues that the time is ripe to embark on a Grand Challenge project to construct a program verifier, based on a sound and complete theory of programming, ...