{"id":"https://openalex.org/W4212768688","doi":"https://doi.org/10.1145/2070337","title":"Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language","display_name":"Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language","publication_year":2011,"publication_date":"2011-11-06","ids":{"openalex":"https://openalex.org/W4212768688","doi":"https://doi.org/10.1145/2070337"},"language":"en","primary_location":{"id":"doi:10.1145/2070337","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2070337","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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9632999897003174,"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.9632999897003174,"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"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.942799985408783,"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.9118000268936157,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.6632298231124878},{"id":"https://openalex.org/keywords/avionics","display_name":"Avionics","score":0.5691306591033936},{"id":"https://openalex.org/keywords/special-interest-group","display_name":"Special Interest Group","score":0.5324847102165222},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.4776707589626312},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.4101484417915344},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4050462543964386},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.39083611965179443},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.20331209897994995},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.16185447573661804}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6632298231124878},{"id":"https://openalex.org/C15792166","wikidata":"https://www.wikidata.org/wiki/Q221329","display_name":"Avionics","level":2,"score":0.5691306591033936},{"id":"https://openalex.org/C12516257","wikidata":"https://www.wikidata.org/wiki/Q2504350","display_name":"Special Interest Group","level":2,"score":0.5324847102165222},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.4776707589626312},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.4101484417915344},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4050462543964386},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.39083611965179443},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.20331209897994995},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.16185447573661804},{"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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2070337","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2070337","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":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1964111820","https://openalex.org/W1485630101","https://openalex.org/W2083338789","https://openalex.org/W2076569496","https://openalex.org/W1501086624","https://openalex.org/W2112690207","https://openalex.org/W2158757796","https://openalex.org/W2741796204","https://openalex.org/W1596157658","https://openalex.org/W4244853187"],"abstract_inverted_index":{"Welcome":[0],"to":[1,88,109,135,151,248,256,260,301,313,326,344,354,381,387],"the":[2,8,18,29,32,70,79,96,103,137,144,156,217,252,262,268,284,327,403,437,445,460,469],"2011":[3,277,418],"Annual":[4],"International":[5],"Conference":[6],"of":[7,31,50,61,91,105,113,155,167,216,225,271,287,332,408],"Association":[9],"for":[10,264,340,351,424,451],"Computing":[11],"Machinery's":[12],"(ACM's)":[13],"Special":[14],"Interest":[15],"Group":[16],"on":[17,47,298],"Ada":[19,80,83,160,187,337,349,357,370],"Programming":[20],"Language":[21],"(SIGAda),":[22],"being":[23,147],"held":[24],"in":[25,28,65,69,74,95,111,124,190,251,396,429],"Denver,":[26],"Colorado,":[27],"heart":[30],"western":[33],"United":[34],"States.":[35],"We":[36,245],"offer":[37],"you":[38,420,472],"a":[39,42,106],"conference":[40,270],"featuring":[41],"top-quality":[43],"technical":[44,226,461],"program":[45,462],"focused":[46],"important":[48,214],"strengths":[49,104],"Ada:":[51],"safety,":[52,114,168],"security,":[53,169],"distributed,":[54],"real-time,":[55],"and":[56,82,86,118,173,205,221,229,239,274,281,289,318,347,359,376,386,406,432,442,466],"embedded":[57],"systems.":[58,208,413],"The":[59,329],"visions":[60],"these":[62,125,235,399],"systems":[63],"reflected":[64],"Ada's":[66,164,374],"original":[67],"requirements":[68],"1970s":[71],"have":[72,249],"expanded":[73],"almost":[75],"unimaginable":[76],"ways":[77],"with":[78,127,283,315,369,427],"95":[81],"2005":[84],"implementations,":[85],"continue":[87],"be":[89,392,456],"objects":[90],"envy":[92],"by":[93],"those":[94,309],"programming":[97],"language":[98,107,338],"community":[99,255],"who":[100],"understand":[101],"what":[102,383],"bring":[108],"implementers":[110],"terms":[112],"security":[115],"efficiency,":[116,171],"reliability,":[117,170],"effectiveness.":[119],"Software":[120],"challenges":[121],"remain":[122],"dominant":[123],"domains":[126],"rapid":[128],"hardware":[129],"advances.":[130],"Most":[131],"other":[132,317],"languages":[133],"fail":[134],"meet":[136],"needs":[138],"identified":[139],"as":[140,143,457,459],"far":[141],"back":[142],"1978":[145],"Steelman,":[146],"able":[148],"at":[149,178,463],"best":[150],"do":[152],"only":[153,373],"3/4":[154],"needed":[157],"functions,":[158],"while":[159],"performs":[161],"over":[162],"95%.":[163],"track":[165],"record":[166],"robustness":[172],"all-around":[174],"success":[175],"is":[176,188,212,384],"unparalleled":[177],"solving":[179],"safety/security":[180],"critical,":[181],"real-time":[182],"and/or":[183],"distributed":[184],"system":[185],"challenges.":[186],"used":[189],"air":[191],"traffic":[192],"control":[193],"systems,":[194,196,204],"space/satellite":[195],"most":[197],"modern":[198],"jetliner":[199],"avionics,":[200],"high-speed":[201],"ground":[202],"transportation":[203],"battle":[206],"automation":[207],"As":[209],"such,":[210],"it":[211,390],"an":[213,421],"part":[215],"world's":[218],"economies,":[219],"transportation,":[220],"defenses.":[222],"Three":[223],"days":[224],"papers,":[227],"keynotes,":[228],"invited":[230],"presentations":[231],"will":[232],"report":[233],"how":[234,398],"successes":[236],"are":[237,243,246,324,366],"achieved":[238],"where":[240],"remaining":[241],"issues":[242,312],"leading.":[244],"fortunate":[247],"leaders":[250],"software":[253,341,412],"engineering":[254],"provide":[257,294],"keynote":[258],"addresses":[259],"set":[261],"tone":[263],"our":[265],"conference.":[266],"Beyond":[267],"formal":[269],"selected":[272,299],"papers":[273],"presentations,":[275],"SIGAda":[276,417],"also":[278],"offers":[279],"workshops":[280,307],"tutorials":[282,293,334],"same":[285],"duality":[286],"on-theme":[288],"complementary":[290],"topics.":[291,363],"SIGAda's":[292,306],"full-day":[295],"or":[296],"halfdays":[297],"topics":[300,350,365,400],"enhance":[302],"one's":[303],"professional":[304,464],"development.":[305],"allow":[308],"working":[310],"related":[311],"share":[314],"each":[316],"leverage":[319],"everyone's":[320],"accomplishments;":[321],"workshop":[322],"products":[323],"\"delivered\"":[325],"community.":[328],"broad":[330],"offerings":[331],"career-enhancing":[333],"include":[335],"basic":[336],"introductions":[339],"engineers":[342],"new":[343],"Ada,":[345],"intermediate":[346],"advanced":[348],"practitioners":[352],"striving":[353],"expand":[355],"their":[356],"expertise,":[358],"several":[360],"language-independent":[361],"technology":[362,371],"These":[364,453],"often":[367,467],"coupled":[368],"because":[372],"full":[375],"complete":[377],"definition":[378],"allows":[379],"one":[380],"indicate":[382],"expected,":[385],"show":[388],"that":[389],"can":[391,455],"achieved.":[393],"Join":[394],"us":[395],"understanding":[397],"mutually":[401],"support":[402],"disciplined":[404],"development":[405],"evolution":[407],"serious,":[409],"high":[410],"quality":[411],"Finally,":[414],"we":[415,449],"hope":[416],"provides":[419],"outstanding":[422],"opportunity":[423],"rewarding":[425],"affiliation":[426],"colleagues":[428],"industry,":[430],"academia,":[431],"government":[433],"---":[434],"discussions":[435],"\"in":[436],"hall,\"":[438],"informal":[439],"meal-time":[440],"meetings,":[441],"even":[443],"during":[444],"more":[446],"relaxed":[447],"moments":[448],"make":[450],"socializing.":[452],"associations":[454],"valuable":[458],"conferences,":[465],"extend":[468],"experience":[470],"after":[471],"return":[473],"home.":[474]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}