Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
This book presents a fundamental mathematical and logical approach to soft ware and systems engineering. Considering the large number of books de scribing mathematical approaches to program development, it is important to explain what we consider to be the specific contribution of our book, to ide...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
New York, NY
Springer New York
2001
|
| Ausgabe: | 1st ed. 2001 |
| Schriftenreihe: | Monographs in Computer Science
|
| Schlagworte: | |
| Online-Zugang: | UBY01 Volltext |
| Zusammenfassung: | This book presents a fundamental mathematical and logical approach to soft ware and systems engineering. Considering the large number of books de scribing mathematical approaches to program development, it is important to explain what we consider to be the specific contribution of our book, to identify our goals, and to characterize our intended target audience. Most books dealing with the mathematics and logics of programming and system development are mainly devoted to programming in the small. This is in contrast to our book where the emphasis is on modular system development with the help of component specifications with precisely identified interfaces and refinement concepts. Our book aims at systems development carried out in a systematic way, based on a clear mathematical theory. We do not claim that this book presents a full-blown engineering method. In fact, this is certainly not a book for the application-driven software engi neer looking for a practical method for system development in an industrial context. It is much rather a book for the computer scientist and the scientifi cally interested engineer who looks for basic principles of system development and, moreover, its mathematical foundations. It is also a book for method builders interested in a proper mathematical foundation on which they can build a practical development method and industrial-strength support tools |
| Beschreibung: | 1 Online-Ressource (XV, 348 p) |
| ISBN: | 9781461300915 |
| DOI: | 10.1007/978-1-4613-0091-5 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV047064281 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 201216s2001 |||| o||u| ||||||eng d | ||
| 020 | |a 9781461300915 |9 978-1-4613-0091-5 | ||
| 024 | 7 | |a 10.1007/978-1-4613-0091-5 |2 doi | |
| 035 | |a (ZDB-2-SCS)978-1-4613-0091-5 | ||
| 035 | |a (OCoLC)1227480580 | ||
| 035 | |a (DE-599)BVBBV047064281 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 082 | 0 | |a 004.0151 |2 23 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 100 | 1 | |a Broy, Manfred |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Specification and Development of Interactive Systems |b Focus on Streams, Interfaces, and Refinement |c by Manfred Broy, Ketil Stølen |
| 250 | |a 1st ed. 2001 | ||
| 264 | 1 | |a New York, NY |b Springer New York |c 2001 | |
| 300 | |a 1 Online-Ressource (XV, 348 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Monographs in Computer Science | |
| 520 | |a This book presents a fundamental mathematical and logical approach to soft ware and systems engineering. Considering the large number of books de scribing mathematical approaches to program development, it is important to explain what we consider to be the specific contribution of our book, to identify our goals, and to characterize our intended target audience. Most books dealing with the mathematics and logics of programming and system development are mainly devoted to programming in the small. This is in contrast to our book where the emphasis is on modular system development with the help of component specifications with precisely identified interfaces and refinement concepts. Our book aims at systems development carried out in a systematic way, based on a clear mathematical theory. We do not claim that this book presents a full-blown engineering method. In fact, this is certainly not a book for the application-driven software engi neer looking for a practical method for system development in an industrial context. It is much rather a book for the computer scientist and the scientifi cally interested engineer who looks for basic principles of system development and, moreover, its mathematical foundations. It is also a book for method builders interested in a proper mathematical foundation on which they can build a practical development method and industrial-strength support tools | ||
| 650 | 4 | |a Theory of Computation | |
| 650 | 4 | |a Software Engineering/Programming and Operating Systems | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Computers | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 0 | 7 | |a Ein-Ausgabe |0 (DE-588)4328552-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwarespezifikation |0 (DE-588)4056186-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Dialogsystem |0 (DE-588)4131632-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verfeinerung |0 (DE-588)4267759-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datenstrom |0 (DE-588)4410055-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systementwurf |0 (DE-588)4261480-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Dialogsystem |0 (DE-588)4131632-0 |D s |
| 689 | 0 | 1 | |a Systementwurf |0 (DE-588)4261480-6 |D s |
| 689 | 0 | 2 | |a Datenstrom |0 (DE-588)4410055-3 |D s |
| 689 | 0 | 3 | |a Ein-Ausgabe |0 (DE-588)4328552-1 |D s |
| 689 | 0 | 4 | |a Softwarespezifikation |0 (DE-588)4056186-0 |D s |
| 689 | 0 | 5 | |a Verfeinerung |0 (DE-588)4267759-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Stølen, Ketil |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9780387950730 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781461265184 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781461300922 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4613-0091-5 |x Verlag |z URL des Eerstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-SCS | ||
| 940 | 1 | |q ZDB-2-SCS_2000/2004 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-032471393 | ||
| 966 | e | |u https://doi.org/10.1007/978-1-4613-0091-5 |l UBY01 |p ZDB-2-SCS |q ZDB-2-SCS_2000/2004 |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804182062097235968 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Broy, Manfred Stølen, Ketil |
| author_facet | Broy, Manfred Stølen, Ketil |
| author_role | aut aut |
| author_sort | Broy, Manfred |
| author_variant | m b mb k s ks |
| building | Verbundindex |
| bvnumber | BV047064281 |
| classification_rvk | ST 230 |
| collection | ZDB-2-SCS |
| ctrlnum | (ZDB-2-SCS)978-1-4613-0091-5 (OCoLC)1227480580 (DE-599)BVBBV047064281 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.1007/978-1-4613-0091-5 |
| edition | 1st ed. 2001 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04067nmm a2200685zc 4500</leader><controlfield tag="001">BV047064281</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">201216s2001 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781461300915</subfield><subfield code="9">978-1-4613-0091-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4613-0091-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)978-1-4613-0091-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1227480580</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047064281</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</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="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Broy, Manfred</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Specification and Development of Interactive Systems</subfield><subfield code="b">Focus on Streams, Interfaces, and Refinement</subfield><subfield code="c">by Manfred Broy, Ketil Stølen</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2001</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Springer New York</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XV, 348 p)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Monographs in Computer Science</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This book presents a fundamental mathematical and logical approach to soft ware and systems engineering. Considering the large number of books de scribing mathematical approaches to program development, it is important to explain what we consider to be the specific contribution of our book, to identify our goals, and to characterize our intended target audience. Most books dealing with the mathematics and logics of programming and system development are mainly devoted to programming in the small. This is in contrast to our book where the emphasis is on modular system development with the help of component specifications with precisely identified interfaces and refinement concepts. Our book aims at systems development carried out in a systematic way, based on a clear mathematical theory. We do not claim that this book presents a full-blown engineering method. In fact, this is certainly not a book for the application-driven software engi neer looking for a practical method for system development in an industrial context. It is much rather a book for the computer scientist and the scientifi cally interested engineer who looks for basic principles of system development and, moreover, its mathematical foundations. It is also a book for method builders interested in a proper mathematical foundation on which they can build a practical development method and industrial-strength support tools</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering/Programming and Operating Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Ein-Ausgabe</subfield><subfield code="0">(DE-588)4328552-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Dialogsystem</subfield><subfield code="0">(DE-588)4131632-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verfeinerung</subfield><subfield code="0">(DE-588)4267759-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenstrom</subfield><subfield code="0">(DE-588)4410055-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systementwurf</subfield><subfield code="0">(DE-588)4261480-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Dialogsystem</subfield><subfield code="0">(DE-588)4131632-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Systementwurf</subfield><subfield code="0">(DE-588)4261480-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Datenstrom</subfield><subfield code="0">(DE-588)4410055-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Ein-Ausgabe</subfield><subfield code="0">(DE-588)4328552-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Verfeinerung</subfield><subfield code="0">(DE-588)4267759-2</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">Stølen, Ketil</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9780387950730</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781461265184</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781461300922</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4613-0091-5</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Eerstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2000/2004</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032471393</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4613-0091-5</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="q">ZDB-2-SCS_2000/2004</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV047064281 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T16:12:22Z |
| indexdate | 2024-07-10T09:01:34Z |
| institution | BVB |
| isbn | 9781461300915 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032471393 |
| oclc_num | 1227480580 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 1 Online-Ressource (XV, 348 p) |
| psigel | ZDB-2-SCS ZDB-2-SCS_2000/2004 ZDB-2-SCS ZDB-2-SCS_2000/2004 |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Springer New York |
| record_format | marc |
| series2 | Monographs in Computer Science |
| spelling | Broy, Manfred Verfasser aut Specification and Development of Interactive Systems Focus on Streams, Interfaces, and Refinement by Manfred Broy, Ketil Stølen 1st ed. 2001 New York, NY Springer New York 2001 1 Online-Ressource (XV, 348 p) txt rdacontent c rdamedia cr rdacarrier Monographs in Computer Science This book presents a fundamental mathematical and logical approach to soft ware and systems engineering. Considering the large number of books de scribing mathematical approaches to program development, it is important to explain what we consider to be the specific contribution of our book, to identify our goals, and to characterize our intended target audience. Most books dealing with the mathematics and logics of programming and system development are mainly devoted to programming in the small. This is in contrast to our book where the emphasis is on modular system development with the help of component specifications with precisely identified interfaces and refinement concepts. Our book aims at systems development carried out in a systematic way, based on a clear mathematical theory. We do not claim that this book presents a full-blown engineering method. In fact, this is certainly not a book for the application-driven software engi neer looking for a practical method for system development in an industrial context. It is much rather a book for the computer scientist and the scientifi cally interested engineer who looks for basic principles of system development and, moreover, its mathematical foundations. It is also a book for method builders interested in a proper mathematical foundation on which they can build a practical development method and industrial-strength support tools Theory of Computation Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Mathematical Logic and Formal Languages Computers Software engineering Computer logic Mathematical logic Ein-Ausgabe (DE-588)4328552-1 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Dialogsystem (DE-588)4131632-0 gnd rswk-swf Verfeinerung (DE-588)4267759-2 gnd rswk-swf Datenstrom (DE-588)4410055-3 gnd rswk-swf Systementwurf (DE-588)4261480-6 gnd rswk-swf Dialogsystem (DE-588)4131632-0 s Systementwurf (DE-588)4261480-6 s Datenstrom (DE-588)4410055-3 s Ein-Ausgabe (DE-588)4328552-1 s Softwarespezifikation (DE-588)4056186-0 s Verfeinerung (DE-588)4267759-2 s DE-604 Stølen, Ketil aut Erscheint auch als Druck-Ausgabe 9780387950730 Erscheint auch als Druck-Ausgabe 9781461265184 Erscheint auch als Druck-Ausgabe 9781461300922 https://doi.org/10.1007/978-1-4613-0091-5 Verlag URL des Eerstveröffentlichers Volltext |
| spellingShingle | Broy, Manfred Stølen, Ketil Specification and Development of Interactive Systems Focus on Streams, Interfaces, and Refinement Theory of Computation Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Mathematical Logic and Formal Languages Computers Software engineering Computer logic Mathematical logic Ein-Ausgabe (DE-588)4328552-1 gnd Softwarespezifikation (DE-588)4056186-0 gnd Dialogsystem (DE-588)4131632-0 gnd Verfeinerung (DE-588)4267759-2 gnd Datenstrom (DE-588)4410055-3 gnd Systementwurf (DE-588)4261480-6 gnd |
| subject_GND | (DE-588)4328552-1 (DE-588)4056186-0 (DE-588)4131632-0 (DE-588)4267759-2 (DE-588)4410055-3 (DE-588)4261480-6 |
| title | Specification and Development of Interactive Systems Focus on Streams, Interfaces, and Refinement |
| title_auth | Specification and Development of Interactive Systems Focus on Streams, Interfaces, and Refinement |
| title_exact_search | Specification and Development of Interactive Systems Focus on Streams, Interfaces, and Refinement |
| title_exact_search_txtP | Specification and Development of Interactive Systems Focus on Streams, Interfaces, and Refinement |
| title_full | Specification and Development of Interactive Systems Focus on Streams, Interfaces, and Refinement by Manfred Broy, Ketil Stølen |
| title_fullStr | Specification and Development of Interactive Systems Focus on Streams, Interfaces, and Refinement by Manfred Broy, Ketil Stølen |
| title_full_unstemmed | Specification and Development of Interactive Systems Focus on Streams, Interfaces, and Refinement by Manfred Broy, Ketil Stølen |
| title_short | Specification and Development of Interactive Systems |
| title_sort | specification and development of interactive systems focus on streams interfaces and refinement |
| title_sub | Focus on Streams, Interfaces, and Refinement |
| topic | Theory of Computation Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Mathematical Logic and Formal Languages Computers Software engineering Computer logic Mathematical logic Ein-Ausgabe (DE-588)4328552-1 gnd Softwarespezifikation (DE-588)4056186-0 gnd Dialogsystem (DE-588)4131632-0 gnd Verfeinerung (DE-588)4267759-2 gnd Datenstrom (DE-588)4410055-3 gnd Systementwurf (DE-588)4261480-6 gnd |
| topic_facet | Theory of Computation Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Mathematical Logic and Formal Languages Computers Software engineering Computer logic Mathematical logic Ein-Ausgabe Softwarespezifikation Dialogsystem Verfeinerung Datenstrom Systementwurf |
| url | https://doi.org/10.1007/978-1-4613-0091-5 |
| work_keys_str_mv | AT broymanfred specificationanddevelopmentofinteractivesystemsfocusonstreamsinterfacesandrefinement AT stølenketil specificationanddevelopmentofinteractivesystemsfocusonstreamsinterfacesandrefinement |