{"id":"https://openalex.org/W7160645678","doi":"https://doi.org/10.4230/dagrep.15.9.160","title":"Specification Engineering: Foundations for the Future of Software Development (Dagstuhl Seminar 25392)","display_name":"Specification Engineering: Foundations for the Future of Software Development (Dagstuhl Seminar 25392)","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7160645678","doi":"https://doi.org/10.4230/dagrep.15.9.160"},"language":"en","primary_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:24976","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.9.160","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.9.160","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5135727972","display_name":"Marsha Chechik","orcid":null},"institutions":[{"id":"https://openalex.org/I2803209242","display_name":"University of California System","ror":"https://ror.org/00pjdza24","country_code":"US","type":"education","lineage":["https://openalex.org/I2803209242"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chechik, Marsha","raw_affiliation_strings":["University of Toronto, CA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Toronto, CA","institution_ids":["https://openalex.org/I2803209242"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135683898","display_name":"Eunsuk Kang","orcid":null},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kang, Eunsuk","raw_affiliation_strings":["Carnegie Mellon University - Pittsburgh, US"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University - Pittsburgh, US","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024052024","display_name":"Shahar Maoz","orcid":"https://orcid.org/0000-0002-4022-5349"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Maoz, Shahar","raw_affiliation_strings":["Tel Aviv University, IL"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tel Aviv University, IL","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021803711","display_name":"Jan Oliver Ringert","orcid":"https://orcid.org/0000-0002-3610-3920"},"institutions":[{"id":"https://openalex.org/I51441396","display_name":"Bauhaus-Universit\u00e4t Weimar","ror":"https://ror.org/033bb5z47","country_code":"DE","type":"education","lineage":["https://openalex.org/I51441396"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Ringert, Jan Oliver","raw_affiliation_strings":["Bauhaus-Universit\u00e4t Weimar, DE"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Bauhaus-Universit\u00e4t Weimar, DE","institution_ids":["https://openalex.org/I51441396"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5135696475","display_name":"Allison Sullivan","orcid":null},"institutions":[{"id":"https://openalex.org/I189196454","display_name":"The University of Texas at Arlington","ror":"https://ror.org/019kgqr73","country_code":"US","type":"education","lineage":["https://openalex.org/I189196454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sullivan, Allison","raw_affiliation_strings":["University of Texas at Arlington, US"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas at Arlington, US","institution_ids":["https://openalex.org/I189196454"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.5957098,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.16380000114440918,"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.16380000114440918,"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/T10260","display_name":"Software Engineering Research","score":0.10559999942779541,"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"}},{"id":"https://openalex.org/T10430","display_name":"Software Engineering Techniques and Practices","score":0.09769999980926514,"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/software-development","display_name":"Software development","score":0.6366000175476074},{"id":"https://openalex.org/keywords/software-development-process","display_name":"Software development process","score":0.5162000060081482},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.48660001158714294},{"id":"https://openalex.org/keywords/social-software-engineering","display_name":"Social software engineering","score":0.44850000739097595},{"id":"https://openalex.org/keywords/software-quality","display_name":"Software quality","score":0.4090999960899353},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.39959999918937683},{"id":"https://openalex.org/keywords/personal-software-process","display_name":"Personal software process","score":0.3962000012397766},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.39309999346733093},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.3865000009536743}],"concepts":[{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.7376999855041504},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.6366000175476074},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.595300018787384},{"id":"https://openalex.org/C180152950","wikidata":"https://www.wikidata.org/wiki/Q2904257","display_name":"Software development process","level":4,"score":0.5162000060081482},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.48660001158714294},{"id":"https://openalex.org/C182500959","wikidata":"https://www.wikidata.org/wiki/Q7551380","display_name":"Social software engineering","level":5,"score":0.44850000739097595},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.4090999960899353},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.39959999918937683},{"id":"https://openalex.org/C39890963","wikidata":"https://www.wikidata.org/wiki/Q1702721","display_name":"Personal software process","level":5,"score":0.3962000012397766},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.39309999346733093},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.3865000009536743},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.37369999289512634},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.35569998621940613},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.3476000130176544},{"id":"https://openalex.org/C123551368","wikidata":"https://www.wikidata.org/wiki/Q7122888","display_name":"Package development process","level":5,"score":0.34689998626708984},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3407000005245209},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.3174000084400177},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.31679999828338623},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.31279999017715454},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.310699999332428},{"id":"https://openalex.org/C54534927","wikidata":"https://www.wikidata.org/wiki/Q4462275","display_name":"Software requirements","level":5,"score":0.30869999527931213},{"id":"https://openalex.org/C174683762","wikidata":"https://www.wikidata.org/wiki/Q609588","display_name":"Component-based software engineering","level":4,"score":0.30570000410079956},{"id":"https://openalex.org/C74579156","wikidata":"https://www.wikidata.org/wiki/Q7554342","display_name":"Software peer review","level":5,"score":0.2874999940395355},{"id":"https://openalex.org/C44416564","wikidata":"https://www.wikidata.org/wiki/Q7554199","display_name":"Software Engineering Process Group","level":5,"score":0.27459999918937683},{"id":"https://openalex.org/C6604083","wikidata":"https://www.wikidata.org/wiki/Q376937","display_name":"Requirements engineering","level":3,"score":0.2694000005722046},{"id":"https://openalex.org/C42669973","wikidata":"https://www.wikidata.org/wiki/Q5575145","display_name":"Goal-Driven Software Development Process","level":5,"score":0.26570001244544983},{"id":"https://openalex.org/C84651959","wikidata":"https://www.wikidata.org/wiki/Q17052506","display_name":"System requirements specification","level":2,"score":0.2646999955177307},{"id":"https://openalex.org/C110354214","wikidata":"https://www.wikidata.org/wiki/Q6314146","display_name":"Engineering management","level":1,"score":0.2517000138759613}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:drops-oai.dagstuhl.de:24976","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.9.160","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"doi:10.4230/dagrep.15.9.160","is_oa":true,"landing_page_url":"https://doi.org/10.4230/dagrep.15.9.160","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Report"}],"best_oa_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:24976","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.9.160","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.44344356656074524,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0,119],"report":[1],"documents":[2],"the":[3,6,16,91,105],"program":[4,42],"and":[5,41,99,129,136],"outcomes":[7],"of":[8,18,29,107],"Dagstuhl":[9,120],"Seminar":[10,121],"25392":[11],"\"Specification":[12],"Engineering:":[13],"Foundations":[14],"for":[15,87,116,140],"Future":[17],"Software":[19],"Development\".":[20],"Specifications":[21],"are":[22],"an":[23,113],"essential":[24,114],"component":[25],"in":[26,31,55,90,126,147],"a":[27,50,65,77,84,138,144],"variety":[28],"tasks":[30],"software":[32,35,88,117,127],"engineering,":[33,40],"including":[34],"verification,":[36],"testing,":[37],"modeling,":[38],"requirements":[39],"synthesis.":[43],"While":[44],"producing":[45],"quality":[46,102],"specifications":[47,103],"has":[48],"been":[49],"longstanding":[51],"problem,":[52],"recent":[53],"advances":[54],"AI":[56],"technologies,":[57],"such":[58],"as":[59,83,143],"large-language":[60],"models":[61],"(LLMs),":[62],"make":[63],"it":[64],"timely":[66],"problem":[67],"to":[68,96,132],"address":[69],"from":[70,76],"new":[71],"perspectives.":[72],"Automatically":[73],"generating":[74],"code":[75],"high-level":[78],"specification":[79,108,141],"will":[80,111],"likely":[81],"emerge":[82],"dominant":[85],"paradigm":[86],"development":[89,149],"future.":[92],"Thus,":[93],"being":[94],"able":[95],"write,":[97],"maintain":[98],"evolve":[100],"high":[101],"-":[104,110],"process":[106],"engineering":[109,128,142],"become":[112],"skill":[115],"engineers.":[118],"brought":[122],"together":[123],"leading":[124],"researchers":[125],"formal":[130],"methods":[131],"identify":[133],"foundational":[134],"problems":[135],"build":[137],"roadmap":[139],"central":[145],"activity":[146],"future":[148],"processes.":[150]},"counts_by_year":[],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2026-05-09T00:00:00"}