Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
Das erste Projekt mit dem RaspberryPi Model B - Ein Multifunktions Wecker.
Ich habe mir dieses Projekt ausgesucht da es derzeit auf dem Markt kaum bzw keine günstigen
Internet Radio Wecker zu kaufen gibt (meistens ab 80€ und aufwärts...) daher DIY
SATIN is a component model for mobile systems. It is a research project, and allows systems to adapt by a) Reasoning about what they can currently do b) send and recieve classes, objects, components and data. It is used in a number of projects.