{"id":"https://openalex.org/W4248838188","doi":"https://doi.org/10.1145/589451","title":"Proceedings of the 2002 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies","display_name":"Proceedings of the 2002 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies","publication_year":2002,"publication_date":"2002-12-08","ids":{"openalex":"https://openalex.org/W4248838188","doi":"https://doi.org/10.1145/589451"},"language":"en","primary_location":{"id":"doi:10.1145/589451","is_oa":false,"landing_page_url":"https://doi.org/10.1145/589451","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"},"type":"paratext","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":true,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.8476999998092651,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.8476999998092651,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.8167999982833862,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6617798805236816},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5508700013160706},{"id":"https://openalex.org/keywords/avionics","display_name":"Avionics","score":0.5183142423629761},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4629415273666382},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.44239723682403564},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.17873728275299072},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.17011114954948425}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6617798805236816},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5508700013160706},{"id":"https://openalex.org/C15792166","wikidata":"https://www.wikidata.org/wiki/Q221329","display_name":"Avionics","level":2,"score":0.5183142423629761},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4629415273666382},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.44239723682403564},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.17873728275299072},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.17011114954948425},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/589451","is_oa":false,"landing_page_url":"https://doi.org/10.1145/589451","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.4399999976158142}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W1589297475","https://openalex.org/W2330706584","https://openalex.org/W2903497870","https://openalex.org/W2164976164","https://openalex.org/W4389401673","https://openalex.org/W1987259072","https://openalex.org/W347335328","https://openalex.org/W2351307308","https://openalex.org/W2368944417"],"abstract_inverted_index":{"Welcome":[0],"to":[1,13,34,98,119,143,159,247,267,278,286,296,314,328,379,386,400,403,411,423,466,479,497,507,526,552,558],"ACM":[2],"SIGAda's":[3,452],"2002":[4,438,589],"Annual":[5],"International":[6],"Conference,":[7],"in":[8,26,43,48,79,83,88,105,121,132,194,251,567,600,624],"Houston,":[9],"Texas":[10],"-":[11,605],"home":[12],"the":[14,84,106,113,145,152,164,217,252,269,287,297,316,324,340,343,393,424,429,444,463,480,527,574,608,616,646,655],"United":[15,344],"States'":[16],"NASA":[17],"Johnson":[18],"Space":[19],"Center":[20],"and":[21,70,96,126,179,205,220,228,238,260,310,364,368,391,435,441,449,454,471,500,512,524,547,557,577,603,613,652],"much":[22,337],"early":[23],"pioneering":[24],"work":[25,288],"Ada.":[27],"Houston":[28],"is":[29,182,192,212,409,555],"also":[30,276],"a":[31,36,49,55,58,116,283,294,355,365,420],"marvelous":[32],"place":[33],"hold":[35],"conference":[37,56,351,431],"as":[38,148,151,293,336,339,518,643,645],"it":[39,211,561,633],"has":[40],"pleasant":[41],"weather":[42],"December":[44],"facilitating":[45],"technical":[46,60,225,647],"discussions":[47,606],"congenial":[50],"environment.":[51],"We":[52,244,274],"offer":[53],"you":[54,376,397,591,630,635,658],"featuring":[57],"top-quality":[59],"program":[61,648],"focused":[62],"on":[63,300,354],"important":[64,214],"strengths":[65,114],"of":[66,75,101,115,123,163,175,216,224,289,318,342,432,447,485,579],"Ada:":[67],"distributed,":[68],"real-time,":[69],"embedded":[71],"systems.":[72,208,584],"The":[73,350,371,406,482],"visions":[74],"these":[76,133,234,570,639],"systems":[77],"reflected":[78],"Ada's":[80,172,545],"original":[81],"requirements":[82,390],"1970s":[85],"have":[86,248,279],"expanded":[87],"almost":[89],"unimaginable":[90],"ways":[91],"with":[92,135,358,443,468,540,598],"Ada":[93,168,191,309,383,426,490,502,510,541],"95":[94,491],"implementations,":[95],"continue":[97],"be":[99,419,563,642],"objects":[100],"envy":[102],"by":[103],"those":[104,461],"programming":[107],"language":[108,117],"community":[109],"who":[110],"understand":[111],"what":[112,554],"brings":[118],"implementers":[120],"terms":[122],"efficiency,":[124,177],"reliability,":[125,176],"effectiveness.":[127],"Software":[128],"challenges":[129],"remain":[130],"dominant":[131],"domains":[134],"rapid":[136],"hardware":[137],"advances.":[138],"Most":[139],"other":[140,470],"languages":[141],"fail":[142],"meet":[144,387],"needs":[146,414],"identified":[147],"far":[149],"back":[150],"1976":[153],"Steelman,":[154],"being":[155],"able":[156],"at":[157,184,323,392,649],"best":[158],"do":[160],"only":[161,544],"\u00be":[162],"needed":[165],"function":[166],"while":[167],"performs":[169],"over":[170],"95%.":[171],"track":[173],"record":[174],"robustness":[178],"all-around":[180],"success":[181],"unparalleled":[183],"solving":[185],"real-time":[186],"and/or":[187],"distributed":[188],"system":[189],"challenges.":[190],"used":[193,313],"space/satellite":[195],"systems,":[196,204],"most":[197],"modern":[198],"jetliner":[199],"avionics,":[200],"high-speed":[201],"ground":[202],"transportation":[203],"battle":[206],"automation":[207],"As":[209],"such,":[210],"an":[213,359,377,398,592],"part":[215],"world's":[218],"economies":[219],"defenses.":[221],"Three":[222],"days":[223],"papers,":[226],"keynotes,":[227],"invited":[229,304],"presentations":[230],"will":[231,263,306,334,352,374,384,636],"report":[232],"how":[233,308,382,569],"successes":[235],"are":[236,242,245,275,312,477,537],"achieved":[237],"where":[239],"remaining":[240],"issues":[241,465],"leading.":[243],"fortunate":[246,277],"3":[249],"leaders":[250],"software":[253,494,583],"engineering":[254],"community;":[255],"Robert":[256],"Dewar,":[257],"Charles":[258],"McKay,":[259],"Michael":[261],"McEvilley":[262],"provide":[264,282,401,456],"keynote":[265],"addresses":[266],"set":[268],"tone":[270],"for":[271,460,493,504,521,530,595,622],"our":[272,388],"conference.":[273],"Tucker":[280],"Taft":[281],"special":[284,303],"introduction":[285],"ISO/IEC":[290,360],"JTC1/SC22":[291,361],"WG9":[292,298,362,372],"prelude":[295],"forum":[299],"Thursday.":[301],"A":[302],"paper":[305],"discuss":[307],"CORBA":[311,520],"synchronize":[315],"firing":[317,333],"192":[319],"extremely":[320],"high-powered":[321],"lasers":[322],"National":[325],"Ignition":[326],"Facility":[327],"advance":[329],"fusion":[330],"technology.":[331],"Each":[332],"consume":[335],"energy":[338],"rest":[341],"States":[345],"during":[346,615],"that":[347,416,560,638],"same":[348,394,445,464],"nanosecond.":[349],"culminate":[353],"third":[356],"day":[357],"Forum":[363,373,408],"SIGAda":[366,407,417,437,588],"Mission":[367],"Future":[369],"Forum.":[370],"give":[375,396],"opportunity":[378,399,594],"find":[380],"out":[381],"evolve":[385],"future":[389],"time":[395],"input":[402],"its":[404],"future.":[405],"designed":[410],"elicit":[412],"your":[413],"so":[415],"can":[418,562,641],"better":[421],"resource":[422],"entire":[425],"Community.":[427],"Beyond":[428],"formal":[430],"selected":[433],"papers":[434],"presentations,":[436],"offers":[439],"workshops":[440,455],"tutorials":[442,453,487],"duality":[446],"on-theme":[448],"complementary":[450],"topics.":[451],"full-":[457],"or":[458],"half-days":[459],"working":[462],"share":[467],"each":[469],"leverage":[472],"everyone's":[473],"accomplishments;":[474],"workshop":[475],"products":[476],"\"delivered\"":[478],"community.":[481],"broad":[483],"offerings":[484],"career-enhancing":[486],"include":[488],"basic":[489],"introductions":[492],"engineers":[495],"new":[496],"Ada,":[498],"intermediate":[499],"advanced":[501],"topics":[503,516,536,571],"practitioners":[505],"striving":[506],"expand":[508],"their":[509],"expertise,":[511],"several":[513],"language-independent":[514],"technology":[515,542],"such":[517],"proving":[519],"Embedded":[522],"Systems":[523],"Introduction":[525],"Common":[528],"Criteria":[529],"Information":[531],"Technology":[532],"security":[533],"analysis.":[534],"These":[535],"often":[538,653],"coupled":[539],"because":[543],"full":[546],"complete":[548],"definition":[549],"allows":[550],"one":[551],"indicate":[553],"expected,":[556],"show":[559],"achieved.":[564],"Join":[565],"us":[566],"understanding":[568],"mutually":[572],"support":[573],"disciplined":[575],"development":[576],"evolution":[578],"serious,":[580],"high":[581],"quality":[582],"Finally,":[585],"we":[586,620],"hope":[587],"provides":[590],"outstanding":[593],"rewarding":[596],"affiliation":[597],"colleagues":[599],"industry,":[601],"academia,":[602],"government":[604],"\"in":[607],"hall,\"":[609],"informal":[610],"meal-time":[611],"meetings,":[612],"even":[614],"more":[617],"relaxed":[618],"moments":[619],"make":[621],"socializing":[623],"this":[625],"wonderful":[626],"southern":[627],"city.":[628],"If":[629],"don't":[631],"realize":[632],"already,":[634],"learn":[637],"associations":[640],"valuable":[644],"professional":[650],"conferences,":[651],"extend":[654],"experience":[656],"after":[657],"return":[659],"home.":[660]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}