Modeling Telecom Networks and Systems Architecture: Conceptual Tools and Formal Methods
The book describes a method for modeling systems architecture, in particular of telecom networks and systems, although a large part can be used in a wider context. The method is called Sysnet Modeling, and is based on a new modeling language, called AML (Abstract systems Modeling Language), that is...
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2001
|
| Subjects: | |
| Online Access: | FHI01 BTU01 Volltext |
| Summary: | The book describes a method for modeling systems architecture, in particular of telecom networks and systems, although a large part can be used in a wider context. The method is called Sysnet Modeling, and is based on a new modeling language, called AML (Abstract systems Modeling Language), that is also described in the book. By applying sysnet modeling and AML, a formal model of the system is cre-ated. That model can be used for systems analysis, as well as for communicating system knowledge to a broader audience of engineers in development projects. Inherent in sysnet modeling is also a potential for considerable reduction in time spent on system implementation, through the possibilities for code- and test-case generation |
| Physical Description: | 1 Online-Ressource (XXV, 450 p) |
| ISBN: | 9783642568459 |
| DOI: | 10.1007/978-3-642-56845-9 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV045149323 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 180827s2001 |||| o||u| ||||||eng d | ||
| 020 | |a 9783642568459 |9 978-3-642-56845-9 | ||
| 024 | 7 | |a 10.1007/978-3-642-56845-9 |2 doi | |
| 035 | |a (ZDB-2-ENG)978-3-642-56845-9 | ||
| 035 | |a (OCoLC)1184329950 | ||
| 035 | |a (DE-599)BVBBV045149323 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-573 |a DE-634 | ||
| 082 | 0 | |a 621.382 |2 23 | |
| 100 | 1 | |a Muth, Thomas |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Modeling Telecom Networks and Systems Architecture |b Conceptual Tools and Formal Methods |c by Thomas Muth |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 2001 | |
| 300 | |a 1 Online-Ressource (XXV, 450 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 520 | |a The book describes a method for modeling systems architecture, in particular of telecom networks and systems, although a large part can be used in a wider context. The method is called Sysnet Modeling, and is based on a new modeling language, called AML (Abstract systems Modeling Language), that is also described in the book. By applying sysnet modeling and AML, a formal model of the system is cre-ated. That model can be used for systems analysis, as well as for communicating system knowledge to a broader audience of engineers in development projects. Inherent in sysnet modeling is also a potential for considerable reduction in time spent on system implementation, through the possibilities for code- and test-case generation | ||
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Communications Engineering, Networks | |
| 650 | 4 | |a Electrical Engineering | |
| 650 | 4 | |a Computer Systems Organization and Communication Networks | |
| 650 | 4 | |a Complexity | |
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Computer organization | |
| 650 | 4 | |a Complexity, Computational | |
| 650 | 4 | |a Electrical engineering | |
| 650 | 0 | 7 | |a Telekommunikationsnetz |0 (DE-588)4133586-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Konzeptionelle Modellierung |0 (DE-588)4123555-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Objektorientierung |0 (DE-588)4346172-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Telekommunikationsnetz |0 (DE-588)4133586-7 |D s |
| 689 | 0 | 1 | |a Konzeptionelle Modellierung |0 (DE-588)4123555-1 |D s |
| 689 | 0 | 2 | |a Objektorientierung |0 (DE-588)4346172-4 |D s |
| 689 | 0 | 3 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9783642631849 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-56845-9 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-ENG | ||
| 940 | 1 | |q ZDB-2-ENG_2000/2004 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030539022 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-56845-9 |l FHI01 |p ZDB-2-ENG |q ZDB-2-ENG_2000/2004 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-56845-9 |l BTU01 |p ZDB-2-ENG |q ZDB-2-ENG_Archiv |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804178820919459840 |
|---|---|
| any_adam_object | |
| author | Muth, Thomas |
| author_facet | Muth, Thomas |
| author_role | aut |
| author_sort | Muth, Thomas |
| author_variant | t m tm |
| building | Verbundindex |
| bvnumber | BV045149323 |
| collection | ZDB-2-ENG |
| ctrlnum | (ZDB-2-ENG)978-3-642-56845-9 (OCoLC)1184329950 (DE-599)BVBBV045149323 |
| dewey-full | 621.382 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 621 - Applied physics |
| dewey-raw | 621.382 |
| dewey-search | 621.382 |
| dewey-sort | 3621.382 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Elektrotechnik / Elektronik / Nachrichtentechnik |
| doi_str_mv | 10.1007/978-3-642-56845-9 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03147nmm a2200601zc 4500</leader><controlfield tag="001">BV045149323</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">180827s2001 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642568459</subfield><subfield code="9">978-3-642-56845-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-56845-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-ENG)978-3-642-56845-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1184329950</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045149323</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-573</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.382</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Muth, Thomas</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modeling Telecom Networks and Systems Architecture</subfield><subfield code="b">Conceptual Tools and Formal Methods</subfield><subfield code="c">by Thomas Muth</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XXV, 450 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="520" ind1=" " ind2=" "><subfield code="a">The book describes a method for modeling systems architecture, in particular of telecom networks and systems, although a large part can be used in a wider context. The method is called Sysnet Modeling, and is based on a new modeling language, called AML (Abstract systems Modeling Language), that is also described in the book. By applying sysnet modeling and AML, a formal model of the system is cre-ated. That model can be used for systems analysis, as well as for communicating system knowledge to a broader audience of engineers in development projects. Inherent in sysnet modeling is also a potential for considerable reduction in time spent on system implementation, through the possibilities for code- and test-case generation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Communications Engineering, Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electrical Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Systems Organization and Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer organization</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Complexity, Computational</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electrical engineering</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Telekommunikationsnetz</subfield><subfield code="0">(DE-588)4133586-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Konzeptionelle Modellierung</subfield><subfield code="0">(DE-588)4123555-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Objektorientierung</subfield><subfield code="0">(DE-588)4346172-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Telekommunikationsnetz</subfield><subfield code="0">(DE-588)4133586-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Konzeptionelle Modellierung</subfield><subfield code="0">(DE-588)4123555-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Objektorientierung</subfield><subfield code="0">(DE-588)4346172-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</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">9783642631849</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-56845-9</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-ENG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-ENG_2000/2004</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030539022</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-56845-9</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="q">ZDB-2-ENG_2000/2004</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-56845-9</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="q">ZDB-2-ENG_Archiv</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV045149323 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:10:03Z |
| institution | BVB |
| isbn | 9783642568459 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030539022 |
| oclc_num | 1184329950 |
| open_access_boolean | |
| owner | DE-573 DE-634 |
| owner_facet | DE-573 DE-634 |
| physical | 1 Online-Ressource (XXV, 450 p) |
| psigel | ZDB-2-ENG ZDB-2-ENG_2000/2004 ZDB-2-ENG ZDB-2-ENG_2000/2004 ZDB-2-ENG ZDB-2-ENG_Archiv |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| spelling | Muth, Thomas Verfasser aut Modeling Telecom Networks and Systems Architecture Conceptual Tools and Formal Methods by Thomas Muth Berlin, Heidelberg Springer Berlin Heidelberg 2001 1 Online-Ressource (XXV, 450 p) txt rdacontent c rdamedia cr rdacarrier The book describes a method for modeling systems architecture, in particular of telecom networks and systems, although a large part can be used in a wider context. The method is called Sysnet Modeling, and is based on a new modeling language, called AML (Abstract systems Modeling Language), that is also described in the book. By applying sysnet modeling and AML, a formal model of the system is cre-ated. That model can be used for systems analysis, as well as for communicating system knowledge to a broader audience of engineers in development projects. Inherent in sysnet modeling is also a potential for considerable reduction in time spent on system implementation, through the possibilities for code- and test-case generation Engineering Communications Engineering, Networks Electrical Engineering Computer Systems Organization and Communication Networks Complexity Computer organization Complexity, Computational Electrical engineering Telekommunikationsnetz (DE-588)4133586-7 gnd rswk-swf Konzeptionelle Modellierung (DE-588)4123555-1 gnd rswk-swf Objektorientierung (DE-588)4346172-4 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Telekommunikationsnetz (DE-588)4133586-7 s Konzeptionelle Modellierung (DE-588)4123555-1 s Objektorientierung (DE-588)4346172-4 s Formale Methode (DE-588)4333722-3 s 1\p DE-604 Erscheint auch als Druck-Ausgabe 9783642631849 https://doi.org/10.1007/978-3-642-56845-9 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Muth, Thomas Modeling Telecom Networks and Systems Architecture Conceptual Tools and Formal Methods Engineering Communications Engineering, Networks Electrical Engineering Computer Systems Organization and Communication Networks Complexity Computer organization Complexity, Computational Electrical engineering Telekommunikationsnetz (DE-588)4133586-7 gnd Konzeptionelle Modellierung (DE-588)4123555-1 gnd Objektorientierung (DE-588)4346172-4 gnd Formale Methode (DE-588)4333722-3 gnd |
| subject_GND | (DE-588)4133586-7 (DE-588)4123555-1 (DE-588)4346172-4 (DE-588)4333722-3 |
| title | Modeling Telecom Networks and Systems Architecture Conceptual Tools and Formal Methods |
| title_auth | Modeling Telecom Networks and Systems Architecture Conceptual Tools and Formal Methods |
| title_exact_search | Modeling Telecom Networks and Systems Architecture Conceptual Tools and Formal Methods |
| title_full | Modeling Telecom Networks and Systems Architecture Conceptual Tools and Formal Methods by Thomas Muth |
| title_fullStr | Modeling Telecom Networks and Systems Architecture Conceptual Tools and Formal Methods by Thomas Muth |
| title_full_unstemmed | Modeling Telecom Networks and Systems Architecture Conceptual Tools and Formal Methods by Thomas Muth |
| title_short | Modeling Telecom Networks and Systems Architecture |
| title_sort | modeling telecom networks and systems architecture conceptual tools and formal methods |
| title_sub | Conceptual Tools and Formal Methods |
| topic | Engineering Communications Engineering, Networks Electrical Engineering Computer Systems Organization and Communication Networks Complexity Computer organization Complexity, Computational Electrical engineering Telekommunikationsnetz (DE-588)4133586-7 gnd Konzeptionelle Modellierung (DE-588)4123555-1 gnd Objektorientierung (DE-588)4346172-4 gnd Formale Methode (DE-588)4333722-3 gnd |
| topic_facet | Engineering Communications Engineering, Networks Electrical Engineering Computer Systems Organization and Communication Networks Complexity Computer organization Complexity, Computational Electrical engineering Telekommunikationsnetz Konzeptionelle Modellierung Objektorientierung Formale Methode |
| url | https://doi.org/10.1007/978-3-642-56845-9 |
| work_keys_str_mv | AT muththomas modelingtelecomnetworksandsystemsarchitectureconceptualtoolsandformalmethods |