Component based software development for embedded systems: an overview of current research trends
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2005
|
| Ausgabe: | 1. ed. |
| Schriftenreihe: | Lecture Notes in Computer Science
3778 : state-of-the-art survey |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VIII, 344 S. Ill., graph. Darst. |
| ISBN: | 9783540306443 3540306447 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV021285118 | ||
| 003 | DE-604 | ||
| 005 | 20101007 | ||
| 007 | t| | ||
| 008 | 060110s2005 gw ad|| |||| 00||| eng d | ||
| 015 | |a 05,N48,0018 |2 dnb | ||
| 016 | 7 | |a 977012565 |2 DE-101 | |
| 020 | |a 9783540306443 |9 978-3-540-30644-3 | ||
| 020 | |a 3540306447 |c : EUR 53.50 (freier Pr.), sfr 88.50 (freier Pr.) |9 3-540-30644-7 | ||
| 024 | 3 | |a 9783540306443 | |
| 028 | 5 | 2 | |a 11591962 |
| 035 | |a (OCoLC)181496730 | ||
| 035 | |a (DE-599)DNB977012565 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-739 |a DE-91G |a DE-703 |a DE-706 |a DE-29T |a DE-83 | ||
| 084 | |a ST 153 |0 (DE-625)143597: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 260f |2 stub | ||
| 245 | 1 | 0 | |a Component based software development for embedded systems |b an overview of current research trends |c Colin Atkinson ... (eds.) |
| 246 | 1 | 3 | |a Component-based software development for embedded systems |
| 250 | |a 1. ed. | ||
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2005 | |
| 300 | |a VIII, 344 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 3778 : state-of-the-art survey | |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Komponente |g Software |0 (DE-588)4439521-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Eingebettetes System |0 (DE-588)4396978-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
| 689 | 0 | 1 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 2 | |a Komponente |g Software |0 (DE-588)4439521-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Atkinson, Colin |e Sonstige |0 (DE-588)130650005 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 3778 : state-of-the-art survey |w (DE-604)BV000000607 |9 3778 | |
| 856 | 4 | 2 | |m Digitalisierung UBPassau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014606062&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-014606062 | |
Datensatz im Suchindex
| _version_ | 1820874979356442624 |
|---|---|
| adam_text |
Table of Contents
Component-Based Software Development for Embedded Systems
An Introduction
Colin Atkinson, Christian Bunse, Christian Peper,
and Hans-Gerhard Gross
Specification and Verification
Specification and Verification of Applications Based on Function Blocks
Wei Zhang, Wolfgang A. Halang, and Christian Dietrich
A Model-Based Approach to Formal Specification and Verification
of Embedded Systems Using Colored Petri Nets
Leandro
Modular
Aleksandra
Component Compatibility
Behavioral Types for Embedded Software
Walter Maydl and Lars Grunske
Assessing Real-Time Component Contracts
Through Built-in Evolutionary Testing
Hans-Gerhard Gross, Nikolas Mayer, and Javier Paredes Riano
Component Architectures, Implementation
and Tool Support
Platform-Independent Specification of Component Architectures
for Embedded Real-Time Systems Based on an Extended UML
Shourong
Model Driven Software Development
in the Context of Embedded Component Infrastructures
Markus
A Component Framework for Consumer Electronics Middleware
Johan Muskens, Michel R. V.
Connecting Embedded Devices Using a Component Platform
for Adaptable Protocol Stacks
Sam Michiels,
Wouter Joosen, and Pierre Verbaeten
VIII Table of Contents
CoConES: An Approach for Components and Contracts
in Embedded Systems
Yolande
and Stefan Van Baelen
Adopting a Component-Based Software Architecture
for an Industrial Control System
Frank
Non-functional Properties
Specification and Evaluation of Safety Properties
in a Component-Based Software Engineering Process
Lars Grunske, Bernhard
Performance Evaluation Approaches for Software Architects
Ann Purhonen
Component-Based Engineering
of Distributed Embedded Control Software
J.H. Jahnke, A. McNair, J.
and M. Lavender
Component-Based Development of Dependable Systems with UML
Jan Mrjens and Stefan Wagner
Author Index |
| adam_txt |
Table of Contents
Component-Based Software Development for Embedded Systems
An Introduction
Colin Atkinson, Christian Bunse, Christian Peper,
and Hans-Gerhard Gross
Specification and Verification
Specification and Verification of Applications Based on Function Blocks
Wei Zhang, Wolfgang A. Halang, and Christian Dietrich
A Model-Based Approach to Formal Specification and Verification
of Embedded Systems Using Colored Petri Nets
Leandro
Modular
Aleksandra
Component Compatibility
Behavioral Types for Embedded Software
Walter Maydl and Lars Grunske
Assessing Real-Time Component Contracts
Through Built-in Evolutionary Testing
Hans-Gerhard Gross, Nikolas Mayer, and Javier Paredes Riano
Component Architectures, Implementation
and Tool Support
Platform-Independent Specification of Component Architectures
for Embedded Real-Time Systems Based on an Extended UML
Shourong
Model Driven Software Development
in the Context of Embedded Component Infrastructures
Markus
A Component Framework for Consumer Electronics Middleware
Johan Muskens, Michel R. V.
Connecting Embedded Devices Using a Component Platform
for Adaptable Protocol Stacks
Sam Michiels,
Wouter Joosen, and Pierre Verbaeten
VIII Table of Contents
CoConES: An Approach for Components and Contracts
in Embedded Systems
Yolande
and Stefan Van Baelen
Adopting a Component-Based Software Architecture
for an Industrial Control System
Frank
Non-functional Properties
Specification and Evaluation of Safety Properties
in a Component-Based Software Engineering Process
Lars Grunske, Bernhard
Performance Evaluation Approaches for Software Architects
Ann Purhonen
Component-Based Engineering
of Distributed Embedded Control Software
J.H. Jahnke, A. McNair, J.
and M. Lavender
Component-Based Development of Dependable Systems with UML
Jan Mrjens and Stefan Wagner
Author Index |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author_GND | (DE-588)130650005 |
| building | Verbundindex |
| bvnumber | BV021285118 |
| classification_rvk | ST 153 |
| classification_tum | DAT 260f |
| ctrlnum | (OCoLC)181496730 (DE-599)DNB977012565 |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| edition | 1. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV021285118</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20101007</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">060110s2005 gw ad|| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">05,N48,0018</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">977012565</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540306443</subfield><subfield code="9">978-3-540-30644-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540306447</subfield><subfield code="c">: EUR 53.50 (freier Pr.), sfr 88.50 (freier Pr.)</subfield><subfield code="9">3-540-30644-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540306443</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11591962</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)181496730</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB977012565</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 153</subfield><subfield code="0">(DE-625)143597:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 260f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Component based software development for embedded systems</subfield><subfield code="b">an overview of current research trends</subfield><subfield code="c">Colin Atkinson ... (eds.)</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Component-based software development for embedded systems</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 344 S.</subfield><subfield code="b">Ill., 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">Lecture Notes in Computer Science</subfield><subfield code="v">3778 : state-of-the-art survey</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Komponente</subfield><subfield code="g">Software</subfield><subfield code="0">(DE-588)4439521-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Komponente</subfield><subfield code="g">Software</subfield><subfield code="0">(DE-588)4439521-8</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">Atkinson, Colin</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)130650005</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">3778 : state-of-the-art survey</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">3778</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UBPassau</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014606062&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-014606062</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV021285118 |
| illustrated | Illustrated |
| index_date | 2024-07-02T13:48:15Z |
| indexdate | 2025-01-10T15:08:19Z |
| institution | BVB |
| isbn | 9783540306443 3540306447 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014606062 |
| oclc_num | 181496730 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-703 DE-706 DE-29T DE-83 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-703 DE-706 DE-29T DE-83 |
| physical | VIII, 344 S. Ill., graph. Darst. |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Component based software development for embedded systems an overview of current research trends Colin Atkinson ... (eds.) Component-based software development for embedded systems 1. ed. Berlin [u.a.] Springer 2005 VIII, 344 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 3778 : state-of-the-art survey Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Komponente Software (DE-588)4439521-8 gnd rswk-swf Eingebettetes System (DE-588)4396978-1 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Eingebettetes System (DE-588)4396978-1 s Softwareentwicklung (DE-588)4116522-6 s Komponente Software (DE-588)4439521-8 s DE-604 Atkinson, Colin Sonstige (DE-588)130650005 oth Lecture Notes in Computer Science 3778 : state-of-the-art survey (DE-604)BV000000607 3778 Digitalisierung UBPassau application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014606062&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Component based software development for embedded systems an overview of current research trends Lecture Notes in Computer Science Softwareentwicklung (DE-588)4116522-6 gnd Komponente Software (DE-588)4439521-8 gnd Eingebettetes System (DE-588)4396978-1 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4439521-8 (DE-588)4396978-1 (DE-588)4143413-4 |
| title | Component based software development for embedded systems an overview of current research trends |
| title_alt | Component-based software development for embedded systems |
| title_auth | Component based software development for embedded systems an overview of current research trends |
| title_exact_search | Component based software development for embedded systems an overview of current research trends |
| title_exact_search_txtP | Component based software development for embedded systems an overview of current research trends |
| title_full | Component based software development for embedded systems an overview of current research trends Colin Atkinson ... (eds.) |
| title_fullStr | Component based software development for embedded systems an overview of current research trends Colin Atkinson ... (eds.) |
| title_full_unstemmed | Component based software development for embedded systems an overview of current research trends Colin Atkinson ... (eds.) |
| title_short | Component based software development for embedded systems |
| title_sort | component based software development for embedded systems an overview of current research trends |
| title_sub | an overview of current research trends |
| topic | Softwareentwicklung (DE-588)4116522-6 gnd Komponente Software (DE-588)4439521-8 gnd Eingebettetes System (DE-588)4396978-1 gnd |
| topic_facet | Softwareentwicklung Komponente Software Eingebettetes System Aufsatzsammlung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014606062&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT atkinsoncolin componentbasedsoftwaredevelopmentforembeddedsystemsanoverviewofcurrentresearchtrends AT atkinsoncolin componentbasedsoftwaredevelopmentforembeddedsystems |