Reliable software technology - Ada-Europe 2005: 10th Ada-Europe International Conference on Reliable Software Technoloiges, York, UK, June 20 - 24, 2005 ; proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2005
|
| Schriftenreihe: | Lecture notes in computer science
3555 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XV, 271 S. Ill., graph. Darst. |
| ISBN: | 9783540262862 3540262865 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV019884183 | ||
| 003 | DE-604 | ||
| 005 | 20070608 | ||
| 007 | t| | ||
| 008 | 050714s2005 gw ad|| |||| 10||| eng d | ||
| 015 | |a 05,A29,0037 |2 dnb | ||
| 016 | 7 | |a 975273833 |2 DE-101 | |
| 020 | |a 9783540262862 |c Pp. |9 978-3-540-26286-2 | ||
| 020 | |a 3540262865 |c Pp. |9 3-540-26286-5 | ||
| 035 | |a (OCoLC)255270379 | ||
| 035 | |a (DE-599)BVBBV019884183 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE | ||
| 049 | |a DE-739 |a DE-91G |a DE-706 |a DE-83 | ||
| 050 | 0 | |a QA76.76.R44 | |
| 082 | 0 | |a 005.1 | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 356f |2 stub | ||
| 111 | 2 | |a International Conference on Reliable Software Technologies |n 10 |d 2005 |c York |j Verfasser |0 (DE-588)10106498-6 |4 aut | |
| 245 | 1 | 0 | |a Reliable software technology - Ada-Europe 2005 |b 10th Ada-Europe International Conference on Reliable Software Technoloiges, York, UK, June 20 - 24, 2005 ; proceedings |c Tullio Vardanega ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2005 | |
| 300 | |a XV, 271 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 3555 | |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Ada |0 (DE-588)4000430-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmdokumentation |0 (DE-588)4175844-4 |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)1071861417 |a Konferenzschrift |y 2005 |z York |2 gnd-content | |
| 655 | 4 | |a Kongress - York <2005> - Eingebettetes System - ADA - Zuverlässigkeit - Softwareentwicklung | |
| 655 | 4 | |a Kongress - York <2005> - Softwareentwicklung - ADA - Zuverlässigkeit | |
| 655 | 4 | |a Kongress - York <2005> - Softwareentwicklung - Zuverlässigkeit | |
| 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 Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
| 689 | 0 | 3 | |a Ada |0 (DE-588)4000430-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
| 689 | 1 | 1 | |a Programmdokumentation |0 (DE-588)4175844-4 |D s |
| 689 | 1 | 2 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
| 689 | 1 | 3 | |a Ada |0 (DE-588)4000430-2 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 689 | 2 | 0 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
| 689 | 2 | 1 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 2 | 2 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
| 689 | 2 | 3 | |a Ada |0 (DE-588)4000430-2 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Vardanega, Tullio |e Sonstige |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 3555 |w (DE-604)BV000000607 |9 3555 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013208280&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-013208280 | |
Datensatz im Suchindex
| _version_ | 1820874959323398144 |
|---|---|
| adam_text |
TULLIO VARDANEGA ANDY WELLINGS (EDS.) RELIABLE SOFTWARE TECHNOLOGY
ADA-EUROPE 2005 10TH ADA-EUROPE INTERHATIONAL GONFERENCE ON RELIABLE
SOFTWARE TECHNOLOGIES YORK, UK, JUNE 20-24, 2005 PROCEEDINGS FYJ
SPRINGER TABLE OF CONTENTS APPLICATIONS ILTIS - THE LEGACY OF A
SUCCESSFUL PRODUCT NEVILLE ROWDEN 1 A REFERENCE CONTROL ARCHITECTURE FOR
SERVICE ROBOTS IMPLEMENTED ON A CLIMBING VEHICLE FRANCISCO ORTIZ, DIEGO
ALONSO, BDRBARA ALVAREZ, JUAN A. PASTOR 13 AN ADA FRAMEWORK FOR
QOS-AWARE APPLICATIONS LUIS MIGUEL PINHO, LUIS NOGUEIRA, RICARDO BARBOSA
25 DESIGN AND SCHEDULING ISSUES EFFICIENT ALTERNATIVES FOR IMPLEMENTING
FIXED-PRIORITY SCHEDULERS SERGIO SDEZ, VICENT LORENTE, SILVIA TERRASA,
ALFONS CRESPO 39 A NEW STRATEGY FOR THE HRT-HOOD TO ADA MAPPING MATTEO
BORDIN, TULLIO VARDANEGA 51 USING THE AADL TO DESCRIBE DISTRIBUTED
APPLICATIONS FROM MIDDLEWARE TO SOFTWARE COMPONENTS THOMAS VERGNAUD,
LAURENT PAUTET, FABRICE KORDON 67 FORMAL METHODS EXTENDING RAVENSCAR
WITH CSP CHANNELS DIYAA-ADDEIN ATIYA, STEVE KING I 79 DYNAMIC TASKS
VERIFICATION WITH QUASAR SAMI EVANGELISTA, CLAUDE KAISER, CHRISTOPHE
PAJAULT, JEAN FRANCOIS PRADAT-PEYRE, PIERRE ROUSSEAU 91 PROVING
FUNCTIONAL EQUIVALENCE FOR PROGRAM SLICING IN SPARK* RICKY E. SWARD,
LEEMON C. BAIRDLLL 105 XIV TABLE OF CONTENTS ADA AND EDUCATION TEACHING
SOFTWARE ENGINEERING WITH ADA 95 DANIEL SIMON, GUNTHER VOGEL, ERHARD
PLB'DEREDER 115 A COMPARISON OF THE MUTUAL EXCLUSION FEATURES IN ADA AND
THE REAL-TIME SPECIFICATION FOR JAVA* BENJAMIN M. BROSGOL 129
CERTIFICATION AND VERIFICATION SMART CERTIFICATION OF MIXED CRITICALITY
SYSTEMS PETER AMEY, ROD CHAPMAN, NEIL WHITE 144 NON-INTRUSIVE SYSTEM
LEVEL FAULT-TOLERANCE KRISTINA LUNDQVIST, JAYAKANTH SRINIVASAN,
SEBASTIEN GORELOV 156 DISTRIBUTED SYSTEMS OBSERVING THE DEVELOPMENT OF A
RELIABLE EMBEDDED SYSTEM DEVARAJ AYAVOO, MICHAEL J. PONT, STEPHEN PARKER
167 RT-EP: A FIXED-PRIORITY REAL TIME COMMUNICATION PROTOCOL OVER
STANDARD ETHERNET JOSE MARIA MARTINEZ, MICHAEL GONZALEZ HARBOUR 180
DISTRIBUTING CRITICALITY ACROSS ADA PARTITIONS MIGUEL MASMANO, JORGE
REAL, ALFONS CRESPO, ISMAEL RIPOLL 19 6 LANGUAGE ISSUES THE
IMPLEMENTATION OF ADA 2005 INTERFACE TYPES IN THE GNAT COMPILER JAVIER
MIRANDA, EDMOND SCHONBERG, GARY DISMUKES 208 INTEGRATING
APPLICATION-DEFINED SCHEDULING WITH THE NEW DISPATCHING POLICIES FOR ADA
TASKS MARIO ALDEA RIVAS, JAVIER MIRANDA, MICHAEL GONZALEZ HARBOUR 220
THE APPLICATION OF COMPILE-TIME REFLECTION TO SOFTWARE FAULT TOLERANCE
USING ADA 95 PATRICK ROGERS, ANDY J. WELLINGS ' 236 TABLE OF CONTENTS XV
RAVENSCAR TECHNOLOGY GNAT PRO FOR ON-BOARD MISSION-CRITICAL SPACE
APPLICATIONS JOSI F. RUIZ 248 THE ESA RAVENSCAR BENCHMARK ROMAIN
BERRENDONNER, JEROME GUITTON 260 AUTHOR INDEX 273 |
| any_adam_object | 1 |
| author_corporate | International Conference on Reliable Software Technologies York |
| author_corporate_role | aut |
| author_facet | International Conference on Reliable Software Technologies York |
| author_sort | International Conference on Reliable Software Technologies York |
| building | Verbundindex |
| bvnumber | BV019884183 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.R44 |
| callnumber-search | QA76.76.R44 |
| callnumber-sort | QA 276.76 R44 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 356f |
| ctrlnum | (OCoLC)255270379 (DE-599)BVBBV019884183 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding 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">BV019884183</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070608</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">050714s2005 gw ad|| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">05,A29,0037</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">975273833</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540262862</subfield><subfield code="c">Pp.</subfield><subfield code="9">978-3-540-26286-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540262865</subfield><subfield code="c">Pp.</subfield><subfield code="9">3-540-26286-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)255270379</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019884183</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</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.R44</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</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 356f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Conference on Reliable Software Technologies</subfield><subfield code="n">10</subfield><subfield code="d">2005</subfield><subfield code="c">York</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)10106498-6</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reliable software technology - Ada-Europe 2005</subfield><subfield code="b">10th Ada-Europe International Conference on Reliable Software Technoloiges, York, UK, June 20 - 24, 2005 ; proceedings</subfield><subfield code="c">Tullio Vardanega ... (eds.)</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">XV, 271 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">3555</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">Ada</subfield><subfield code="0">(DE-588)4000430-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmdokumentation</subfield><subfield code="0">(DE-588)4175844-4</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)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2005</subfield><subfield code="z">York</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Kongress - York <2005> - Eingebettetes System - ADA - Zuverlässigkeit - Softwareentwicklung</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Kongress - York <2005> - Softwareentwicklung - ADA - Zuverlässigkeit</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Kongress - York <2005> - Softwareentwicklung - Zuverlässigkeit</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">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Ada</subfield><subfield code="0">(DE-588)4000430-2</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">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Programmdokumentation</subfield><subfield code="0">(DE-588)4175844-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Ada</subfield><subfield code="0">(DE-588)4000430-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" 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="2" ind2="2"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="3"><subfield code="a">Ada</subfield><subfield code="0">(DE-588)4000430-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Vardanega, Tullio</subfield><subfield code="e">Sonstige</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">3555</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">3555</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch</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=013208280&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-013208280</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2005 York gnd-content Kongress - York <2005> - Eingebettetes System - ADA - Zuverlässigkeit - Softwareentwicklung Kongress - York <2005> - Softwareentwicklung - ADA - Zuverlässigkeit Kongress - York <2005> - Softwareentwicklung - Zuverlässigkeit |
| genre_facet | Konferenzschrift 2005 York Kongress - York <2005> - Eingebettetes System - ADA - Zuverlässigkeit - Softwareentwicklung Kongress - York <2005> - Softwareentwicklung - ADA - Zuverlässigkeit Kongress - York <2005> - Softwareentwicklung - Zuverlässigkeit |
| id | DE-604.BV019884183 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:08:02Z |
| institution | BVB |
| institution_GND | (DE-588)10106498-6 |
| isbn | 9783540262862 3540262865 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-013208280 |
| oclc_num | 255270379 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-706 DE-83 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-706 DE-83 |
| physical | XV, 271 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 | International Conference on Reliable Software Technologies 10 2005 York Verfasser (DE-588)10106498-6 aut Reliable software technology - Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technoloiges, York, UK, June 20 - 24, 2005 ; proceedings Tullio Vardanega ... (eds.) Berlin [u.a.] Springer 2005 XV, 271 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 3555 Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Ada (DE-588)4000430-2 gnd rswk-swf Zuverlässigkeit (DE-588)4059245-5 gnd rswk-swf Programmdokumentation (DE-588)4175844-4 gnd rswk-swf Eingebettetes System (DE-588)4396978-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2005 York gnd-content Kongress - York <2005> - Eingebettetes System - ADA - Zuverlässigkeit - Softwareentwicklung Kongress - York <2005> - Softwareentwicklung - ADA - Zuverlässigkeit Kongress - York <2005> - Softwareentwicklung - Zuverlässigkeit Eingebettetes System (DE-588)4396978-1 s Softwareentwicklung (DE-588)4116522-6 s Zuverlässigkeit (DE-588)4059245-5 s Ada (DE-588)4000430-2 s DE-604 Programmdokumentation (DE-588)4175844-4 s 1\p DE-604 Vardanega, Tullio Sonstige oth Lecture notes in computer science 3555 (DE-604)BV000000607 3555 HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013208280&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Reliable software technology - Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technoloiges, York, UK, June 20 - 24, 2005 ; proceedings Lecture notes in computer science Softwareentwicklung (DE-588)4116522-6 gnd Ada (DE-588)4000430-2 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Programmdokumentation (DE-588)4175844-4 gnd Eingebettetes System (DE-588)4396978-1 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4000430-2 (DE-588)4059245-5 (DE-588)4175844-4 (DE-588)4396978-1 (DE-588)1071861417 |
| title | Reliable software technology - Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technoloiges, York, UK, June 20 - 24, 2005 ; proceedings |
| title_auth | Reliable software technology - Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technoloiges, York, UK, June 20 - 24, 2005 ; proceedings |
| title_exact_search | Reliable software technology - Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technoloiges, York, UK, June 20 - 24, 2005 ; proceedings |
| title_full | Reliable software technology - Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technoloiges, York, UK, June 20 - 24, 2005 ; proceedings Tullio Vardanega ... (eds.) |
| title_fullStr | Reliable software technology - Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technoloiges, York, UK, June 20 - 24, 2005 ; proceedings Tullio Vardanega ... (eds.) |
| title_full_unstemmed | Reliable software technology - Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technoloiges, York, UK, June 20 - 24, 2005 ; proceedings Tullio Vardanega ... (eds.) |
| title_short | Reliable software technology - Ada-Europe 2005 |
| title_sort | reliable software technology ada europe 2005 10th ada europe international conference on reliable software technoloiges york uk june 20 24 2005 proceedings |
| title_sub | 10th Ada-Europe International Conference on Reliable Software Technoloiges, York, UK, June 20 - 24, 2005 ; proceedings |
| topic | Softwareentwicklung (DE-588)4116522-6 gnd Ada (DE-588)4000430-2 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Programmdokumentation (DE-588)4175844-4 gnd Eingebettetes System (DE-588)4396978-1 gnd |
| topic_facet | Softwareentwicklung Ada Zuverlässigkeit Programmdokumentation Eingebettetes System Konferenzschrift 2005 York Kongress - York <2005> - Eingebettetes System - ADA - Zuverlässigkeit - Softwareentwicklung Kongress - York <2005> - Softwareentwicklung - ADA - Zuverlässigkeit Kongress - York <2005> - Softwareentwicklung - Zuverlässigkeit |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013208280&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT internationalconferenceonreliablesoftwaretechnologiesyork reliablesoftwaretechnologyadaeurope200510thadaeuropeinternationalconferenceonreliablesoftwaretechnoloigesyorkukjune20242005proceedings AT vardanegatullio reliablesoftwaretechnologyadaeurope200510thadaeuropeinternationalconferenceonreliablesoftwaretechnoloigesyorkukjune20242005proceedings |