{"id":"https://openalex.org/W4243274788","doi":"https://doi.org/10.1145/1315580","title":"Proceedings of the 2007 ACM international conference on SIGAda annual international conference","display_name":"Proceedings of the 2007 ACM international conference on SIGAda annual international conference","publication_year":2007,"publication_date":"2007-11-04","ids":{"openalex":"https://openalex.org/W4243274788","doi":"https://doi.org/10.1145/1315580"},"language":"en","primary_location":{"id":"doi:10.1145/1315580","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1315580","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/T10933","display_name":"Real-Time Systems Scheduling","score":0.18129999935626984,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.18129999935626984,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.07010000199079514,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.04540000110864639,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.5462011098861694},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.5236049294471741}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5462011098861694},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.5236049294471741}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1315580","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1315580","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":"Partnerships for the goals","score":0.4399999976158142,"id":"https://metadata.un.org/sdg/17"}],"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/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":{"Welcome":[0],"to":[1,26,93,114,138,154,242,250,254,295,308,321,339,349,376,382],"the":[2,76,101,108,140,147,159,212,246,256,262,278,305,322,398,432,440,470,479],"2007":[3,271,413],"Annual":[4],"International":[5],"Conference":[6],"of":[7,58,67,96,110,118,158,170,211,219,265,281,327,403],"ACM's":[8],"Special":[9],"Interest":[10],"Group":[11],"on":[12,55,292],"Ada":[13,85,88,163,186,332,344,352,365],"(SIGAda),":[14],"being":[15,150],"held":[16],"in":[17,35,40,71,75,80,100,116,127,189,245,391,424,448],"Fairfax,":[18],"VA,":[19],"USA.":[20],"Fairfax":[21],"is":[22,177,187,207,379],"a":[23,28,41,47,50,111],"marvelous":[24],"place":[25],"hold":[27],"conference":[29,48,264],"as":[30,143,146,467,469],"it":[31,206,385,457],"has":[32],"pleasant":[33],"weather":[34],"November":[36],"facilitating":[37],"technical":[38,52,220,471],"discussions":[39,430],"congenial":[42],"environment.":[43],"We":[44,239],"offer":[45],"you":[46,415,454,459,482],"featuring":[49],"top-quality":[51],"program":[53,472],"focused":[54],"important":[56,209],"strengths":[57,109],"Ada:":[59],"distributed,":[60],"real-time,":[61],"and":[62,87,91,121,174,200,215,223,233,268,275,283,313,342,354,371,381,401,427,437,476],"embedded":[63],"systems.":[64,203,408],"The":[65,324],"visions":[66],"these":[68,128,229,394,463],"systems":[69],"reflected":[70],"Ada's":[72,167,369],"original":[73],"requirements":[74],"1970s":[77],"have":[78,243],"expanded":[79],"almost":[81],"unimaginable":[82],"ways":[83],"with":[84,130,277,310,364,422],"95":[86],"2005":[89,333],"implementations,":[90],"continue":[92],"be":[94,387,466],"objects":[95],"envy":[97],"by":[98],"those":[99,303],"programming":[102],"language":[103,112],"community":[104,249],"who":[105],"understand":[106],"what":[107,378],"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,312],"languages":[136],"fail":[137],"meet":[139],"needs":[141],"identified":[142],"far":[144],"back":[145],"1978":[148],"Steelman,":[149],"able":[151],"at":[152,179,473],"best":[153],"do":[155],"only":[156,368],"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,416],"part":[210],"world's":[213],"economies":[214],"defenses.":[216],"Three":[217],"days":[218],"papers,":[221],"keynotes,":[222],"invited":[224],"presentations":[225],"will":[226,460],"report":[227],"how":[228,393],"successes":[230],"are":[231,237,240,319,361],"achieved":[232],"where":[234],"remaining":[235],"issues":[236,307],"leading.":[238],"fortunate":[241],"leaders":[244],"software":[247,336,407],"engineering":[248],"provide":[251,288],"keynote":[252],"addresses":[253],"set":[255],"tone":[257],"for":[258,335,346,419,446],"our":[259],"conference.":[260],"Beyond":[261],"formal":[263],"selected":[266,293],"papers":[267],"presentations,":[269],"SIGAda":[270,412],"also":[272],"offers":[273],"workshops":[274,301],"tutorials":[276,287,329],"same":[279,306],"duality":[280],"on-theme":[282],"complementary":[284],"topics.":[285,358],"SIGAda's":[286,300],"full-day":[289],"or":[290],"half-days":[291],"topics":[294,345,360,395],"enhance":[296],"one's":[297],"professional":[298,474],"development.":[299],"allow":[302],"working":[304],"share":[309],"each":[311],"leverage":[314],"everyone's":[315],"accomplishments;":[316],"workshop":[317],"products":[318],"\"delivered\"":[320],"community.":[323],"broad":[325],"offerings":[326],"career-enhancing":[328],"include":[330],"basic":[331],"introductions":[334],"engineers":[337],"new":[338],"Ada,":[340],"intermediate":[341],"advanced":[343],"practitioners":[347],"striving":[348],"expand":[350],"their":[351],"expertise,":[353],"several":[355],"language-independent":[356],"technology":[357,366],"These":[359],"often":[362,477],"coupled":[363],"because":[367],"full":[370],"complete":[372],"definition":[373],"allows":[374],"one":[375],"indicate":[377],"expected,":[380],"show":[383],"that":[384,462],"can":[386,465],"achieved.":[388],"Join":[389],"us":[390],"understanding":[392],"mutually":[396],"support":[397],"disciplined":[399],"development":[400],"evolution":[402],"serious,":[404],"high":[405],"quality":[406],"Finally,":[409],"we":[410,444],"hope":[411],"provides":[414],"outstanding":[417],"opportunity":[418],"rewarding":[420],"affiliation":[421],"colleagues":[423],"industry,":[425],"academia,":[426],"government":[428],"---":[429],"\"in":[431],"hall,\"":[433],"informal":[434],"meal-time":[435],"meetings,":[436],"even":[438],"during":[439],"more":[441],"relaxed":[442],"moments":[443],"make":[445],"socializing":[447],"this":[449],"wonderful":[450],"southern":[451],"city.":[452],"If":[453],"don't":[455],"realize":[456],"already,":[458],"learn":[461],"associations":[464],"valuable":[468],"conferences,":[475],"extend":[478],"experience":[480],"after":[481],"return":[483],"home.":[484]},"counts_by_year":[],"updated_date":"2026-03-03T08:47:05.690250","created_date":"2025-10-10T00:00:00"}