Language Support for Changeable Large Real Time Systems

ACM SIGPLAN Notices

Volumn 21, Issue 11, 1986, Pages 377-384

  Jacobson, Ivar ^a,b  

^a ERICSSON RADIO SYSTEMS AB   (Sweden)

^b SWEDISH INSTITUTE OF COMPUTER SCIENCE   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976794694     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/960112.28736     Document Type: Article

References (20)

1. D. Bjørner & C. B. Jones, The Vienna Development Method: The Meta-Language, Springer- Verlag, 1978.
2. D. Bjorner & P. Folkjär, A Formal Model of a Generalized CSP-like Language, Proceedings of IFIP 80, 1980.
3. G. Booch, Software Engineering with Ada, The Benjamin/Cummings Publishing Company Inc., 1983.
4. B. Cox, Message/Object Programming: An Evolutionary Change in Programming Technology, IEEE Software. Vol.1, No. 1, Jan 1984.
5. C.C.I.T.T., Fascicle vi.11, Functional Specification and Description Language (SDL), Rec. z. 100-z. 104, Geneva, 1984.
6. C.C.I.T.T., Fascicle vi.12, CHILL, Rec. z.200, Geneva, 1984.
7. A. Goldberg & D. Robson, Smalltalk-80 The Language and its Implementation, Adison-Wesley Publishing Company, 1981
8. J. Gray, The Transaction Concept: Virtues and Limitations, IEEE Proceedings of the Seventh International Conference on Very Large Data Bases, Sept 1981.
9. G. Hemdal, AXE 10 - Software Structure and Features, Ericsson Review 53,1976.
10. C. A. R. Hoare, Communicating Sequential Processes, Comm. of ACM, Vol. 21, No. 8. Aug 1978.
11. I. Jacobson, On the Development of an Experience-based Specification and Description Language, IEE Proceedings of Software Engineering for Telecommunication Switching Systems, July 1983.
12. I. Jacobson, Concepts for Modeling Large real Time Systems, Department of Computer Systems, The Royal Institute of Technology, Stockholm, Sept. 1985.
13. I. Jacobson, FDL: A Language for Designing Large Real Time Systems, Proceedings of IFIP 80, Sept. 1986.
14. H. Levy, Capability-Based Computer Systems, Digital Press, 1984.
15. B. Liskov & N. Zilles, Specification Techniques for Data Abstractions, IEEE, Trans, on Software Engineering, March 1975.
16. B. Liskov, et. al., CLU Reference Manual, MIT-TR225, Oct 1979.
17. B. Liskov & R. Scheifler, Guardians and Actions: Linguistic Support for Robust, Distributed Programs, Massachusetts Institute of Technology, ACM Transactions on Programming Languages and Systems, Vol. 5, No. 3, July 1983.
18. D. Reed, Implementing Atomic Actions on Decentralized Data, ACM Transactions on Computer Systems, Vol. 1, No. 1, Feb 1983.
19. T. Rentsch, Object Oriented Programming, SIGPLAN Notices, Vol. 17, No. 9,1982.
20. The Xerox Research Learning Group, The Smalltalk-80 System, Byte, Aug 1981.