Config: A Case Study in Combining Software Engineering Techniques

Config: A Case Study in Combining Software Engineering Techniques

Config is a software component of the Graphical R‐Matrix Atomic Collision Environment. Its development is documented as a case study combining several software engineering techniques: formal specification, generic programming, object‐oriented programming, and design by contract. It is specified in V...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Scientific programming 2000-01, Vol.8 (2), p.59-71
Hauptverfasser: Maley, David, Spence, Ivor
Format: Artikel
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 71
container_issue 2
container_start_page 59
container_title Scientific programming
container_volume 8
creator Maley, David
Spence, Ivor
description Config is a software component of the Graphical R‐Matrix Atomic Collision Environment. Its development is documented as a case study combining several software engineering techniques: formal specification, generic programming, object‐oriented programming, and design by contract. It is specified in VDM++; and implemented in C++, a language which is becoming more than a curiosity amongst the scientific programming community. C++supports object orientation, a powerful architectural paradigm in designing the structure of software systems, and genericity, an orthogonal dimension to the inheritance hierarchies facilitated by object oriented languages. Support in C++ for design by contract can be added in library form. The combination of techniques make a substantial contribution to the overall software quality.
doi_str_mv 10.1155/2000/401540
format Article
fullrecord <record><control><sourceid>crossref</sourceid><recordid>TN_cdi_crossref_primary_10_1155_2000_401540</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>10_1155_2000_401540</sourcerecordid><originalsourceid>FETCH-LOGICAL-c1410-1a1c15a5007229c2cc186fb8ffb591bda250d00d4e0eb832a73607b3b303c7383</originalsourceid><addsrcrecordid>eNotz81KAzEUBeAgCtbWlS-QvYy9Nz-djLthqFUouGgL7oYkk4wRm9GkRfr2OtTVOZzFgY-QO4QHRCnnDADmAlAKuCATVKUsKqzeLv86SFVUTIhrcpPzBwAqBJiQuhmiD_0jrWmjs6Obw7E70RBpM-xNiCH2dDP4w49Oji5jH6JzaRy3zr7H8H10eUauvP7M7vY_p2T3tNw2z8X6dfXS1OvCokAoUKNFqSVAyVhlmbWoFt4o742s0HSaSegAOuHAGcWZLvkCSsMNB25LrviU3J9_bRpyTs63XynsdTq1CO2ob0d9e9bzX5elSrY</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Config: A Case Study in Combining Software Engineering Techniques</title><source>Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals</source><source>Wiley Online Library Open Access</source><source>Alma/SFX Local Collection</source><creator>Maley, David ; Spence, Ivor</creator><creatorcontrib>Maley, David ; Spence, Ivor</creatorcontrib><description>Config is a software component of the Graphical R‐Matrix Atomic Collision Environment. Its development is documented as a case study combining several software engineering techniques: formal specification, generic programming, object‐oriented programming, and design by contract. It is specified in VDM++; and implemented in C++, a language which is becoming more than a curiosity amongst the scientific programming community. C++supports object orientation, a powerful architectural paradigm in designing the structure of software systems, and genericity, an orthogonal dimension to the inheritance hierarchies facilitated by object oriented languages. Support in C++ for design by contract can be added in library form. The combination of techniques make a substantial contribution to the overall software quality.</description><identifier>ISSN: 1058-9244</identifier><identifier>EISSN: 1875-919X</identifier><identifier>DOI: 10.1155/2000/401540</identifier><language>eng</language><ispartof>Scientific programming, 2000-01, Vol.8 (2), p.59-71</ispartof><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,776,780,27903,27904</link.rule.ids></links><search><creatorcontrib>Maley, David</creatorcontrib><creatorcontrib>Spence, Ivor</creatorcontrib><title>Config: A Case Study in Combining Software Engineering Techniques</title><title>Scientific programming</title><description>Config is a software component of the Graphical R‐Matrix Atomic Collision Environment. Its development is documented as a case study combining several software engineering techniques: formal specification, generic programming, object‐oriented programming, and design by contract. It is specified in VDM++; and implemented in C++, a language which is becoming more than a curiosity amongst the scientific programming community. C++supports object orientation, a powerful architectural paradigm in designing the structure of software systems, and genericity, an orthogonal dimension to the inheritance hierarchies facilitated by object oriented languages. Support in C++ for design by contract can be added in library form. The combination of techniques make a substantial contribution to the overall software quality.</description><issn>1058-9244</issn><issn>1875-919X</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2000</creationdate><recordtype>article</recordtype><recordid>eNotz81KAzEUBeAgCtbWlS-QvYy9Nz-djLthqFUouGgL7oYkk4wRm9GkRfr2OtTVOZzFgY-QO4QHRCnnDADmAlAKuCATVKUsKqzeLv86SFVUTIhrcpPzBwAqBJiQuhmiD_0jrWmjs6Obw7E70RBpM-xNiCH2dDP4w49Oji5jH6JzaRy3zr7H8H10eUauvP7M7vY_p2T3tNw2z8X6dfXS1OvCokAoUKNFqSVAyVhlmbWoFt4o742s0HSaSegAOuHAGcWZLvkCSsMNB25LrviU3J9_bRpyTs63XynsdTq1CO2ob0d9e9bzX5elSrY</recordid><startdate>200001</startdate><enddate>200001</enddate><creator>Maley, David</creator><creator>Spence, Ivor</creator><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>200001</creationdate><title>Config: A Case Study in Combining Software Engineering Techniques</title><author>Maley, David ; Spence, Ivor</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c1410-1a1c15a5007229c2cc186fb8ffb591bda250d00d4e0eb832a73607b3b303c7383</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2000</creationdate><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Maley, David</creatorcontrib><creatorcontrib>Spence, Ivor</creatorcontrib><collection>CrossRef</collection><jtitle>Scientific programming</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Maley, David</au><au>Spence, Ivor</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Config: A Case Study in Combining Software Engineering Techniques</atitle><jtitle>Scientific programming</jtitle><date>2000-01</date><risdate>2000</risdate><volume>8</volume><issue>2</issue><spage>59</spage><epage>71</epage><pages>59-71</pages><issn>1058-9244</issn><eissn>1875-919X</eissn><abstract>Config is a software component of the Graphical R‐Matrix Atomic Collision Environment. Its development is documented as a case study combining several software engineering techniques: formal specification, generic programming, object‐oriented programming, and design by contract. It is specified in VDM++; and implemented in C++, a language which is becoming more than a curiosity amongst the scientific programming community. C++supports object orientation, a powerful architectural paradigm in designing the structure of software systems, and genericity, an orthogonal dimension to the inheritance hierarchies facilitated by object oriented languages. Support in C++ for design by contract can be added in library form. The combination of techniques make a substantial contribution to the overall software quality.</abstract><doi>10.1155/2000/401540</doi><tpages>13</tpages><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier ISSN: 1058-9244
ispartof Scientific programming, 2000-01, Vol.8 (2), p.59-71
issn 1058-9244
1875-919X
language eng
recordid cdi_crossref_primary_10_1155_2000_401540
source Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals; Wiley Online Library Open Access; Alma/SFX Local Collection
title Config: A Case Study in Combining Software Engineering Techniques
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-26T20%3A23%3A12IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-crossref&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Config:%20A%20Case%20Study%20in%20Combining%20Software%20Engineering%20Techniques&rft.jtitle=Scientific%20programming&rft.au=Maley,%20David&rft.date=2000-01&rft.volume=8&rft.issue=2&rft.spage=59&rft.epage=71&rft.pages=59-71&rft.issn=1058-9244&rft.eissn=1875-919X&rft_id=info:doi/10.1155/2000/401540&rft_dat=%3Ccrossref%3E10_1155_2000_401540%3C/crossref%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true