Software for avionics: copies of papers presented at the Avionics Panel's 44th symposium held at The Hague-Kijkduin, Netherlands, 6 - 10 Sept. 1982
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Neuilly sur Seine
1983
|
| Schriftenreihe: | NATO / Advisory Group for Aerospace Research and Development: AGARD conference proceedings
330 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Beitr. teilw. in dt., teilw. in franz. |
| Beschreibung: | Getr. Zählung graph. Darst. |
| ISBN: | 9283503236 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV002180867 | ||
| 003 | DE-604 | ||
| 005 | 20021122 | ||
| 007 | t | ||
| 008 | 890928s1983 d||| |||| 00||| eng d | ||
| 020 | |a 9283503236 |9 92-835-0323-6 | ||
| 035 | |a (OCoLC)631082342 | ||
| 035 | |a (DE-599)BVBBV002180867 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-210 |a DE-83 |a DE-706 | ||
| 084 | |a VER 625f |2 stub | ||
| 245 | 1 | 0 | |a Software for avionics |b copies of papers presented at the Avionics Panel's 44th symposium held at The Hague-Kijkduin, Netherlands, 6 - 10 Sept. 1982 |c Urheber: Nato / Advisory Group for Aerospace Research and Development* |
| 246 | 1 | 3 | |a Reportnr. AGARD CP 330 |
| 264 | 1 | |a Neuilly sur Seine |c 1983 | |
| 300 | |a Getr. Zählung |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a NATO / Advisory Group for Aerospace Research and Development: AGARD conference proceedings |v 330 | |
| 500 | |a Beitr. teilw. in dt., teilw. in franz. | ||
| 650 | 0 | 7 | |a Avionik |0 (DE-588)4196491-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software |0 (DE-588)4055382-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1982 |z Den Haag |2 gnd-content | |
| 689 | 0 | 0 | |a Avionik |0 (DE-588)4196491-3 |D s |
| 689 | 0 | 1 | |a Software |0 (DE-588)4055382-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 710 | 2 | |a NATO |b Advisory Group for Aerospace Research and Development |e Sonstige |0 (DE-588)378-5 |4 oth | |
| 810 | 2 | |a Advisory Group for Aerospace Research and Development: AGARD conference proceedings |t NATO |v 330 |w (DE-604)BV001900884 |9 330 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001432461&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 940 | 1 | |q TUB-nseb | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001432461 | ||
Datensatz im Suchindex
| _version_ | 1804116636519628800 |
|---|---|
| adam_text | IMAGE 1
AGARD-CP-330
U/
NORTH ATLANTIC TREATY ORGANIZATION
ADVISORY GROUP FORAEROSPACERESEARCH AND DEVELOPMENT
(ORGANISATIONDUTRAITEDE L ATLANTIQUENORD)
AGARD CONFERENCE PROCEEDINGS NO.330
SOFTWAREFOR AVIONICS
COPIES OF PAPERS PRESENTED AT THE AVIONICS PANEL S 44TH SYMPOSIUM HELD
AT THE
ATLANTIC HOTEL, THE HAGUE-KIJKDUIN, NETHERLANDS, 6-10 SEPTEMBER 1982.
IMAGE 2
CONTENTS
/FY/T Q A V- {*~S ^ CJ J
PAGE
THEME III
MEETINGAND PANEL OFFICIALS IV
TECHNICAL EVALUATION REPORT IX
REFERENCE
SESSION 1 - SOFTWARE (S/W) TECHNOLOGY (TUTORIAL)
AVIONICS SOFTWARE: WHERE ARE WE? BY W.H.WARE 1
AVIONIC SOFTWAREDESIGN BY D.E.SUNDSTROM 2
PAPER NO.3 CANCELLED
SOFTWAREDEVELOPMENT: DESIGNAND REALITY BY H. VON GROOTE AND F.SCHWEGLER
4
MASCOTDEVELOPMENTS TO IMPROVE SOFTWARE STRUCTUREAND INTEGRITY BY
H.R.SIMPSON 5
VERS UN VERITABLE ATELIER DE LOGICIEL AVIONIQUE PAR G.BRACON 6
DISCUSSIONFOR SESSION I DL
SESSION 2 - SOFTWAREAND SYSTEM REQUIREMENT ANALYSIS
REQUIREMENTSDECOMPOSITION AND OTHERMYTHS BY T.G.SWANN 7
PRACTICAL CONSIDERATIONS IN THEINTRODUCTION OF REQUIREMENTS ANALYSIS
TECHNIQUES BY C.P.PRICE AND D.Y.FORSYTH 8
THE A-7E SOFTWARE REQUIREMENTSDOCUMENT: THREEYEARS OF CHANGE DATA BY
LJ.CHMURA AND D.M.WEISS 9
D.L.A.O. : UN SYSTEME D AIDE A LA DEFINITION DE LOGICIELS
AVIONIQUES PAR S.CHENUT-MARTIN ET F.DOLADILLE 10
THEMENTORAPPROACH TO REQUIREMENTS SPECIFICATION BY D.JORDAN AND
B.HAUXWELL 11
THE COMPUTERAIDED SPECIFICATION SYSTEMEASY BY L.HIRSCHMANN AND
N.CHRISTENSEN 12
DISCUSSIONFOR SESSION H D2
SESSION 3 -SOFTWAREDESIGN AND DEVELOPMENTPROCESS
THEIMPACT OF STANDARDIZATION ON AVIONIC SOFTWARE BY J.D.ENGELLAND 13
V
IMAGE 3
ADASTATUS AND OUTLOOK BY J.F.KRAMER JR. 14
STANDARDISATION DU LTRPOUR CALCULATEURS EMBARQUES - LE PRESENTET LE
FUTUR PAR J. DE MONTCHEUIL 15
OPERATIONAL FLIGHTPROGRAM DEVELOPMENTWITH A HIGHER ORDER LANGUAGE BY
R.E.WESTBROOK AND L.L.CREWS 16
AN APPROACH TO A PORTABLEPASCAL LANGUAGEFOR DIFFERENT ONBOARD COMPUTER
SYSTEMS BY ST.REITZ AND W.WIEMER 17
THE USE OF HIGH ORDER LANGUAGES ON MICROPROCESSORS BY R.M.BOARDMAN 18
SOFTWARE DESIGN AND DEVELOPMENT USINGMASCOT BYR.DIBBLE 19
SAFETY CRITICAL FAST-REAL-TIME SYSTEMS BY B.GUSMANN, O.F.NIELSEN AND
R.HANSEN 20
USABILITY OF MILITARY STANDARDS FORTHEMAINTENANCE OF EMBEDDED COMPUTER
SOFTWARE BY N.F.SCHNEIDEWIND 21
SOFTWARE CONFIGURATION MANAGEMENT AT WORK BY J.T.PEDERSEN 22
CONFIGURATION MANAGEMENT AND THE ADA PROGRAMMINGSUPPORT
ENVIRONMENT BY K.J.PULFORD 23
SOFTWARE FAULTTOLERANCE FOR REAL-TIMEAVIONICS SYSTEMS BY T.ANDERSON AND
J.C.KNIGHT 24
PAPER NO.25 CANCELLED
ELECTRONIC WARFARE SOFTWARE BY R.L.SHAW 26
DISCUSSION FOR SESSION III D3
SESSION 4 - SOFTWARE VERIFICATION AND VALIDATION
AN EIGHT POINT TESTING STRATEGY FOR REAL TIME SOFTWARE BY R.E.WILSON AND
N.HIGSON 27
TORNADO FLIGHT CONTROL SOFTWARE VALIDATION: METHODOLOGY AND TOOLS BY
R.PELISSERO 28
APPLICATIONS OF NETWORK MODELING AND ANALYSIS TO SYSTEM VALIDATION AND
VERIFICATION BY G.M.SUNDBERG 29
IDA-LANGUAGE DE TEST DU LOGICIEL ET OUTILS ASSOCIES IDA-SOFTWARE TEST
LANGUAGE AND RELATED TOOLS PAR G.LAMARCHE ET P.TAILLIBERT 30
SOFTWARE VERIFICATION OF A CIVIL AVIONIC AHR SYSTEM BY M.KLEINSCHMIDTAND
N.SANDNER 31
VI
IMAGE 4
REFERENCE
PROGRESS IN VERIFICATION OF MICROPROGRAMS BY S.D.CROCKER 32
VALIDATION OF SOFTWAREFOR INTEGRATION OF MISSILES WITH AIRCRAFTSYSTEMS
BY J.R.MCMANIS 33
IMPLEMENTINGHIGH QUALITY SOFTWARE BY E.J.DOWLING 34
LA QUALITE DES LOGICIELSAVIONIQUES: SPECIFICATION ET EVALUATION PAR
G.GERMAIN, M.GALINIER ET M.DELACROIX
35
DISSIMILARSOFTWARE IN HIGHINTEGRITY APPLICATIONSIN FLIGHT CONTROLS BY
D.J.MARTIN 36
THE COST OF SOFTWAREFAULTTOLERANCE BY G.E.MIGNEAULT
37
DISCUSSION FOR SESSION IV D4
SESSION 5 -SOFTWARE LIFE CYCLECONSIDERATIONS
THEMANAGEMENT OF A LARGE REAL-TIME MILITARY AVIONICS PROJECT BY
P.J.CARRINGTON, R.M.GISBEY AND K.F.J.MANNING 38
F/A-18 SOFTWARE DEVELOPMENT - A CASE STUDY BY T.V.MCTIGUE
39
A LIFE CYCLE MODELFOR AVIONIC SYSTEMS BY H.SCHAAFF
40
AVIONICS SOFTWARE SUPPORT COST MODEL BY D.V.FERENS
41
A SOFTWARE-COST DATABASEFORAEROSPACESOFTWARE DEVELOPMENT BY G.J.DEKKER
42
THE MILITARY USER VIEWOF SOFTWARE SUPPORTTHROUGHOUTTHE IN-SERVICE LIFE
OF AVIONIC SYSTEMS BY SJ.BARKER AND B.HAMBLING 43
DESIGN OF A SOFTWAREMAINTENANCE FACILITY FOR THERAF BY J.WHAUEY AND
T.H.SCOTT-WILSON 44
A SOFTWARE ENGINEERING ENVIRONMENT (SEE) FORWEAPON SYSTEM SOFTWARE BY
H.G.STUEBING 45
ONAIRCRAFT TEST SOFTWARE FOR FIRST LINE MAINTENANCE BY H.KLENK
46
DISCUSSIONFOR SESSION V
D5
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV002180867 |
| classification_tum | VER 625f |
| ctrlnum | (OCoLC)631082342 (DE-599)BVBBV002180867 |
| discipline | Verkehrstechnik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01907nam a2200409 cb4500</leader><controlfield tag="001">BV002180867</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20021122 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1983 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9283503236</subfield><subfield code="9">92-835-0323-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)631082342</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002180867</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-210</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">VER 625f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software for avionics</subfield><subfield code="b">copies of papers presented at the Avionics Panel's 44th symposium held at The Hague-Kijkduin, Netherlands, 6 - 10 Sept. 1982</subfield><subfield code="c">Urheber: Nato / Advisory Group for Aerospace Research and Development*</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Reportnr. AGARD CP 330</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Neuilly sur Seine</subfield><subfield code="c">1983</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">Getr. Zählung</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">NATO / Advisory Group for Aerospace Research and Development: AGARD conference proceedings</subfield><subfield code="v">330</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Beitr. teilw. in dt., teilw. in franz.</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Avionik</subfield><subfield code="0">(DE-588)4196491-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</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">1982</subfield><subfield code="z">Den Haag</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Avionik</subfield><subfield code="0">(DE-588)4196491-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">NATO</subfield><subfield code="b">Advisory Group for Aerospace Research and Development</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)378-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Advisory Group for Aerospace Research and Development: AGARD conference proceedings</subfield><subfield code="t">NATO</subfield><subfield code="v">330</subfield><subfield code="w">(DE-604)BV001900884</subfield><subfield code="9">330</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=001432461&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUB-nseb</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001432461</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1982 Den Haag gnd-content |
| genre_facet | Konferenzschrift 1982 Den Haag |
| id | DE-604.BV002180867 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:41:40Z |
| institution | BVB |
| institution_GND | (DE-588)378-5 |
| isbn | 9283503236 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001432461 |
| oclc_num | 631082342 |
| open_access_boolean | |
| owner | DE-210 DE-83 DE-706 |
| owner_facet | DE-210 DE-83 DE-706 |
| physical | Getr. Zählung graph. Darst. |
| psigel | TUB-nseb |
| publishDate | 1983 |
| publishDateSearch | 1983 |
| publishDateSort | 1983 |
| record_format | marc |
| series2 | NATO / Advisory Group for Aerospace Research and Development: AGARD conference proceedings |
| spelling | Software for avionics copies of papers presented at the Avionics Panel's 44th symposium held at The Hague-Kijkduin, Netherlands, 6 - 10 Sept. 1982 Urheber: Nato / Advisory Group for Aerospace Research and Development* Reportnr. AGARD CP 330 Neuilly sur Seine 1983 Getr. Zählung graph. Darst. txt rdacontent n rdamedia nc rdacarrier NATO / Advisory Group for Aerospace Research and Development: AGARD conference proceedings 330 Beitr. teilw. in dt., teilw. in franz. Avionik (DE-588)4196491-3 gnd rswk-swf Software (DE-588)4055382-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1982 Den Haag gnd-content Avionik (DE-588)4196491-3 s Software (DE-588)4055382-6 s DE-604 NATO Advisory Group for Aerospace Research and Development Sonstige (DE-588)378-5 oth Advisory Group for Aerospace Research and Development: AGARD conference proceedings NATO 330 (DE-604)BV001900884 330 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001432461&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Software for avionics copies of papers presented at the Avionics Panel's 44th symposium held at The Hague-Kijkduin, Netherlands, 6 - 10 Sept. 1982 Avionik (DE-588)4196491-3 gnd Software (DE-588)4055382-6 gnd |
| subject_GND | (DE-588)4196491-3 (DE-588)4055382-6 (DE-588)1071861417 |
| title | Software for avionics copies of papers presented at the Avionics Panel's 44th symposium held at The Hague-Kijkduin, Netherlands, 6 - 10 Sept. 1982 |
| title_alt | Reportnr. AGARD CP 330 |
| title_auth | Software for avionics copies of papers presented at the Avionics Panel's 44th symposium held at The Hague-Kijkduin, Netherlands, 6 - 10 Sept. 1982 |
| title_exact_search | Software for avionics copies of papers presented at the Avionics Panel's 44th symposium held at The Hague-Kijkduin, Netherlands, 6 - 10 Sept. 1982 |
| title_full | Software for avionics copies of papers presented at the Avionics Panel's 44th symposium held at The Hague-Kijkduin, Netherlands, 6 - 10 Sept. 1982 Urheber: Nato / Advisory Group for Aerospace Research and Development* |
| title_fullStr | Software for avionics copies of papers presented at the Avionics Panel's 44th symposium held at The Hague-Kijkduin, Netherlands, 6 - 10 Sept. 1982 Urheber: Nato / Advisory Group for Aerospace Research and Development* |
| title_full_unstemmed | Software for avionics copies of papers presented at the Avionics Panel's 44th symposium held at The Hague-Kijkduin, Netherlands, 6 - 10 Sept. 1982 Urheber: Nato / Advisory Group for Aerospace Research and Development* |
| title_short | Software for avionics |
| title_sort | software for avionics copies of papers presented at the avionics panel s 44th symposium held at the hague kijkduin netherlands 6 10 sept 1982 |
| title_sub | copies of papers presented at the Avionics Panel's 44th symposium held at The Hague-Kijkduin, Netherlands, 6 - 10 Sept. 1982 |
| topic | Avionik (DE-588)4196491-3 gnd Software (DE-588)4055382-6 gnd |
| topic_facet | Avionik Software Konferenzschrift 1982 Den Haag |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001432461&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV001900884 |
| work_keys_str_mv | AT natoadvisorygroupforaerospaceresearchanddevelopment softwareforavionicscopiesofpaperspresentedattheavionicspanels44thsymposiumheldatthehaguekijkduinnetherlands610sept1982 AT natoadvisorygroupforaerospaceresearchanddevelopment reportnragardcp330 |