{"id":"https://openalex.org/W137444428","doi":"https://doi.org/10.3233/978-1-60750-049-0-131","title":"Verification Support for Generative System Development","display_name":"Verification Support for Generative System Development","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W137444428","doi":"https://doi.org/10.3233/978-1-60750-049-0-131","mag":"137444428"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-60750-049-0-131","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-60750-049-0-131","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5042138015","display_name":"Andreas Speck","orcid":"https://orcid.org/0000-0002-7603-2493"},"institutions":[{"id":"https://openalex.org/I32021983","display_name":"Christian-Albrechts-Universit\u00e4t zu Kiel","ror":"https://ror.org/04v76ef78","country_code":"DE","type":"education","lineage":["https://openalex.org/I32021983"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Speck Andreas","raw_affiliation_strings":["Christian-Albrechts-University of Kiel, Institute of Computer Science, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Christian-Albrechts-University of Kiel, Institute of Computer Science, Germany","institution_ids":["https://openalex.org/I32021983"]}]},{"author_position":"last","author":{"id":null,"display_name":"Pulvermüller Elke","orcid":null},"institutions":[{"id":"https://openalex.org/I170658231","display_name":"Osnabr\u00fcck University","ror":"https://ror.org/04qmmjx98","country_code":"DE","type":"education","lineage":["https://openalex.org/I170658231"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Pulvermüller Elke","raw_affiliation_strings":["University of Osnabr\u00fcck, Department of Mathematics and Computer Science, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Osnabr\u00fcck, Department of Mathematics and Computer Science, Germany","institution_ids":["https://openalex.org/I170658231"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.296,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.53913296,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"131","last_page":"147"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998000264167786,"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.9998000264167786,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9983999729156494,"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/T10142","display_name":"Formal Methods in Verification","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/generative-grammar","display_name":"Generative grammar","score":0.7149146199226379},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5657369494438171},{"id":"https://openalex.org/keywords/development","display_name":"Development (topology)","score":0.5471614003181458},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.3682277798652649},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.27675944566726685},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1782054901123047},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09142696857452393}],"concepts":[{"id":"https://openalex.org/C39890363","wikidata":"https://www.wikidata.org/wiki/Q36108","display_name":"Generative grammar","level":2,"score":0.7149146199226379},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5657369494438171},{"id":"https://openalex.org/C2776542497","wikidata":"https://www.wikidata.org/wiki/Q5266672","display_name":"Development (topology)","level":2,"score":0.5471614003181458},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3682277798652649},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.27675944566726685},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1782054901123047},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09142696857452393},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/978-1-60750-049-0-131","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-60750-049-0-131","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},{"id":"mag:137444428","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/somet/somet2009.html#SpeckP09","pdf_url":null,"source":{"id":"https://openalex.org/S4306420615","display_name":"New Trends in Software Methodologies, Tools and Techniques","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":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"New Trends in Software Methodologies, Tools and Techniques","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W6191748","https://openalex.org/W171425694","https://openalex.org/W1500250067","https://openalex.org/W1503170978","https://openalex.org/W1521845096","https://openalex.org/W1539735786","https://openalex.org/W1571900822","https://openalex.org/W1572198678","https://openalex.org/W1579049907","https://openalex.org/W1594571423","https://openalex.org/W1610570299","https://openalex.org/W1753304137","https://openalex.org/W1760114538","https://openalex.org/W1985757471","https://openalex.org/W1990244497","https://openalex.org/W2038239375","https://openalex.org/W2100732527","https://openalex.org/W2115528929","https://openalex.org/W2115703981","https://openalex.org/W2117484396","https://openalex.org/W2117680352","https://openalex.org/W2134119432","https://openalex.org/W2141399917","https://openalex.org/W2160325552","https://openalex.org/W2173469511","https://openalex.org/W2399834472","https://openalex.org/W3128789233","https://openalex.org/W3129397621"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2380075625","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890"],"abstract_inverted_index":{"The":[0,140],"automated":[1,20],"generation":[2,21,43,62,123,151],"of":[3,13,24,54,65,78,97,104,111,169,175,222],"systems":[4,27],"(e.g.":[5],"within":[6],"model-driven":[7],"development)":[8],"is":[9,37,45,208],"a":[10,55,92,133],"considerable":[11],"improvement":[12],"the":[14,19,22,42,52,66,69,72,79,86,98,101,105,109,112,117,122,130,150,163,167,170,179,182,189,199,202,205,211,214,227],"software":[15],"development.":[16],"However,":[17],"besides":[18],"verification":[23],"these":[25],"generated":[26,74,80],"needs":[28],"to":[29,125,184,188,193,219],"be":[30,83,89,126,144,217],"supported,":[31],"too.":[32],"By":[33],"applying":[34],"generators":[35],"it":[36],"not":[38],"necessarily":[39],"guaranteed":[40],"that":[41],"outcome":[44,81],"correct.":[46],"Typical":[47],"problems":[48],"may":[49,143,216],"be,":[50],"firstly,":[51],"use":[53],"wrong":[56,93],"operator":[57],"resulting":[58,120],"in":[59,91,132],"an":[60],"erroneous":[61],"(static":[63],"aspects":[64],"generation).":[67,99],"Secondly,":[68],"interactions":[70],"between":[71],"different":[73,220],"system":[75],"assets":[76,187],"(snippets)":[77],"might":[82,88],"incorrect,":[84],"since":[85],"snippets":[87,106],"connected":[90],"sequence":[94],"(dynamic":[95],"aspect":[96],"Therefore,":[100],"hierarchical":[102],"dependencies":[103],"which":[107,157,197],"are":[108,198],"input":[110],"generator":[113],"as":[114,116],"well":[115],"dynamic":[118,173],"behavior":[119,142],"from":[121],"have":[124],"checked.":[127],"We":[128],"describe":[129],"hierarchy":[131],"version":[134,190],"model":[135,147,191,228],"based":[136],"on":[137,162,226],"Boolean":[138],"logic.":[139],"temporal":[141],"checked":[145],"by":[146],"checkers.":[148],"For":[149],"we":[152],"apply":[153],"our":[154,176],"XOpT":[155],"concept":[156],"provides":[158],"domain-specific":[159],"transformation":[160],"operators":[161],"XML":[164],"representation.":[165],"Besides":[166],"principles":[168],"static":[171],"and":[172,192],"elements":[174],"checking":[177,207],"approach":[178,215],"paper":[180],"presents":[181],"way":[183],"map":[185],"program":[186],"finite":[194],"state":[195],"automata":[196],"prerequisite":[200],"for":[201],"checking.":[203],"Though":[204],"proposed":[206],"presented":[209],"at":[210],"code":[212],"level":[213],"applied":[218],"kinds":[221],"assets,":[223],"e.g.":[224],"also":[225],"level.":[229]},"counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2016-06-24T00:00:00"}