Formal specifications in software maintenance: from code to Z super(++) and back again

Formal specifications in software maintenance: from code to Z super(++) and back again

The paper presents a number of techniques that have been developed as components of the software maintenance process as part of the ESPRIT REDO project. These techniques are all based on formal methods, and the work described has provided the mathematical underpinning to a large collaborative projec...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Information and software technology 1993-01, Vol.35 (11-12), p.679-690
Hauptverfasser: Bowen, J P, Breuer, P T, Lano, K C
Format: Artikel
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 690
container_issue 11-12
container_start_page 679
container_title Information and software technology
container_volume 35
creator Bowen, J P
Breuer, P T
Lano, K C
description The paper presents a number of techniques that have been developed as components of the software maintenance process as part of the ESPRIT REDO project. These techniques are all based on formal methods, and the work described has provided the mathematical underpinning to a large collaborative project that has been investigating various aspects of software maintenance. The focus of the project has been on reverse engineering, and methods for this part of the maintenance process are reported on here, along with techniques for subsequent re-engineering. A proposal for specification-oriented software maintenance is presented, in which specifications in an object-oriented extension of the formal notation Z are maintained in step with the corresponding programs.
format Article
fullrecord <record><control><sourceid>proquest</sourceid><recordid>TN_cdi_proquest_miscellaneous_26010940</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>26010940</sourcerecordid><originalsourceid>FETCH-proquest_miscellaneous_260109403</originalsourceid><addsrcrecordid>eNqNyjsOwjAMANAMIPG9gycEqioZWj5lRSAOgBhYKhNcFGiSEqfi-jBwAKa3vI7qY7HEdLnJi54aiDwQ52vMsK_OBx8s1SANa1MZTdF4J2AciK_imwKDJeMiO3Kat1AFb0H7G0P0cAFpGw7TJJkBuRtcST-B7t8_Ut2KauHxz6GaHPan3TFtgn-1LLG0RjTXNTn2rZSLFc6xyDH7O34A4LFCng</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>26010940</pqid></control><display><type>article</type><title>Formal specifications in software maintenance: from code to Z super(++) and back again</title><source>Elsevier ScienceDirect Journals</source><creator>Bowen, J P ; Breuer, P T ; Lano, K C</creator><creatorcontrib>Bowen, J P ; Breuer, P T ; Lano, K C</creatorcontrib><description>The paper presents a number of techniques that have been developed as components of the software maintenance process as part of the ESPRIT REDO project. These techniques are all based on formal methods, and the work described has provided the mathematical underpinning to a large collaborative project that has been investigating various aspects of software maintenance. The focus of the project has been on reverse engineering, and methods for this part of the maintenance process are reported on here, along with techniques for subsequent re-engineering. A proposal for specification-oriented software maintenance is presented, in which specifications in an object-oriented extension of the formal notation Z are maintained in step with the corresponding programs.</description><identifier>ISSN: 0950-5849</identifier><language>eng</language><ispartof>Information and software technology, 1993-01, Vol.35 (11-12), p.679-690</ispartof><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,777,781</link.rule.ids></links><search><creatorcontrib>Bowen, J P</creatorcontrib><creatorcontrib>Breuer, P T</creatorcontrib><creatorcontrib>Lano, K C</creatorcontrib><title>Formal specifications in software maintenance: from code to Z super(++) and back again</title><title>Information and software technology</title><description>The paper presents a number of techniques that have been developed as components of the software maintenance process as part of the ESPRIT REDO project. These techniques are all based on formal methods, and the work described has provided the mathematical underpinning to a large collaborative project that has been investigating various aspects of software maintenance. The focus of the project has been on reverse engineering, and methods for this part of the maintenance process are reported on here, along with techniques for subsequent re-engineering. A proposal for specification-oriented software maintenance is presented, in which specifications in an object-oriented extension of the formal notation Z are maintained in step with the corresponding programs.</description><issn>0950-5849</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1993</creationdate><recordtype>article</recordtype><recordid>eNqNyjsOwjAMANAMIPG9gycEqioZWj5lRSAOgBhYKhNcFGiSEqfi-jBwAKa3vI7qY7HEdLnJi54aiDwQ52vMsK_OBx8s1SANa1MZTdF4J2AciK_imwKDJeMiO3Kat1AFb0H7G0P0cAFpGw7TJJkBuRtcST-B7t8_Ut2KauHxz6GaHPan3TFtgn-1LLG0RjTXNTn2rZSLFc6xyDH7O34A4LFCng</recordid><startdate>19930101</startdate><enddate>19930101</enddate><creator>Bowen, J P</creator><creator>Breuer, P T</creator><creator>Lano, K C</creator><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>19930101</creationdate><title>Formal specifications in software maintenance: from code to Z super(++) and back again</title><author>Bowen, J P ; Breuer, P T ; Lano, K C</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-proquest_miscellaneous_260109403</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1993</creationdate><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Bowen, J P</creatorcontrib><creatorcontrib>Breuer, P T</creatorcontrib><creatorcontrib>Lano, K C</creatorcontrib><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts – Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>Information and software technology</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Bowen, J P</au><au>Breuer, P T</au><au>Lano, K C</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Formal specifications in software maintenance: from code to Z super(++) and back again</atitle><jtitle>Information and software technology</jtitle><date>1993-01-01</date><risdate>1993</risdate><volume>35</volume><issue>11-12</issue><spage>679</spage><epage>690</epage><pages>679-690</pages><issn>0950-5849</issn><abstract>The paper presents a number of techniques that have been developed as components of the software maintenance process as part of the ESPRIT REDO project. These techniques are all based on formal methods, and the work described has provided the mathematical underpinning to a large collaborative project that has been investigating various aspects of software maintenance. The focus of the project has been on reverse engineering, and methods for this part of the maintenance process are reported on here, along with techniques for subsequent re-engineering. A proposal for specification-oriented software maintenance is presented, in which specifications in an object-oriented extension of the formal notation Z are maintained in step with the corresponding programs.</abstract></addata></record>
fulltext fulltext
identifier ISSN: 0950-5849
ispartof Information and software technology, 1993-01, Vol.35 (11-12), p.679-690
issn 0950-5849
language eng
recordid cdi_proquest_miscellaneous_26010940
source Elsevier ScienceDirect Journals
title Formal specifications in software maintenance: from code to Z super(++) and back again
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-19T00%3A08%3A37IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Formal%20specifications%20in%20software%20maintenance:%20from%20code%20to%20Z%20super(++)%20and%20back%20again&rft.jtitle=Information%20and%20software%20technology&rft.au=Bowen,%20J%20P&rft.date=1993-01-01&rft.volume=35&rft.issue=11-12&rft.spage=679&rft.epage=690&rft.pages=679-690&rft.issn=0950-5849&rft_id=info:doi/&rft_dat=%3Cproquest%3E26010940%3C/proquest%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=26010940&rft_id=info:pmid/&rfr_iscdi=true