What people are saying - Write a review
We haven't found any reviews in the usual places.
Requirements for Distributed Software
An Operational Approach to Requirements
15 other sections not shown
Other editions - View all
abstraction accept action activity algorithm allocation allows alternative analysis application approach assignment assume begin behavior body command communication completely Computer concurrent condition consider consistency constraints constructs contains cost debugging defined definition delay described determine discussed distributed effect engineering entry call environment errors event example execution expression Figure formal function given graph guardian guards IEEE implementation important included initiator input INTEGER language load loop ment method module monitor node Note objects occur operation output parallel partitioning performance port possible preceding present problem procedure processor produced properties queue received relation reliability rendezvous represent requirements response sequence shared single specification statement step structure symbols synchronization task techniques termination testing tion variable waiting