Article

Free access

The situation in object-oriented specification and design

Author:

George W. CherryAuthors Info & Claims

TRI-Ada '96: Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada

Pages 83 - 98

https://doi.org/10.1145/240678.240706

Published: 01 December 1996 Publication History

PDF eReader

References

[1]

G. Booch, Object-Oriented Analysis and Design with Applications, Second Edition, Benjamin Cummings, 1.994.

Digital Library

Google Scholar

[2]

D. Coleman, P. Arnold, S. Bodoff, C. Dollin, H. Gillchrist, F. Hayes, and P. Jeremaes, Object-Oriented Developmerit: The Fusion Method, Prentice-Hall, 1994.

Digital Library

Google Scholar

[3]

I. Jacobson, M. Christerson, P. Jonsson, and G. Overgaard, Object-Oriented Software Engineering, Addison-Wesley, 1992.

Digital Library

Google Scholar

[4]

H. D. Mills, Zero defect software. In Advances in Computers, Volume 36. Edited by Marshall C. Yovits, Academic Press, NY, 1993.

Google Scholar

[5]

H. D. Mills, Stepwise refinement and verification in box-structured systems. Computer, June 1988, 23-36.

Digital Library

Google Scholar

[6]

J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W Lorensen, Object-Oriented Modeling and Design, Prentice- Hall, 1991.

Digital Library

Google Scholar

[7]

A. M. Turing, "On Computable Numbers, with an Application to the Entscheidungsproblem," Proceedings, London Mathematical Society, 2, no. 42 (1936), 230-265, and no. 43, 544- 546.

Google Scholar

[8]

R. Wirfs-Brock, B. Wilkerson, and L. Wiener, Designing Object-Oriented Software, Prentice-Hall, 1990.

Digital Library

Google Scholar

Cited By

View all

Crawford B(1998)Algorithm animation with symbol processing robotsACM SIGAda Ada Letters10.1145/301687.289623XVIII:6(217-218)Online publication date: 1-Nov-1998
https://dl.acm.org/doi/10.1145/301687.289623
Crawford BSeidewitz EThomas WFeldman M(1998)Algorithm animation with symbol processing robotsProceedings of the 1998 annual ACM SIGAda international conference on Ada10.1145/289524.289623(217-218)Online publication date: 1-Nov-1998
https://dl.acm.org/doi/10.1145/289524.289623

Index Terms

The situation in object-oriented specification and design
1. General and reference
  1. Cross-computing tools and techniques
    1. Validation
2. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Requirements analysis
    2. Software verification and validation
      1. Empirical software validation
      2. Process validation
  2. Software notations and tools
    1. General programming languages
      1. Language types
        Object oriented languages

Recommendations

Formal specification in object-oriented software development
Object-oriented logical specification of time-critical systems

We define TRIO⁺, an object-oriented logical language for modular system specification. TRIO⁺ is based on TRIO, a first-order temporal language that is well suited to the specification of embedded and real-time systems, and that provides an effective ...
Formal Object-Oriented User-Interface Design
ASWEC '00: Proceedings of the 2000 Australian Software Engineering Conference

A notation is presented for formally describing the design of a user-interface. A specification of a system is given using the Object-Z formal specification language and then extended to describe presentation (user-interface design) using the User ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

TRI-Ada '96: Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada

December 1996

286 pages

ISBN:0897918088

DOI:10.1145/240678

Chairmen:
Jorge L. Díaz-Herrera
Monmouth Univ., Monmouth, NJ
,
Anthony Gargaro,
Editor:
Susan Carlson

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 December 1996

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

TriAda96

Sponsor:

SIGAda

TriAda96: Tri-Ada '96

December 3 - 7, 1996

Pennsylvania, Philadelphia, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
317
Total Downloads

Downloads (Last 12 months)21
Downloads (Last 6 weeks)3

Reflects downloads up to 20 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Crawford B(1998)Algorithm animation with symbol processing robotsACM SIGAda Ada Letters10.1145/301687.289623XVIII:6(217-218)Online publication date: 1-Nov-1998
https://dl.acm.org/doi/10.1145/301687.289623
Crawford BSeidewitz EThomas WFeldman M(1998)Algorithm animation with symbol processing robotsProceedings of the 1998 annual ACM SIGAda international conference on Ada10.1145/289524.289623(217-218)Online publication date: 1-Nov-1998
https://dl.acm.org/doi/10.1145/289524.289623

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Formal specification in object-oriented software development

Object-oriented logical specification of time-critical systems

Formal Object-Oriented User-Interface Design