The design of distributed systems: an introduction to focus
Abstract: "Focus is a framework for the systematic formal specification and development of distributed interactive systems and their components. Focus provides models, formalisms and verification calculi for the stepwise specification and development, transformation and verification of such sys...
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
München
1992
|
| Series: | Technische Universität <München>: TUM-I
9202 |
| Subjects: | |
| Summary: | Abstract: "Focus is a framework for the systematic formal specification and development of distributed interactive systems and their components. Focus provides models, formalisms and verification calculi for the stepwise specification and development, transformation and verification of such systems. Focus aims at the modular development and implementation of distributed interactive systems through several abstraction levels by stepwise refinement." |
| Physical Description: | 65 S. graph. Darst. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV005593588 | ||
| 003 | DE-604 | ||
| 005 | 20040414 | ||
| 007 | t | ||
| 008 | 921014s1992 d||| |||| 00||| eng d | ||
| 035 | |a (OCoLC)28491295 | ||
| 035 | |a (DE-599)BVBBV005593588 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-29T | ||
| 088 | |a TUM 19202 | ||
| 245 | 1 | 0 | |a The design of distributed systems |b an introduction to focus |c Manfred Broy ... |
| 264 | 1 | |a München |c 1992 | |
| 300 | |a 65 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Technische Universität <München>: TUM-I |v 9202 | |
| 490 | 1 | |a Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht / A |v 1992,2 | |
| 520 | 3 | |a Abstract: "Focus is a framework for the systematic formal specification and development of distributed interactive systems and their components. Focus provides models, formalisms and verification calculi for the stepwise specification and development, transformation and verification of such systems. Focus aims at the modular development and implementation of distributed interactive systems through several abstraction levels by stepwise refinement." | |
| 650 | 4 | |a Distributed parameter systems | |
| 650 | 0 | 7 | |a Verteiltes System |0 (DE-588)4238872-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Entwurf |0 (DE-588)4121208-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 0 | 1 | |a Entwurf |0 (DE-588)4121208-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Broy, Manfred |d 1949- |e Sonstige |0 (DE-588)109602137 |4 oth | |
| 810 | 2 | |a A |t Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht |v 1992,2 |w (DE-604)BV004627888 |9 1992,2 | |
| 830 | 0 | |a Technische Universität <München>: TUM-I |v 9202 |w (DE-604)BV006185376 |9 9202 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-003503625 | ||
Record in the Search Index
| _version_ | 1804119806931107840 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)109602137 |
| building | Verbundindex |
| bvnumber | BV005593588 |
| ctrlnum | (OCoLC)28491295 (DE-599)BVBBV005593588 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01959nam a2200385 cb4500</leader><controlfield tag="001">BV005593588</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040414 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">921014s1992 d||| |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)28491295</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005593588</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-29T</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">TUM 19202</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The design of distributed systems</subfield><subfield code="b">an introduction to focus</subfield><subfield code="c">Manfred Broy ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">65 S.</subfield><subfield code="b">graph. Darst.</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">Technische Universität <München>: TUM-I</subfield><subfield code="v">9202</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht / A</subfield><subfield code="v">1992,2</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Focus is a framework for the systematic formal specification and development of distributed interactive systems and their components. Focus provides models, formalisms and verification calculi for the stepwise specification and development, transformation and verification of such systems. Focus aims at the modular development and implementation of distributed interactive systems through several abstraction levels by stepwise refinement."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Distributed parameter systems</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entwurf</subfield><subfield code="0">(DE-588)4121208-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Entwurf</subfield><subfield code="0">(DE-588)4121208-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Broy, Manfred</subfield><subfield code="d">1949-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)109602137</subfield><subfield code="4">oth</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">A</subfield><subfield code="t">Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht</subfield><subfield code="v">1992,2</subfield><subfield code="w">(DE-604)BV004627888</subfield><subfield code="9">1992,2</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Technische Universität <München>: TUM-I</subfield><subfield code="v">9202</subfield><subfield code="w">(DE-604)BV006185376</subfield><subfield code="9">9202</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003503625</subfield></datafield></record></collection> |
| id | DE-604.BV005593588 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:32:03Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003503625 |
| oclc_num | 28491295 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-29T |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-29T |
| physical | 65 S. graph. Darst. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| record_format | marc |
| series | Technische Universität <München>: TUM-I |
| series2 | Technische Universität <München>: TUM-I Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht / A |
| spelling | The design of distributed systems an introduction to focus Manfred Broy ... München 1992 65 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Technische Universität <München>: TUM-I 9202 Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht / A 1992,2 Abstract: "Focus is a framework for the systematic formal specification and development of distributed interactive systems and their components. Focus provides models, formalisms and verification calculi for the stepwise specification and development, transformation and verification of such systems. Focus aims at the modular development and implementation of distributed interactive systems through several abstraction levels by stepwise refinement." Distributed parameter systems Verteiltes System (DE-588)4238872-7 gnd rswk-swf Entwurf (DE-588)4121208-3 gnd rswk-swf Verteiltes System (DE-588)4238872-7 s Entwurf (DE-588)4121208-3 s DE-604 Broy, Manfred 1949- Sonstige (DE-588)109602137 oth A Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht 1992,2 (DE-604)BV004627888 1992,2 Technische Universität <München>: TUM-I 9202 (DE-604)BV006185376 9202 |
| spellingShingle | The design of distributed systems an introduction to focus Technische Universität <München>: TUM-I Distributed parameter systems Verteiltes System (DE-588)4238872-7 gnd Entwurf (DE-588)4121208-3 gnd |
| subject_GND | (DE-588)4238872-7 (DE-588)4121208-3 |
| title | The design of distributed systems an introduction to focus |
| title_auth | The design of distributed systems an introduction to focus |
| title_exact_search | The design of distributed systems an introduction to focus |
| title_full | The design of distributed systems an introduction to focus Manfred Broy ... |
| title_fullStr | The design of distributed systems an introduction to focus Manfred Broy ... |
| title_full_unstemmed | The design of distributed systems an introduction to focus Manfred Broy ... |
| title_short | The design of distributed systems |
| title_sort | the design of distributed systems an introduction to focus |
| title_sub | an introduction to focus |
| topic | Distributed parameter systems Verteiltes System (DE-588)4238872-7 gnd Entwurf (DE-588)4121208-3 gnd |
| topic_facet | Distributed parameter systems Verteiltes System Entwurf |
| volume_link | (DE-604)BV004627888 (DE-604)BV006185376 |
| work_keys_str_mv | AT broymanfred thedesignofdistributedsystemsanintroductiontofocus |