Formal specifications fo packet communication systems:
One of the most difficult tasks facing computer scientists is that of designing systems and making sure that they perform their intended functions correctly. As computer systems have grown in size and complexity, the problems of system design and verification have become increasingly acute. Formal s...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Mass.
Mass. Inst. of Technology, Laboratory for Computer Science
1977
|
| Schlagworte: | |
| Zusammenfassung: | One of the most difficult tasks facing computer scientists is that of designing systems and making sure that they perform their intended functions correctly. As computer systems have grown in size and complexity, the problems of system design and verification have become increasingly acute. Formal specifications, which are precise descriptions of a system's function, provide a basis for understanding system operation as well as for proving correctness. Although there has been much work in formal specification and verification of computer programs, relatively little research has been done on system specification. A particular class of asynchronous systems, known as packet communication systems, has been chosen as the subject of this study. Packet communication systems are composed of independently operating units that interact only by transmitting packets of information. These systems possess a number of desirable structuring properties that make them suitable for formal analysis. We have developed a model for formally describing the behavior of packet systems and for proving correctness. The model is based on the fact that packet systems may be viewed both externally, in terms of their interaction with the outside world, and internally, in terms of their structural composition from smaller units. |
| Beschreibung: | Zugl.: Diss., 1977 |
| Beschreibung: | 138 S. |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021878943 | ||
| 003 | DE-604 | ||
| 005 | 20040229000000.0 | ||
| 007 | t | ||
| 008 | 880705s1977 |||| 00||| eng d | ||
| 035 | |a (OCoLC)227481151 | ||
| 035 | |a (DE-599)BVBBV021878943 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 088 | |a MIT/LCS/TR-189 | ||
| 100 | 1 | |a Ellis, David J. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Formal specifications fo packet communication systems |
| 264 | 1 | |a Cambridge, Mass. |b Mass. Inst. of Technology, Laboratory for Computer Science |c 1977 | |
| 300 | |a 138 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Zugl.: Diss., 1977 | ||
| 520 | 3 | |a One of the most difficult tasks facing computer scientists is that of designing systems and making sure that they perform their intended functions correctly. As computer systems have grown in size and complexity, the problems of system design and verification have become increasingly acute. Formal specifications, which are precise descriptions of a system's function, provide a basis for understanding system operation as well as for proving correctness. Although there has been much work in formal specification and verification of computer programs, relatively little research has been done on system specification. A particular class of asynchronous systems, known as packet communication systems, has been chosen as the subject of this study. Packet communication systems are composed of independently operating units that interact only by transmitting packets of information. These systems possess a number of desirable structuring properties that make them suitable for formal analysis. We have developed a model for formally describing the behavior of packet systems and for proving correctness. The model is based on the fact that packet systems may be viewed both externally, in terms of their interaction with the outside world, and internally, in terms of their structural composition from smaller units. | |
| 650 | 7 | |a Asynchronous systems |2 dtict | |
| 650 | 7 | |a Communications networks |2 dtict | |
| 650 | 7 | |a Computer Hardware |2 scgdst | |
| 650 | 7 | |a Computer Programming and Software |2 scgdst | |
| 650 | 7 | |a Computer architecture |2 dtict | |
| 650 | 7 | |a Computer programs |2 dtict | |
| 650 | 7 | |a Efficiency |2 dtict | |
| 650 | 7 | |a Hierarchies |2 dtict | |
| 650 | 7 | |a Non-radio Communications |2 scgdst | |
| 650 | 7 | |a Packets |2 dtict | |
| 650 | 7 | |a Requirements |2 dtict | |
| 650 | 7 | |a Specifications |2 dtict | |
| 650 | 7 | |a Systems engineering |2 dtict | |
| 650 | 7 | |a Validation |2 dtict | |
| 650 | 0 | 7 | |a Spezifikation |0 (DE-588)4139161-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Rechnernetz |0 (DE-588)4070085-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Rechnernetz |0 (DE-588)4070085-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Spezifikation |0 (DE-588)4139161-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015094436 | ||
Datensatz im Suchindex
| _version_ | 1804135818895294464 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Ellis, David J. |
| author_facet | Ellis, David J. |
| author_role | aut |
| author_sort | Ellis, David J. |
| author_variant | d j e dj dje |
| building | Verbundindex |
| bvnumber | BV021878943 |
| ctrlnum | (OCoLC)227481151 (DE-599)BVBBV021878943 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02943nam a2200517zc 4500</leader><controlfield tag="001">BV021878943</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040229000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">880705s1977 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)227481151</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021878943</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">MIT/LCS/TR-189</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ellis, David J.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal specifications fo packet communication systems</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.</subfield><subfield code="b">Mass. Inst. of Technology, Laboratory for Computer Science</subfield><subfield code="c">1977</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">138 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="500" ind1=" " ind2=" "><subfield code="a">Zugl.: Diss., 1977</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">One of the most difficult tasks facing computer scientists is that of designing systems and making sure that they perform their intended functions correctly. As computer systems have grown in size and complexity, the problems of system design and verification have become increasingly acute. Formal specifications, which are precise descriptions of a system's function, provide a basis for understanding system operation as well as for proving correctness. Although there has been much work in formal specification and verification of computer programs, relatively little research has been done on system specification. A particular class of asynchronous systems, known as packet communication systems, has been chosen as the subject of this study. Packet communication systems are composed of independently operating units that interact only by transmitting packets of information. These systems possess a number of desirable structuring properties that make them suitable for formal analysis. We have developed a model for formally describing the behavior of packet systems and for proving correctness. The model is based on the fact that packet systems may be viewed both externally, in terms of their interaction with the outside world, and internally, in terms of their structural composition from smaller units.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Asynchronous systems</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Communications networks</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer Hardware</subfield><subfield code="2">scgdst</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer Programming and Software</subfield><subfield code="2">scgdst</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer architecture</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer programs</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Efficiency</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Hierarchies</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Non-radio Communications</subfield><subfield code="2">scgdst</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Packets</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Requirements</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Specifications</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Systems engineering</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Validation</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spezifikation</subfield><subfield code="0">(DE-588)4139161-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Rechnernetz</subfield><subfield code="0">(DE-588)4070085-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Rechnernetz</subfield><subfield code="0">(DE-588)4070085-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Spezifikation</subfield><subfield code="0">(DE-588)4139161-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015094436</subfield></datafield></record></collection> |
| id | DE-604.BV021878943 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:03:41Z |
| indexdate | 2024-07-09T20:46:33Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015094436 |
| oclc_num | 227481151 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 138 S. |
| publishDate | 1977 |
| publishDateSearch | 1977 |
| publishDateSort | 1977 |
| publisher | Mass. Inst. of Technology, Laboratory for Computer Science |
| record_format | marc |
| spelling | Ellis, David J. Verfasser aut Formal specifications fo packet communication systems Cambridge, Mass. Mass. Inst. of Technology, Laboratory for Computer Science 1977 138 S. txt rdacontent n rdamedia nc rdacarrier Zugl.: Diss., 1977 One of the most difficult tasks facing computer scientists is that of designing systems and making sure that they perform their intended functions correctly. As computer systems have grown in size and complexity, the problems of system design and verification have become increasingly acute. Formal specifications, which are precise descriptions of a system's function, provide a basis for understanding system operation as well as for proving correctness. Although there has been much work in formal specification and verification of computer programs, relatively little research has been done on system specification. A particular class of asynchronous systems, known as packet communication systems, has been chosen as the subject of this study. Packet communication systems are composed of independently operating units that interact only by transmitting packets of information. These systems possess a number of desirable structuring properties that make them suitable for formal analysis. We have developed a model for formally describing the behavior of packet systems and for proving correctness. The model is based on the fact that packet systems may be viewed both externally, in terms of their interaction with the outside world, and internally, in terms of their structural composition from smaller units. Asynchronous systems dtict Communications networks dtict Computer Hardware scgdst Computer Programming and Software scgdst Computer architecture dtict Computer programs dtict Efficiency dtict Hierarchies dtict Non-radio Communications scgdst Packets dtict Requirements dtict Specifications dtict Systems engineering dtict Validation dtict Spezifikation (DE-588)4139161-5 gnd rswk-swf Rechnernetz (DE-588)4070085-9 gnd rswk-swf Rechnernetz (DE-588)4070085-9 s DE-604 Spezifikation (DE-588)4139161-5 s |
| spellingShingle | Ellis, David J. Formal specifications fo packet communication systems Asynchronous systems dtict Communications networks dtict Computer Hardware scgdst Computer Programming and Software scgdst Computer architecture dtict Computer programs dtict Efficiency dtict Hierarchies dtict Non-radio Communications scgdst Packets dtict Requirements dtict Specifications dtict Systems engineering dtict Validation dtict Spezifikation (DE-588)4139161-5 gnd Rechnernetz (DE-588)4070085-9 gnd |
| subject_GND | (DE-588)4139161-5 (DE-588)4070085-9 |
| title | Formal specifications fo packet communication systems |
| title_auth | Formal specifications fo packet communication systems |
| title_exact_search | Formal specifications fo packet communication systems |
| title_exact_search_txtP | Formal specifications fo packet communication systems |
| title_full | Formal specifications fo packet communication systems |
| title_fullStr | Formal specifications fo packet communication systems |
| title_full_unstemmed | Formal specifications fo packet communication systems |
| title_short | Formal specifications fo packet communication systems |
| title_sort | formal specifications fo packet communication systems |
| topic | Asynchronous systems dtict Communications networks dtict Computer Hardware scgdst Computer Programming and Software scgdst Computer architecture dtict Computer programs dtict Efficiency dtict Hierarchies dtict Non-radio Communications scgdst Packets dtict Requirements dtict Specifications dtict Systems engineering dtict Validation dtict Spezifikation (DE-588)4139161-5 gnd Rechnernetz (DE-588)4070085-9 gnd |
| topic_facet | Asynchronous systems Communications networks Computer Hardware Computer Programming and Software Computer architecture Computer programs Efficiency Hierarchies Non-radio Communications Packets Requirements Specifications Systems engineering Validation Spezifikation Rechnernetz |
| work_keys_str_mv | AT ellisdavidj formalspecificationsfopacketcommunicationsystems |