Cited By
View all- Diagne AEstraillier P(1997)Formal Specification and Design of Distributed SystemsFormal Methods for Open Object-based Distributed Systems10.1007/978-0-387-35082-0_24(325-340)Online publication date: 1997
Formal methods: from object-based to object-oriented
References
[1]
[1] Antonio J. Alencar, Joseph A. Goguen, OOZE: An Object-Oriented Z Environment, in P. America (ed.). Proceedings ECOOP '91 Berlin etc.: Springer-Verlag LNCS 512 pp. 180-199 (1991).
[2]
[2] G. Booch, Object oriented design with applications, Redwood City: Benjamin Cummings (1991).
[3]
[3] P. Coad, E. Yourdon, Object-oriented design with applications, Englewood Cliffs: Prentice-Hall (1991).
[4]
[4] Elspeth Cusack, Inheritance in Object-Oriented Z, in P. America (ed.). Proceedings ECOOP '91 Berlin etc.: Springer-Verlag LNCS 512 pp. 167-179 (1991).
[5]
[5] D. Coleman, P. Arnold, S. Bodoff, C. Dollin, H. Gilchrist, F. Hayes, P. Jeremaes, Object-oriented development: The Fusion Method, Englewood Cliffs: Prentice-Hall (1993).
[6]
[6] L.M.G. Feijs, H.B.M. Jonkers, Formal Specification and Design, Cambridge University Press, Cambridge Tracts in Theoretical Computer Science (1992).
[7]
[7] I. Jacobson, Object-oriented software engineering Reading: Addison Wesley (1992).
[8]
[8] H.B.M. Jonkers, An overview of the SPRINT method, in: J.C.P. Woodcock, P.G. Larsen (eds.). FME '93: Industrial strength Formal Methods, Springer Verlag LNCS 670, pp. 403 -427 (1993).
[9]
[9] H.B.M. Jonkers, Inheritance in COLD, in: J.A. Bergstra, L.M.G Feijs (eds.) Algebraic methods II: Theory, tools and applications, Berlin etc.: springer Verlag LNCS 490, pp. 277 -301 (1991).
[10]
[10] F.J. van der Linden, Object-oriented specification in COLD, Philips Research, Report Information and Software Technology RWR-508-re-92007, submitted to ECOOP '93 (1992).
[11]
[11] F.J. van der Linden, An object-oriented approach to SPRINT, Philips Research, Report Information and Software Technology RWR-508-re-92413 (1992).
[12]
[12] J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorensen, Object-oriented modeling and design, Englewood Cliffs: Prentice Hall (1991).
[13]
[13] S. Stepney, R. Barden, D. Copper (eds.)., Object-orientation in Z, Berlin etc.: Springer Verlag (1992).
[14]
[14] R. Wirfs-Brock, B. Wilkerson, L. Wiener, Designing object-oriented software, Englewood Cliffs: Prentice-Hall (1990).
Index Terms
- Formal methods: from object-based to object-oriented
Recommendations
Equivalence of formal semantics definition methods
AbstractThere are numerous methods of formally defining the semantics of computer languages. Each method has been designed to fulfil a different purpose. For example, some have been designed to make reasoning about languages as easy as possible; others ...
Formal Methods in CafeOBJ
FLOPS '02: Proceedings of the 6th International Symposium on Functional and Logic ProgrammingFormal methods are still expected to improve the practice of software engineering. The areas in which formal methods will play important roles include at least: (1) distributed component software, (2) network/system security, (3) embedded systems. ...
Specifying static analysis tools using formal methods
ICECCS '95: Proceedings of the 1st International Conference on Engineering of Complex Computer SystemsThe paper describes experience of a large-scale application of the Z specification language to the formalisation of parts of the transformation and analysis functionality contained in a static analysis toolset for COBOL. Aspects of the development ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
July 1994
52 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/181593
- Editor:
- Richard L. Wexelblat
Copyright © 1994 Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 July 1994
Published in SIGPLAN Volume 29, Issue 7
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 222Total Downloads
- Downloads (Last 12 months)25
- Downloads (Last 6 weeks)9
Reflects downloads up to 20 Jan 2025
Other Metrics
Citations
Cited By
View all- Diagne AEstraillier P(1997)Formal Specification and Design of Distributed SystemsFormal Methods for Open Object-based Distributed Systems10.1007/978-0-387-35082-0_24(325-340)Online publication date: 1997
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in