{"id":"https://openalex.org/W20426122","doi":"https://doi.org/10.1007/978-3-642-04271-3_34","title":"A Pattern-based Approach to Requirements Formalization and Its Supporting Tool","display_name":"A Pattern-based Approach to Requirements Formalization and Its Supporting Tool","publication_year":2014,"publication_date":"2014-03-24","ids":{"openalex":"https://openalex.org/W20426122","doi":"https://doi.org/10.1007/978-3-642-04271-3_34","mag":"20426122"},"language":"en","primary_location":{"id":"mag:20426122","is_oa":false,"landing_page_url":"http://repo.lib.hosei.ac.jp/bitstream/10114/9761/1/1-9_Xi_Wang.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Medical image computing and computer-assisted intervention : MICCAI ... International Conference on Medical Image Computing and Computer-Assisted Intervention","raw_type":null},"type":"dissertation","indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hosei.ecats-library.jp/da/repository/00009633/13_thesis_wangXi.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100442298","display_name":"Xi Wang","orcid":"https://orcid.org/0009-0002-0934-2421"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Xi Wang","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0002-0934-2421","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5100442298"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"12","issue":"9","first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9997000098228455,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994000196456909,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9991000294685364,"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/computer-science","display_name":"Computer science","score":0.7267139554023743},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.6096696257591248},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.5311402678489685},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5136346220970154},{"id":"https://openalex.org/keywords/software-design-pattern","display_name":"Software design pattern","score":0.4894532263278961},{"id":"https://openalex.org/keywords/system-requirements-specification","display_name":"System requirements specification","score":0.4746328592300415},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.46356305480003357},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.45993995666503906},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4408451318740845},{"id":"https://openalex.org/keywords/software-requirements-specification","display_name":"Software requirements specification","score":0.43157997727394104},{"id":"https://openalex.org/keywords/specification-pattern","display_name":"Specification pattern","score":0.42787545919418335},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4274044334888458},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4267911911010742},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.3360399305820465},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.1868463158607483},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.13383808732032776},{"id":"https://openalex.org/keywords/software-design","display_name":"Software design","score":0.1105073094367981},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1009950041770935}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7267139554023743},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.6096696257591248},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.5311402678489685},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5136346220970154},{"id":"https://openalex.org/C146054899","wikidata":"https://www.wikidata.org/wiki/Q181156","display_name":"Software design pattern","level":3,"score":0.4894532263278961},{"id":"https://openalex.org/C84651959","wikidata":"https://www.wikidata.org/wiki/Q17052506","display_name":"System requirements specification","level":2,"score":0.4746328592300415},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.46356305480003357},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.45993995666503906},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4408451318740845},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.43157997727394104},{"id":"https://openalex.org/C97960799","wikidata":"https://www.wikidata.org/wiki/Q7575013","display_name":"Specification pattern","level":5,"score":0.42787545919418335},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4274044334888458},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4267911911010742},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3360399305820465},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.1868463158607483},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.13383808732032776},{"id":"https://openalex.org/C52913732","wikidata":"https://www.wikidata.org/wiki/Q857102","display_name":"Software design","level":4,"score":0.1105073094367981},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1009950041770935},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"mag:20426122","is_oa":false,"landing_page_url":"http://repo.lib.hosei.ac.jp/bitstream/10114/9761/1/1-9_Xi_Wang.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Medical image computing and computer-assisted intervention : MICCAI ... International Conference on Medical Image Computing and Computer-Assisted Intervention","raw_type":null},{"id":"pmh:oai:irdb.nii.ac.jp:01357:0002220592","is_oa":true,"landing_page_url":"https://hdl.handle.net/10114/8868","pdf_url":"https://hosei.ecats-library.jp/da/repository/00009633/13_thesis_wangXi.pdf","source":{"id":"https://openalex.org/S7407056385","display_name":"Institutional Repositories DataBase (IRDB)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I184597095","host_organization_name":"National Institute of Informatics","host_organization_lineage":["https://openalex.org/I184597095"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"thesis"},{"id":"pmh:oai:irdb.nii.ac.jp:01357:0006453744","is_oa":true,"landing_page_url":"https://hdl.handle.net/10114/9761","pdf_url":"https://hosei.ecats-library.jp/da/repository/00010518/1-9_Xi_Wang.pdf","source":{"id":"https://openalex.org/S7407056385","display_name":"Institutional Repositories DataBase (IRDB)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I184597095","host_organization_name":"National Institute of Informatics","host_organization_lineage":["https://openalex.org/I184597095"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"\u6cd5\u653f\u5927\u5b66\u5927\u5b66\u9662\u7d00\u8981. \u60c5\u5831\u79d1\u5b66\u7814\u7a76\u79d1\u7de8","raw_type":"departmental bulletin paper"},{"id":"pmh:oai:repo.lib.hosei.ac.jp:10114/8868","is_oa":true,"landing_page_url":"http://hdl.handle.net/10114/8868","pdf_url":"http://hdl.handle.net/10114/8868","source":{"id":"https://openalex.org/S4306401260","display_name":"Hosei University Repository (Hosei University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I204291657","host_organization_name":"Hosei University","host_organization_lineage":["https://openalex.org/I204291657"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis"},{"id":"pmh:oai:repo.lib.hosei.ac.jp:10114/9761","is_oa":true,"landing_page_url":"http://hdl.handle.net/10114/9761","pdf_url":"http://hdl.handle.net/10114/9761","source":{"id":"https://openalex.org/S4306401260","display_name":"Hosei University Repository (Hosei University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I204291657","host_organization_name":"Hosei University","host_organization_lineage":["https://openalex.org/I204291657"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":{"id":"pmh:oai:irdb.nii.ac.jp:01357:0002220592","is_oa":true,"landing_page_url":"https://hdl.handle.net/10114/8868","pdf_url":"https://hosei.ecats-library.jp/da/repository/00009633/13_thesis_wangXi.pdf","source":{"id":"https://openalex.org/S7407056385","display_name":"Institutional Repositories DataBase (IRDB)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I184597095","host_organization_name":"National Institute of Informatics","host_organization_lineage":["https://openalex.org/I184597095"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"thesis"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W20426122.pdf","grobid_xml":"https://content.openalex.org/works/W20426122.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W119234542","https://openalex.org/W1515197172","https://openalex.org/W1553078293","https://openalex.org/W1559870885","https://openalex.org/W1566330105","https://openalex.org/W1572337316","https://openalex.org/W1936022305","https://openalex.org/W1950768068","https://openalex.org/W2006390854","https://openalex.org/W2084818933","https://openalex.org/W2109121163","https://openalex.org/W2140225592","https://openalex.org/W2142509047","https://openalex.org/W2144973245","https://openalex.org/W2150918644","https://openalex.org/W2152863619","https://openalex.org/W2162980784","https://openalex.org/W2346597859","https://openalex.org/W2413620270"],"related_works":["https://openalex.org/W2294190091","https://openalex.org/W2476805165","https://openalex.org/W171423635","https://openalex.org/W3094436964","https://openalex.org/W2799231486","https://openalex.org/W2578318992","https://openalex.org/W35938963","https://openalex.org/W1672398008","https://openalex.org/W2072179513","https://openalex.org/W2369420183","https://openalex.org/W1980822729","https://openalex.org/W654770106","https://openalex.org/W2377702832","https://openalex.org/W2001628256","https://openalex.org/W2171450939","https://openalex.org/W206439259","https://openalex.org/W2050629843","https://openalex.org/W2255947651","https://openalex.org/W59872548","https://openalex.org/W2015910580"],"abstract_inverted_index":{"We":[0],"have":[1],"developed":[2],"a":[3,28,47,58,65,104],"system":[4,13],"for":[5,54,69],"computer-assisted":[6],"surgical":[7],"planning":[8,111],"of":[9,23,31,37,57,71,75,103,115],"tracheal":[10],"surgeries.":[11],"The":[12],"allows":[14,62],"to":[15,63,87],"plan":[16],"the":[17,24,38,72,76,89,93,110],"intervention":[18],"based":[19],"on":[20,109],"CT":[21],"images":[22,102],"patient,":[25],"and":[26,40,95,112],"includes":[27],"virtual":[29],"database":[30],"commercially":[32],"available":[33],"prostheses.":[34],"Automatic":[35],"segmentation":[36],"trachea":[39],"apparent":[41],"pathological":[42],"structures":[43],"is":[44],"obtained":[45,99],"using":[46],"modified":[48],"region":[49],"growing":[50],"algorithm.":[51],"A":[52],"method":[53],"automatic":[55],"adaptation":[56],"finite":[59],"element":[60],"mesh":[61],"build":[64],"patient-specific":[66],"biomechanical":[67,113],"model":[68],"simulation":[70,114],"expected":[73],"performance":[74],"implant":[77],"under":[78],"physiological":[79],"movement":[80,96],"(swallowing,":[81],"sneezing).":[82],"Laboratory":[83],"experiments":[84],"were":[85,98],"performed":[86],"characterise":[88],"tissues":[90],"present":[91],"in":[92],"trachea,":[94],"models":[97],"from":[100],"fluoroscopic":[101],"patient.":[105],"Results":[106],"are":[107],"reported":[108],"two":[116],"patients":[117],"that":[118],"underwent":[119],"surgery":[120],"at":[121],"our":[122],"hospital.":[123]},"counts_by_year":[{"year":2015,"cited_by_count":1}],"updated_date":"2025-10-10T17:16:08.811792","created_date":"2016-06-24T00:00:00"}