article

Free access

A framework for using formal methods in object-oriented software development

Authors:

Richard Holt,

Dennis deChampeauxAuthors Info & Claims

ACM SIGPLAN OOPS Messenger, Volume 3, Issue 2

Pages 9 - 10

https://doi.org/10.1145/130943.130946

Published: 01 April 1992 Publication History

PDF eReader

Abstract

Although formal methods (FMs) hold great promise for improving the process of software development, up to now these methods have had limited impact on the actual development of software. This note outlines why this is so and predicts how formal methods can be developed and evolved to become useful in practice.

Cited By

View all

Bastide RSy OPalanque P(1999)Formal support for the engineering of CORBA-based distributed object systemsProceedings of the International Symposium on Distributed Objects and Applications10.1109/DOA.1999.794042(264-272)Online publication date: 1999
https://doi.org/10.1109/DOA.1999.794042
Griffiths A(1996)An extended semantic foundation for Object-ZProceedings 1996 Asia-Pacific Software Engineering Conference10.1109/APSEC.1996.566754(194-205)Online publication date: 1996
https://doi.org/10.1109/APSEC.1996.566754

Index Terms

A framework for using formal methods in object-oriented software development
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Requirements analysis
  2. Software notations and tools
    1. General programming languages
      1. Language types
        Object oriented languages

Recommendations

Research of Agile Software Development Based on Formal Methods
MINES '10: Proceedings of the 2010 International Conference on Multimedia Information Networking and Security

Agile software development is a kind of lightweight development method, which can satisfy to the changes of requirements. This paper applies formal methods into agile software development, and investigates the method to adopt the rCOS in agile software ...
Formal specification in object-oriented software development
Formal methods and software development
SEEP '96: Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)

It is possible to provide a complete mathematical explanation of the process of software development. The mathematics can be based on a few basic concepts that are used to give the semantics of a programming language and to provide an explanation of the ...

Comments

Information & Contributors

Information

Published In

ACM SIGPLAN OOPS Messenger Volume 3, Issue 2

April 1992

43 pages

ISSN:1055-6400

DOI:10.1145/130943

Editor:
Stanley B. Zdonik
Brown Univ., Providence, RI

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 April 1992

Published in SIGPLAN-OOPS Volume 3, Issue 2

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
107
Total Downloads

Downloads (Last 12 months)15
Downloads (Last 6 weeks)5

Reflects downloads up to 12 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Bastide RSy OPalanque P(1999)Formal support for the engineering of CORBA-based distributed object systemsProceedings of the International Symposium on Distributed Objects and Applications10.1109/DOA.1999.794042(264-272)Online publication date: 1999
https://doi.org/10.1109/DOA.1999.794042
Griffiths A(1996)An extended semantic foundation for Object-ZProceedings 1996 Asia-Pacific Software Engineering Conference10.1109/APSEC.1996.566754(194-205)Online publication date: 1996
https://doi.org/10.1109/APSEC.1996.566754

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

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

Abstract

Cited By

Index Terms

Recommendations

Research of Agile Software Development Based on Formal Methods

Formal specification in object-oriented software development

Formal methods and software development

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations