|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
An Approach to Formal Specification of Control Modules
September 1980 (vol. 6 no. 5)
pp. 485-489
| ASCII Text | x | ||
| W.H. Leung, C.V. Ramamoorthy, "An Approach to Formal Specification of Control Modules," IEEE Transactions on Software Engineering, vol. 6, no. 5, pp. 485-489, September, 1980. | |||
| BibTex | x | ||
| @article{ 10.1109/TSE.1980.230789, author = {W.H. Leung and C.V. Ramamoorthy}, title = {An Approach to Formal Specification of Control Modules}, journal ={IEEE Transactions on Software Engineering}, volume = {6}, number = {5}, issn = {0098-5589}, year = {1980}, pages = {485-489}, doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1980.230789}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Software Engineering TI - An Approach to Formal Specification of Control Modules IS - 5 SN - 0098-5589 SP485 EP489 EPD - 485-489 A1 - W.H. Leung, A1 - C.V. Ramamoorthy, PY - 1980 KW - state space model KW - Concurrent processes KW - control modules KW - input-output assertion KW - invariant assertion KW - program specification KW - resource sharing VL - 6 JA - IEEE Transactions on Software Engineering ER - | |||
This paper is concerned with the formal specification of program modules which control access to resources shared among concurrent proceses. The concept of state space is defined for such program modules and the formal specification is given in terms of a program module invariant and input-output assertions defined on the state space. Examples are provided to ilustrate the construction of sDecifications with this approach.
Index Terms:
state space model, Concurrent processes, control modules, input-output assertion, invariant assertion, program specification, resource sharing
Citation:
W.H. Leung, C.V. Ramamoorthy, "An Approach to Formal Specification of Control Modules," IEEE Transactions on Software Engineering, vol. 6, no. 5, pp. 485-489, Sept. 1980, doi:10.1109/TSE.1980.230789
Usage of this product signifies your acceptance of the Terms of Use.