Reasoning about design changes:
Abstract: " A logical technique is presented for approximating the semantic effects of a change to a software system. The new method uses proofs about a system's structure to obtain after finitely many steps results that are reasonably close to optimal. The technique is general enough to a...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Menlo Park, Calif.
1988
|
| Series: | Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL
88,14 |
| Subjects: | |
| Summary: | Abstract: " A logical technique is presented for approximating the semantic effects of a change to a software system. The new method uses proofs about a system's structure to obtain after finitely many steps results that are reasonably close to optimal. The technique is general enough to apply to implementations and to formal specifications of abstract design structures, provided that abstractions are defined in terms of certain predefined primitives. An experimental implementation has been completed in Prolog." |
| Physical Description: | 28 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009257975 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940313s1988 |||| 00||| eng d | ||
| 035 | |a (OCoLC)22168752 | ||
| 035 | |a (DE-599)BVBBV009257975 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Moriconi, Mark |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Reasoning about design changes |c Mark Moriconi and Gail A. Harrison |
| 264 | 1 | |a Menlo Park, Calif. |c 1988 | |
| 300 | |a 28 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL |v 88,14 | |
| 520 | 3 | |a Abstract: " A logical technique is presented for approximating the semantic effects of a change to a software system. The new method uses proofs about a system's structure to obtain after finitely many steps results that are reasonably close to optimal. The technique is general enough to apply to implementations and to formal specifications of abstract design structures, provided that abstractions are defined in terms of certain predefined primitives. An experimental implementation has been completed in Prolog." | |
| 650 | 4 | |a Computer software | |
| 650 | 4 | |a Prolog (Computer program language) | |
| 650 | 4 | |a Reasoning | |
| 700 | 1 | |a Harrison, Gail A. |e Verfasser |4 aut | |
| 830 | 0 | |a Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL |v 88,14 |w (DE-604)BV008930658 |9 88,14 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006160081 | ||
Record in the Search Index
| _version_ | 1804123705044893696 |
|---|---|
| any_adam_object | |
| author | Moriconi, Mark Harrison, Gail A. |
| author_facet | Moriconi, Mark Harrison, Gail A. |
| author_role | aut aut |
| author_sort | Moriconi, Mark |
| author_variant | m m mm g a h ga gah |
| building | Verbundindex |
| bvnumber | BV009257975 |
| ctrlnum | (OCoLC)22168752 (DE-599)BVBBV009257975 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01537nam a2200325 cb4500</leader><controlfield tag="001">BV009257975</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940313s1988 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)22168752</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009257975</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Moriconi, Mark</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reasoning about design changes</subfield><subfield code="c">Mark Moriconi and Gail A. Harrison</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Menlo Park, Calif.</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">28 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL</subfield><subfield code="v">88,14</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: " A logical technique is presented for approximating the semantic effects of a change to a software system. The new method uses proofs about a system's structure to obtain after finitely many steps results that are reasonably close to optimal. The technique is general enough to apply to implementations and to formal specifications of abstract design structures, provided that abstractions are defined in terms of certain predefined primitives. An experimental implementation has been completed in Prolog."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Prolog (Computer program language)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reasoning</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Harrison, Gail A.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL</subfield><subfield code="v">88,14</subfield><subfield code="w">(DE-604)BV008930658</subfield><subfield code="9">88,14</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006160081</subfield></datafield></record></collection> |
| id | DE-604.BV009257975 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:34:01Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006160081 |
| oclc_num | 22168752 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 28 S. |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| record_format | marc |
| series | Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL |
| series2 | Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL |
| spelling | Moriconi, Mark Verfasser aut Reasoning about design changes Mark Moriconi and Gail A. Harrison Menlo Park, Calif. 1988 28 S. txt rdacontent n rdamedia nc rdacarrier Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL 88,14 Abstract: " A logical technique is presented for approximating the semantic effects of a change to a software system. The new method uses proofs about a system's structure to obtain after finitely many steps results that are reasonably close to optimal. The technique is general enough to apply to implementations and to formal specifications of abstract design structures, provided that abstractions are defined in terms of certain predefined primitives. An experimental implementation has been completed in Prolog." Computer software Prolog (Computer program language) Reasoning Harrison, Gail A. Verfasser aut Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL 88,14 (DE-604)BV008930658 88,14 |
| spellingShingle | Moriconi, Mark Harrison, Gail A. Reasoning about design changes Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL Computer software Prolog (Computer program language) Reasoning |
| title | Reasoning about design changes |
| title_auth | Reasoning about design changes |
| title_exact_search | Reasoning about design changes |
| title_full | Reasoning about design changes Mark Moriconi and Gail A. Harrison |
| title_fullStr | Reasoning about design changes Mark Moriconi and Gail A. Harrison |
| title_full_unstemmed | Reasoning about design changes Mark Moriconi and Gail A. Harrison |
| title_short | Reasoning about design changes |
| title_sort | reasoning about design changes |
| topic | Computer software Prolog (Computer program language) Reasoning |
| topic_facet | Computer software Prolog (Computer program language) Reasoning |
| volume_link | (DE-604)BV008930658 |
| work_keys_str_mv | AT moriconimark reasoningaboutdesignchanges AT harrisongaila reasoningaboutdesignchanges |