Verifiable architectural interface for supporting model-driven development with adequate abstraction level.

Naoyasu Ubayashi, Yasutaka Kamei

Browse the full ICSE paper archive.