Informatica logo


Login Register

  1. Home
  2. Issues
  3. Volume 10, Issue 2 (1999)
  4. Semantic Integrity of Switching Sections ...

Informatica

Information Submit your article For Referees Help ATTENTION!
  • Article info
  • Related articles
  • More
    Article info Related articles

Semantic Integrity of Switching Sections with Contracts: Discussion of a Case Study
Volume 10, Issue 2 (1999), pp. 203–218
Eivind J. Nordby   Martin Blom  

Authors

 
Placeholder
https://doi.org/10.3233/INF-1999-10205
Pub. online: 1 January 1999      Type: Research Article     

Received
1 January 1999
Published
1 January 1999

Abstract

We have studied the design documentation for two industrial software modules to see if they apply ideas corresponding to contracts, as introduced by Bertrand Meyer, either in an intuitive or in a formal way. They did not, and we identified this fact to be a potential risk factor. This paper presents one of the modules studied, consisting of a sequence of switching sections. Starting from this case study, the paper also discusses how switching sections in general can be designed using contracts in order to increase the semantic integrity of the module as a whole.

Related articles PDF XML
Related articles PDF XML

Copyright
No copyright data available.

Keywords
branch contract postcondition precondition selection semantic integrity semantic gap software design software quality switch

Metrics
since January 2020
538

Article info
views

0

Full article
views

353

PDF
downloads

168

XML
downloads

Export citation

Copy and paste formatted citation
Placeholder

Download citation in file


Share


RSS

INFORMATICA

  • Online ISSN: 1822-8844
  • Print ISSN: 0868-4952
  • Copyright © 2023 Vilnius University

About

  • About journal

For contributors

  • OA Policy
  • Submit your article
  • Instructions for Referees
    •  

    •  

Contact us

  • Institute of Data Science and Digital Technologies
  • Vilnius University

    Akademijos St. 4

    08412 Vilnius, Lithuania

    Phone: (+370 5) 2109 338

    E-mail: informatica@mii.vu.lt

    https://informatica.vu.lt/journal/INFORMATICA
Powered by PubliMill  •  Privacy policy