{"id":"https://openalex.org/W4254382543","doi":"https://doi.org/10.1145/1185642","title":"Proceedings of the 2006 annual ACM SIGAda international conference on Ada","display_name":"Proceedings of the 2006 annual ACM SIGAda international conference on Ada","publication_year":2006,"publication_date":"2006-11-12","ids":{"openalex":"https://openalex.org/W4254382543","doi":"https://doi.org/10.1145/1185642"},"language":"en","primary_location":{"id":"doi:10.1145/1185642","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1185642","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":1,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9072999954223633,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9072999954223633,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.6821206212043762},{"id":"https://openalex.org/keywords/avionics","display_name":"Avionics","score":0.5883408784866333},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5849575996398926},{"id":"https://openalex.org/keywords/vision","display_name":"Vision","score":0.45969855785369873},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.435366690158844},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.42970651388168335},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.16759976744651794}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6821206212043762},{"id":"https://openalex.org/C15792166","wikidata":"https://www.wikidata.org/wiki/Q221329","display_name":"Avionics","level":2,"score":0.5883408784866333},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5849575996398926},{"id":"https://openalex.org/C133979268","wikidata":"https://www.wikidata.org/wiki/Q1682108","display_name":"Vision","level":2,"score":0.45969855785369873},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.435366690158844},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.42970651388168335},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.16759976744651794},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C27206212","wikidata":"https://www.wikidata.org/wiki/Q34178","display_name":"Theology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1185642","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1185642","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":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.4300000071525574}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1548557026","https://openalex.org/W1975110180","https://openalex.org/W2117786814","https://openalex.org/W4377008908","https://openalex.org/W1989187808","https://openalex.org/W2332333067","https://openalex.org/W4288993906","https://openalex.org/W2079187076","https://openalex.org/W2345127254","https://openalex.org/W3200232677"],"abstract_inverted_index":{"Welcome":[0],"to":[1,27,93,114,138,154,241,249,253,293,306,319,336,346,373,379],"the":[2,76,101,108,140,147,159,212,245,255,260,276,303,320,395],"2006":[3,269],"Annual":[4],"International":[5],"Conference":[6],"of":[7,58,67,96,110,118,158,170,211,218,263,279,324,400],"ACM's":[8],"Special":[9],"Interest":[10],"Group":[11],"on":[12,55,290],"Ada":[13,85,88,163,186,329,341,349,362],"(SIGAda),":[14],"being":[15,150],"held":[16],"in":[17,36,41,71,75,80,100,116,127,189,244,388],"Albuquerque,":[18],"New":[19],"Mexico,":[20],"USA.":[21],"Albuquerque":[22],"is":[23,177,187,207,376],"a":[24,29,42,47,50,111],"marvelous":[25],"place":[26],"hold":[28],"conference":[30,48,262],"as":[31,143,146],"it":[32,206,382],"has":[33],"pleasant":[34],"weather":[35],"November":[37],"facilitating":[38],"technical":[39,52,219],"discussions":[40],"congenial":[43],"environment.We":[44],"offer":[45],"you":[46],"featuring":[49],"top-quality":[51],"program":[53],"focused":[54],"important":[56,209],"strengths":[57,109],"Ada:":[59],"distributed,":[60],"real-time,":[61],"and":[62,87,91,121,174,200,215,222,232,266,273,281,311,339,351,368,378,398],"embedded":[63],"systems.":[64,203,405],"The":[65],"visions":[66],"these":[68,128,228,391],"systems":[69],"reflected":[70],"Ada's":[72,167,366],"original":[73],"requirements":[74],"1970s":[77],"have":[78,242],"expanded":[79],"almost":[81],"unimaginable":[82],"ways":[83],"with":[84,130,275,308,361],"95":[86],"2005":[89,330],"implementations,":[90],"continue":[92],"be":[94,384],"objects":[95],"envy":[97],"by":[98],"those":[99,301],"programming":[102],"language":[103,112],"community":[104,248],"who":[105],"understand":[106],"what":[107,375],"bring":[113],"implementers":[115],"terms":[117],"efficiency,":[119,172],"reliability,":[120,171],"effectiveness.":[122],"Software":[123],"challenges":[124],"remain":[125],"dominant":[126],"domains":[129],"rapid":[131],"hardware":[132],"advances.":[133],"Most":[134],"other":[135,310],"languages":[136],"fail":[137],"meet":[139],"needs":[141],"identified":[142],"far":[144],"back":[145],"1978":[148],"Steelman,":[149],"able":[151],"at":[152,179],"best":[153],"do":[155],"only":[156,365],"3/4":[157],"needed":[160],"functions":[161],"while":[162],"performs":[164],"over":[165],"95%.":[166],"track":[168],"record":[169],"robustness":[173],"all-around":[175],"success":[176],"unparalleled":[178],"solving":[180],"real-time":[181],"and/or":[182],"distributed":[183],"system":[184],"challenges.":[185],"used":[188],"space/satellite":[190],"systems,":[191,199],"most":[192],"modern":[193],"jetliner":[194],"avionics,":[195],"high-speed":[196],"ground":[197],"transportation":[198],"battle":[201],"automation":[202],"As":[204],"such,":[205],"an":[208],"part":[210],"world's":[213],"economies":[214],"defenses.Three":[216],"days":[217],"papers,":[220],"keynotes,":[221],"invited":[223],"presentations":[224],"will":[225],"report":[226],"how":[227,390],"successes":[229],"are":[230,236,239,317,358],"achieved":[231],"where":[233],"remaining":[234],"issues":[235,305],"leading.":[237],"We":[238],"fortunate":[240],"leaders":[243],"software":[246,333,404],"engineering":[247],"provide":[250,286],"keynote":[251],"addresses":[252],"set":[254],"tone":[256],"for":[257,332,343],"our":[258],"conference.Beyond":[259],"formal":[261],"selected":[264,291],"papers":[265],"presentations,":[267],"SIGAda":[268],"also":[270],"offers":[271],"workshops":[272,299],"tutorials":[274,285,326],"same":[277,304],"duality":[278],"on-theme":[280],"complementary":[282],"topics.":[283,355],"SIGAda's":[284,298],"full-day":[287],"or":[288],"half-days":[289],"topics":[292,342,357,392],"enhance":[294],"one's":[295],"professional":[296],"development.":[297],"allow":[300],"working":[302],"share":[307],"each":[309],"leverage":[312],"everyone's":[313],"accomplishments;":[314],"workshop":[315],"products":[316],"\"delivered\"":[318],"community.The":[321],"broad":[322],"offerings":[323],"career-enhancing":[325],"include":[327],"basic":[328],"introductions":[331],"engineers":[334],"new":[335],"Ada,":[337],"intermediate":[338],"advanced":[340],"practitioners":[344],"striving":[345],"expand":[347],"their":[348],"expertise,":[350],"several":[352],"language-independent":[353],"technology":[354,363],"These":[356],"often":[359],"coupled":[360],"because":[364],"full":[367],"complete":[369],"definition":[370],"allows":[371],"one":[372],"indicate":[374],"expected,":[377],"show":[380],"that":[381],"can":[383],"achieved.":[385],"Join":[386],"us":[387],"understanding":[389],"mutually":[393],"support":[394],"disciplined":[396],"development":[397],"evolution":[399],"serious,":[401],"high":[402],"quality":[403]},"counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}