UML-based Design and Verification Method for Developing Dependable Context-aware Systems.

Naoyasu Ubayashi, Yasutaka Kamei

Browse the full MODELSWARD paper archive.