Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Software Engineering for Collective Autonomic Systems: The ASCENS Approach