Kenneth J. Turner. Specication architecture illustrated in a communications context. Computer Networks and ISDN Systems, 4(29):397411, March 1997.  Home/Search   Document Not in Database   Summary   Related Articles

....specifying requirements has a big impact on how the specication is structured. Another way of putting this is to say that Lotos speciers care about the high level architecture 7 of a system. Several Lotos workers have considered general iqualityj principles for specication architecture [Sco93, Tur97c] Because Lotos combines a data type language with a process algebra, the specier must choose an appropriate balance when using these two aspects of the language [Led87] This partly depends on the preferred specication style, partly on the intended use of the specication (e.g. for analysis or ....

....orders. R0.4 The same reference can be ordered on several dioeerent orders. R0.5 The state of the order will be changed to iinvoicedj if the ordered quantity is either less than or equal to the quantity which is in stock according to the reference of the ordered product. 7 In the sense of [Tur97c] the architecture of a specication means its structure and style. RR n3575 6 M. Sighireanu, K. J. Turner R1. Case 1: R1.1 All the ordered references are in stock. R1.2 The stock or the set of orders may vary due to the entry of new orders or cancelled orders, or due to having a new entry of ....

Kenneth J. Turner. Specication architecture illustrated in a communications context. Computer Networks and ISDN Systems, 4(29):397411, March 1997.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC