Dam, A. ten

design communication system application model process development activity state implementation replication target diagram approach language figure parallelism software structure support hamlet behavior example analysis place connection method nition developer machine transformation control environment performance state-transition machines modeling application development component diagram technique adl 1 structure model instance trace transputer communication media problem issue technique execution information statement computer design entry system order layer schema display state-transition constraint niam model speci simulation transition event adl structure model behavior model queue generator description channel configuration version message queues ndl graph config adl designs hardware analysis system communication structures control layer