{"id":"https://openalex.org/W2405137133","doi":"https://doi.org/10.3233/978-1-61499-544-9-204","title":"View Specific Visualization of Proofs for the Analysis of Variant Development Structures","display_name":"View Specific Visualization of Proofs for the Analysis of Variant Development Structures","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W2405137133","doi":"https://doi.org/10.3233/978-1-61499-544-9-204","mag":"2405137133"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-61499-544-9-204","is_oa":true,"landing_page_url":"https://doi.org/10.3233/978-1-61499-544-9-204","pdf_url":null,"source":{"id":"https://openalex.org/S4210187496","display_name":"Advances in transdisciplinary engineering","issn_l":"2352-751X","issn":["2352-751X","2352-7528"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"book series"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Advances in Transdisciplinary Engineering","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.3233/978-1-61499-544-9-204","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5019389944","display_name":"Lisa Grumbach","orcid":"https://orcid.org/0000-0002-2247-8270"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Grumbach Lisa","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5019389944"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.20025349,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9833999872207642,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9833999872207642,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.7678838968276978},{"id":"https://openalex.org/keywords/visualization","display_name":"Visualization","score":0.6535532474517822},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5031878352165222},{"id":"https://openalex.org/keywords/computational-biology","display_name":"Computational biology","score":0.3915329575538635},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.23772504925727844},{"id":"https://openalex.org/keywords/biology","display_name":"Biology","score":0.23173832893371582},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.21653300523757935},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.09803125262260437}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.7678838968276978},{"id":"https://openalex.org/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.6535532474517822},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5031878352165222},{"id":"https://openalex.org/C70721500","wikidata":"https://www.wikidata.org/wiki/Q177005","display_name":"Computational biology","level":1,"score":0.3915329575538635},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.23772504925727844},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.23173832893371582},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21653300523757935},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.09803125262260437}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/978-1-61499-544-9-204","is_oa":true,"landing_page_url":"https://doi.org/10.3233/978-1-61499-544-9-204","pdf_url":null,"source":{"id":"https://openalex.org/S4210187496","display_name":"Advances in transdisciplinary engineering","issn_l":"2352-751X","issn":["2352-751X","2352-7528"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"book series"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Advances in Transdisciplinary Engineering","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.3233/978-1-61499-544-9-204","is_oa":true,"landing_page_url":"https://doi.org/10.3233/978-1-61499-544-9-204","pdf_url":null,"source":{"id":"https://openalex.org/S4210187496","display_name":"Advances in transdisciplinary engineering","issn_l":"2352-751X","issn":["2352-751X","2352-7528"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"book series"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Advances in Transdisciplinary Engineering","raw_type":"book-chapter"},"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/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4394650907","https://openalex.org/W154364797","https://openalex.org/W4254119641","https://openalex.org/W3196207352","https://openalex.org/W2951724202","https://openalex.org/W3084261076","https://openalex.org/W2576399385"],"abstract_inverted_index":{"The":[0,54,110,127,226,338],"importance":[1],"of":[2,27,40,45,51,59,70,81,90,112,150,168,172,189,254,319],"variant":[3,271],"development":[4,69,73,201,272],"structures":[5,74,165,202,273],"has":[6,140,216],"increased":[7],"continuously":[8],"over":[9],"the":[10,15,24,43,68,71,79,82,88,100,103,123,146,151,164,187,190,194,200,213,235,251,291,309,315,320,329,335,349,362,370],"past":[11],"few":[12],"years.":[13],"Nowadays":[14],"keyword":[16],"is":[17,56,96,119,311,357,372],"mass":[18],"customization.":[19],"Manufacturers":[20],"have":[21,204],"to":[22,30,78,141,144,217,233,258,269,307,312],"satisfy":[23],"personal":[25],"needs":[26,253],"their":[28,260,346],"clients":[29],"keep":[31],"up":[32],"with":[33],"competitors.":[34],"Individual":[35],"wishes":[36],"and":[37,47,92,198,211,223,242,277,301,322,343,345,374,381],"increasing":[38],"demands":[39],"customers":[41],"require":[42],"possibility":[44,306],"flexible":[46],"nearly":[48],"limitless":[49],"adaptations":[50],"a":[52,57,117,135,158,221,275,284,295,298,302,326,355],"product.":[53],"result":[55,371],"diversity":[58],"variants":[60,115],"in":[61,122,166,220,238,274,293,328,334],"one":[62],"product":[63,84,152],"line.":[64],"Issues":[65],"occur":[66],"during":[67],"corresponding":[72],"that":[75],"were":[76],"related":[77],"complexity":[80,129],"arising":[83],"data.":[85],"Not":[86],"only":[87],"amount":[89],"functionality":[91,360],"therefore":[93],"individual":[94,316],"components":[95,105],"rising,":[97],"but":[98],"also":[99],"interrelationships":[101],"among":[102],"single":[104],"are":[106,247,267,281,332,384],"getting":[107],"more":[108],"complex.":[109],"number":[111],"new":[113],"evolving":[114],"once":[116],"feature":[118,265,336],"added":[120],"increases":[121],"worst":[124],"case":[125],"exponentially.":[126],"resulting":[128],"cannot":[130],"be":[131,142,218],"handled":[132],"manually.":[133],"Thus,":[134],"formal":[136,155,182,209,236],"logic":[137],"based":[138],"approach":[139,232],"used":[143,268,282],"describe":[145],"underlying":[147],"variability":[148],"model":[149],"structure.":[153],"These":[154],"specifications":[156],"provide":[157],"basis":[159],"for":[160],"algorithms,":[161],"which":[162,184,249,324],"analyse":[163],"terms":[167],"finding":[169],"all":[170],"kinds":[171],"errors":[173],"like":[174],"inconsistencies":[175],"or":[176],"dead":[177],"features.":[178],"Such":[179],"results":[180,237],"include":[181],"proofs,":[183,212],"reason":[185],"about":[186,208],"derivation":[188],"found":[191],"errors.":[192],"As":[193,264],"users":[195],"who":[196],"construct":[197],"manage":[199],"typically":[203],"no":[205],"expert":[206],"knowledge":[207,262],"languages":[210],"analysis":[214],"output":[215],"represented":[219],"role":[222,327],"user-specific":[224],"way.":[225],"presented":[227],"work":[228],"concentrates":[229],"on":[230,352,376],"an":[231,239],"visualize":[234],"understandable,":[240],"adaptable":[241],"user-oriented":[243],"fashion.":[244],"Different":[245],"concepts":[246,354,380],"elaborated,":[248],"cover":[250],"information":[252],"specific":[255],"user":[256],"groups":[257],"match":[259],"respective":[261],"level.":[263],"models":[266],"represent":[270,290],"simple":[276],"compact":[278],"manner,":[279],"they":[280],"as":[283],"basic":[285],"visualization":[286],"technique.":[287],"Other":[288],"views":[289],"proof,":[292],"fact":[294],"resolution":[296],"graph,":[297],"proof":[299,303,310,341],"tree":[300],"step.":[304],"One":[305],"understand":[308],"simulate":[313],"through":[314],"steps.":[317],"Each":[318],"features":[321,344],"relationships,":[323],"play":[325],"current":[330],"step,":[331],"highlighted":[333],"model.":[337],"mapping":[339],"between":[340],"steps":[342],"relationships":[347],"simplifies":[348],"comprehension.":[350],"Based":[351],"these":[353],"prototype":[356],"implemented,":[358],"whose":[359],"respects":[361],"common":[363],"human":[364],"computer":[365],"interaction":[366],"requirements.":[367],"To":[368],"conclude,":[369],"summarized":[373],"prospects":[375],"future":[377],"increments,":[378],"further":[379],"possible":[382],"improvements":[383],"given.":[385]},"counts_by_year":[],"updated_date":"2025-12-19T19:40:27.379048","created_date":"2025-10-10T00:00:00"}