この資料をSMS送信: Large-scale complex IT systems : development, operation and management, 17th Monterey workshop 2012, Oxford, UK, March 19-21, 2012 : revised selected papers / Radu Calinescu, David Garlan (eds.).