{"id":"https://openalex.org/W4246364137","doi":"https://doi.org/10.1016/s1571-0661(05)81039-4","title":"Preface","display_name":"Preface","publication_year":2003,"publication_date":"2003-09-01","ids":{"openalex":"https://openalex.org/W4246364137","doi":"https://doi.org/10.1016/s1571-0661(05)81039-4"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)81039-4","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)81039-4","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(05)81039-4","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066540482","display_name":"Mauro Pezz\u00e8","orcid":"https://orcid.org/0000-0001-5193-7379"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Mauro Pezz\u00e8","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5066540482"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.45041512,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"82","issue":"6","first_page":"209","last_page":"210"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9800000190734863,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9800000190734863,"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"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9621999859809875,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9121000170707703,"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/testability","display_name":"Testability","score":0.6036950349807739},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5764217972755432},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5463488698005676},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.5059613585472107},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.496723473072052},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4899536669254303},{"id":"https://openalex.org/keywords/presentation","display_name":"Presentation (obstetrics)","score":0.45271241664886475},{"id":"https://openalex.org/keywords/engineering-management","display_name":"Engineering management","score":0.4228728115558624},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.41636204719543457},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.4124511182308197},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2394617199897766}],"concepts":[{"id":"https://openalex.org/C51234621","wikidata":"https://www.wikidata.org/wiki/Q2149495","display_name":"Testability","level":2,"score":0.6036950349807739},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5764217972755432},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5463488698005676},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5059613585472107},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.496723473072052},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4899536669254303},{"id":"https://openalex.org/C2777601897","wikidata":"https://www.wikidata.org/wiki/Q3409113","display_name":"Presentation (obstetrics)","level":2,"score":0.45271241664886475},{"id":"https://openalex.org/C110354214","wikidata":"https://www.wikidata.org/wiki/Q6314146","display_name":"Engineering management","level":1,"score":0.4228728115558624},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.41636204719543457},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.4124511182308197},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2394617199897766},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C126838900","wikidata":"https://www.wikidata.org/wiki/Q77604","display_name":"Radiology","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},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)81039-4","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)81039-4","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(05)81039-4","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)81039-4","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17","score":0.47999998927116394}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2393524141","https://openalex.org/W2365130684","https://openalex.org/W2370255574","https://openalex.org/W2106502108","https://openalex.org/W4387426029","https://openalex.org/W2169676947","https://openalex.org/W2783560053","https://openalex.org/W2098899017","https://openalex.org/W2381807899","https://openalex.org/W2382598150"],"abstract_inverted_index":{"Component-based":[0],"systems":[1,72],"are":[2,80],"increasingly":[3],"used":[4],"in":[5,82,111,134,233,250,254,457],"software":[6,77],"development.":[7],"The":[8,137,184,217,256],"lack":[9],"of":[10,51,63,119,156,175,198,212,219,225,239,301,315,351,354,356,367,407,448,455],"information":[11,264],"about":[12,265],"internals":[13],"at":[14,282],"different":[15],"development":[16],"stages":[17],"and":[18,24,31,42,47,56,69,76,79,102,154,162,188,215,284,297,319,327,345,359],"the":[19,61,99,103,112,116,120,122,132,135,191,196,210,220,223,245,266,287,295,298,313,316,320,357,365,368],"need":[20],"for":[21,38,49,164,195,280],"optimizing":[22],"verification":[23],"validation":[25],"require":[26],"new":[27,226],"approaches":[28],"to":[29,115,127,272,286,294,312,336,341,364],"test":[30],"analysis.":[32],"TACoS":[33,64,228,258,283],"2003":[34,372],"provided":[35],"a":[36,107,172,180,236,325,352,361],"forum":[37],"discussing":[39],"techniques,":[40],"tools,":[41],"experiences":[43],"on":[44,66],"testing,":[45],"analysis":[46],"design":[48],"testability":[50],"components,":[52],"component":[53],"based":[54],"systems,":[55],"configurable":[57,70],"products.":[58],"This":[59],"year,":[60],"focus":[62],"was":[65,125,139,186],"heterogeneous,":[67],"modular":[68],"embedded":[71],"that":[73,244,248,323,334],"share":[74],"hardware":[75],"resources":[78],"available":[81],"several":[83],"versions.":[84],"We":[85,242,269,290],"received":[86],"contributions":[87],"from":[88],"Australia,":[89],"Brazil,":[90],"China,":[91],"Germany,":[92],"Greece,":[93],"Italy,":[94],"Japan,":[95],"Poland,":[96],"Spain,":[97],"Sweden,":[98],"United":[100,104],"Kingdom,":[101],"States,":[105],"witnessing":[106],"strong":[108],"international":[109],"interest":[110],"topic.":[113],"Thanks":[114],"high":[117],"quality":[118],"submissions,":[121],"Program":[123,317],"Committee":[124,318],"able":[126],"select":[128],"19":[129],"papers":[130,177],"representing":[131],"state-of-art":[133],"area.":[136],"workshop":[138,185,221],"organized":[140,189],"as":[141,235],"discussion":[142,181],"sessions":[143],"around":[144],"four":[145],"major":[146],"topics:":[147],"Testing":[148],"Component":[149,157],"Based":[150,158],"Systems,":[151,160],"Configurability,":[152],"Analysis":[153],"Test":[155],"Real-Time":[159],"Specification":[161],"Design":[163],"Testability.":[165],"Each":[166],"topic":[167],"has":[168],"been":[169],"introduced":[170],"by":[171,179,190,209],"brief":[173],"presentation":[174,281],"related":[176],"followed":[178],"among":[182],"participants.":[183],"promoted":[187],"Quack":[192],"(A":[193],"Platform":[194],"Quality":[197],"New":[199],"Generation":[200],"Integrated":[201],"Embedded":[202],"Systems)":[203],"project,":[204],"an":[205,306],"Italian":[206],"project":[207],"sponsored":[208],"Ministry":[211],"University,":[213],"Research":[214],"Education.":[216],"success":[218,366],"stimulated":[222],"organization":[224,358],"events.":[227,268],"2004":[229],"will":[230,252],"be":[231],"held":[232],"Barcelona":[234],"satellite":[237],"event":[238],"ETAPS":[240],"2004.":[241],"hope":[243],"core":[246],"community":[247],"met":[249],"Warsaw":[251],"grow":[253],"Barcelona.":[255],"official":[257],"web":[259],"site":[260],"(www.lta.disco.unimib.it/tacos/)will":[261],"keep":[262],"updated":[263],"upcoming":[267],"would":[270,339],"like":[271,340],"thank":[273,311],"all":[274,332],"authors":[275],"who":[276,303,348],"submitted":[277],"their":[278],"work":[279],"participated":[285],"fruitful":[288],"discussion.":[289],"express":[291],"our":[292],"gratitude":[293],"Organizing":[296],"Steering":[299],"Committees":[300],"ETAPS,":[302],"gave":[304,360],"us":[305],"excellent":[307],"support.":[308],"A":[309],"special":[310],"members":[314],"many":[321],"reviewers":[322],"supported":[324],"smooth":[326],"exciting":[328],"reviewing":[329],"process.":[330],"Among":[331],"people":[333],"contributed":[335],"TACoS,":[337],"we":[338],"mention":[342],"Giovanni":[343],"Denaro":[344],"Leonardo":[346],"Mariani":[347],"took":[349],"care":[350],"variety":[353],"aspects":[355],"determinant":[362],"contribution":[363],"event.":[369],"Milan,":[370],"April":[371],"-":[373,379,388,397,405,413,420,429,439,446,453,463],"Mauro":[374,427],"Pezz\u00e8":[375,428],"Marco":[376],"Di":[377],"Natale":[378],"Scuola":[380],"Superiore":[381],"Sant'Anna":[382],"di":[383,392,415,433,441],"Pisa":[384],"(Italy)":[385,394,417,436,443],"Alessandro":[386],"Fantechi":[387],"Universit\u00e0":[389,430],"degli":[390,431],"Studi":[391,432],"Firenze":[393],"Gerhard":[395],"Fohler":[396],"Malardalen":[398],"University":[399,406,447,454],"(Sweden)":[400],"Frank":[401],"van":[402],"der":[403],"Linden":[404],"Amsterdam":[408],"(The":[409],"Netherlands)":[410],"Angelo":[411],"Morzenti":[412],"Politecnico":[414,440],"Milano":[416,434],"Elie":[418],"Najm":[419],"Ecole":[421,464],"Nationale":[422],"Superieure":[423,465],"des":[424],"Telecommunications":[425],"(France)":[426,471],"Bicocca":[435],"Paolo":[437],"Prinetto":[438],"Torino":[442],"Michal":[444],"Young":[445],"Oregon":[449],"(USA)":[450,460],"Alex":[451],"Orailoglu":[452],"California":[456],"San":[458],"Diego":[459],"Chantal":[461],"Robach":[462],"d'Ingenieurs":[466],"en":[467],"Systemes":[468],"Industriels":[469],"Avances":[470]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2022-05-12T00:00:00"}