{"id":"https://openalex.org/W6908596945","doi":"https://doi.org/10.26190/unsworks/17304","title":"Reasoning about designs: a framework for coupling formal developments and system management","display_name":"Reasoning about designs: a framework for coupling formal developments and system management","publication_year":2022,"publication_date":"2022-03-21","ids":{"openalex":"https://openalex.org/W6908596945","doi":"https://doi.org/10.26190/unsworks/17304"},"language":"en","primary_location":{"id":"pmh:oai:unsworks.library.unsw.edu.au:1959.4/28347","is_oa":true,"landing_page_url":"http://hdl.handle.net/1959.4/28347","pdf_url":"https://unsworks.unsw.edu.au/bitstreams/b785facc-7536-4e14-b715-d1e57f3a6728/download","source":{"id":"https://openalex.org/S4306401737","display_name":"UNSWorks (University of New South Wales, Sydney, Australia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40053085","host_organization_name":"Australian Defence Force Academy","host_organization_lineage":["https://openalex.org/I40053085"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"http://purl.org/coar/resource_type/c_db06"},"type":"dissertation","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://unsworks.unsw.edu.au/bitstreams/b785facc-7536-4e14-b715-d1e57f3a6728/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"de Groot, Martin","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"de Groot, Martin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.1720000058412552,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.1720000058412552,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.11819999665021896,"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.09300000220537186,"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/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.6345999836921692},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5289000272750854},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.44029998779296875},{"id":"https://openalex.org/keywords/development","display_name":"Development (topology)","score":0.4343000054359436},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.40790000557899475},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.40540000796318054},{"id":"https://openalex.org/keywords/formal-system","display_name":"Formal system","score":0.3734000027179718},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.36059999465942383},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.36010000109672546},{"id":"https://openalex.org/keywords/core","display_name":"Core (optical fiber)","score":0.3237000107765198}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.676800012588501},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.6345999836921692},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.555400013923645},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5289000272750854},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.44029998779296875},{"id":"https://openalex.org/C2776542497","wikidata":"https://www.wikidata.org/wiki/Q5266672","display_name":"Development (topology)","level":2,"score":0.4343000054359436},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.42239999771118164},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.40790000557899475},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.40540000796318054},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3736000061035156},{"id":"https://openalex.org/C102315432","wikidata":"https://www.wikidata.org/wiki/Q649732","display_name":"Formal system","level":2,"score":0.3734000027179718},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.36059999465942383},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.36010000109672546},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.3237000107765198},{"id":"https://openalex.org/C31352089","wikidata":"https://www.wikidata.org/wiki/Q3750474","display_name":"Systems design","level":2,"score":0.3181000053882599},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.31220000982284546},{"id":"https://openalex.org/C19527686","wikidata":"https://www.wikidata.org/wiki/Q1665453","display_name":"System integration","level":2,"score":0.3077999949455261},{"id":"https://openalex.org/C164100034","wikidata":"https://www.wikidata.org/wiki/Q1870629","display_name":"Loose coupling","level":2,"score":0.30239999294281006},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2971000075340271},{"id":"https://openalex.org/C84651959","wikidata":"https://www.wikidata.org/wiki/Q17052506","display_name":"System requirements specification","level":2,"score":0.27549999952316284},{"id":"https://openalex.org/C180152950","wikidata":"https://www.wikidata.org/wiki/Q2904257","display_name":"Software development process","level":4,"score":0.26910001039505005},{"id":"https://openalex.org/C87912763","wikidata":"https://www.wikidata.org/wiki/Q7663737","display_name":"System of systems","level":3,"score":0.2685999870300293},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.262800008058548},{"id":"https://openalex.org/C47822265","wikidata":"https://www.wikidata.org/wiki/Q854457","display_name":"Complex system","level":2,"score":0.25850000977516174},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.2567000091075897},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.25529998540878296},{"id":"https://openalex.org/C198783460","wikidata":"https://www.wikidata.org/wiki/Q629173","display_name":"Management system","level":2,"score":0.2533000111579895},{"id":"https://openalex.org/C24119478","wikidata":"https://www.wikidata.org/wiki/Q679871","display_name":"Systems analysis","level":2,"score":0.25060001015663147},{"id":"https://openalex.org/C93729268","wikidata":"https://www.wikidata.org/wiki/Q1187450","display_name":"Structured systems analysis and design method","level":3,"score":0.2433999925851822},{"id":"https://openalex.org/C143587482","wikidata":"https://www.wikidata.org/wiki/Q1543216","display_name":"Iterative and incremental development","level":2,"score":0.24060000479221344},{"id":"https://openalex.org/C14331664","wikidata":"https://www.wikidata.org/wiki/Q3417382","display_name":"Refinement","level":3,"score":0.2354000061750412},{"id":"https://openalex.org/C32833848","wikidata":"https://www.wikidata.org/wiki/Q4115054","display_name":"Extensibility","level":2,"score":0.23149999976158142},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.2289000004529953},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.226500004529953},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.22220000624656677},{"id":"https://openalex.org/C6604083","wikidata":"https://www.wikidata.org/wiki/Q376937","display_name":"Requirements engineering","level":3,"score":0.22120000422000885},{"id":"https://openalex.org/C34972735","wikidata":"https://www.wikidata.org/wiki/Q2920267","display_name":"Engineering design process","level":2,"score":0.2199999988079071},{"id":"https://openalex.org/C107327155","wikidata":"https://www.wikidata.org/wiki/Q330268","display_name":"Decision support system","level":2,"score":0.21979999542236328},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.21789999306201935},{"id":"https://openalex.org/C2777877512","wikidata":"https://www.wikidata.org/wiki/Q1116097","display_name":"Common ground","level":2,"score":0.21789999306201935}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:unsworks.library.unsw.edu.au:1959.4/28347","is_oa":true,"landing_page_url":"http://hdl.handle.net/1959.4/28347","pdf_url":"https://unsworks.unsw.edu.au/bitstreams/b785facc-7536-4e14-b715-d1e57f3a6728/download","source":{"id":"https://openalex.org/S4306401737","display_name":"UNSWorks (University of New South Wales, Sydney, Australia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40053085","host_organization_name":"Australian Defence Force Academy","host_organization_lineage":["https://openalex.org/I40053085"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"http://purl.org/coar/resource_type/c_db06"},{"id":"pmh:oai:unsworks.unsw.edu.au:1959.4/28347","is_oa":true,"landing_page_url":"http://handle.unsw.edu.au/1959.4/28347","pdf_url":"http://handle.unsw.edu.au/1959.4/28347","source":{"id":"https://openalex.org/S4377196481","display_name":"UNSWorks (UNSW Sydney)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I31746571","host_organization_name":"UNSW Sydney","host_organization_lineage":["https://openalex.org/I31746571"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis"},{"id":"doi:10.26190/unsworks/17304","is_oa":true,"landing_page_url":"https://doi.org/10.26190/unsworks/17304","pdf_url":null,"source":{"id":"https://openalex.org/S4377196481","display_name":"UNSWorks (UNSW Sydney)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I31746571","host_organization_name":"UNSW Sydney","host_organization_lineage":["https://openalex.org/I31746571"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Dissertation"}],"best_oa_location":{"id":"pmh:oai:unsworks.library.unsw.edu.au:1959.4/28347","is_oa":true,"landing_page_url":"http://hdl.handle.net/1959.4/28347","pdf_url":"https://unsworks.unsw.edu.au/bitstreams/b785facc-7536-4e14-b715-d1e57f3a6728/download","source":{"id":"https://openalex.org/S4306401737","display_name":"UNSWorks (University of New South Wales, Sydney, Australia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40053085","host_organization_name":"Australian Defence Force Academy","host_organization_lineage":["https://openalex.org/I40053085"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"http://purl.org/coar/resource_type/c_db06"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W6908596945.pdf","grobid_xml":"https://content.openalex.org/works/W6908596945.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"thesis":[1],"presents":[2],"a":[3,76,137,146,177,190,256],"framework":[4,10,118,135],"for":[5,17,79,92],"formal":[6,66,141,156,257],"system":[7,58,81,90,101,142,186,224],"development.":[8],"The":[9,55,117,129],"is":[11,15,50,62,136,192,214],"called":[12],"`RD'":[13],"which":[14],"short":[16],"`Reasoning":[18],"about":[19],"Designs'.":[20],"RD":[21,73,95,169,213],"integrates":[22],"proof,":[23],"development":[24,82,87,143],"and":[25,60,70,83,108,112,183,217,229],"diagnostic":[26,93,203],"modes":[27],"of":[28,57,127,133,140,185,199,227,235,267],"reasoning.":[29,72,94,128],"Many":[30],"commonly":[31],"studied":[32,154],"formalisms":[33],"are":[34,152,163],"shown":[35],"to":[36,52,115,123,166,173,221,250],"be":[37,174,208,242],"consistent":[38],"with":[39],"this":[40],"framework.":[41,212],"A":[42],"large":[43,233],"example":[44],"based":[45,144],"on":[46,145],"an":[47,215],"industrial":[48],"problem":[49],"given":[51],"demonstrate":[53],"RD.":[54],"integration":[56],"design":[59,228],"management":[61],"achieved":[63],"by":[64],"unifying":[65],"software":[67,159],"engineering":[68,160,251,258],"methods":[69,157],"model-based":[71],"formally":[74],"specifies":[75],"complete":[77],"toolkit":[78],"performing":[80],"then":[84],"re-using":[85],"the":[86,89,99,110,134,211,222,232,238,265],"as":[88,167,205,244],"description":[91],"does":[96],"not":[97],"restrict":[98],"contributing":[100],"analysis":[102],"methods,":[103],"rather":[104],"it":[105],"maps":[106],"out":[107],"defines":[109],"entities":[111],"relations":[113,151,172],"common":[114],"both.":[116],"is,":[119],"in":[120,155,158,176,252],"principle,":[121],"extensible":[122],"support":[124,202],"other":[125],"forms":[126,198],"ground":[130],"technical":[131,236],"mechanism":[132],"novel":[138],"view":[139],"general":[147],"implementation":[148],"relation.":[149],"Implementation":[150],"widely":[153],"where":[161],"they":[162,206],"often":[164],"referred":[165],"`refinement'.":[168],"allows":[170],"refinement":[171,200],"defined":[175],"way":[178],"that":[179,194,248,269],"makes":[180],"expected":[181],"behaviours":[182],"faults":[184],"implementations":[187],"explicit.":[188],"Furthermore,":[189],"case":[191],"made":[193],"all":[195],"well":[196],"known":[197],"implicitly":[201],"reasoning":[204],"can":[207,241],"restated":[209],"within":[210],"integrated":[216],"completely":[218],"rigorous":[219],"approach":[220],"core":[223],"building":[225],"tasks":[226],"management.":[230],"Despite":[231],"amount":[234],"detail,":[237],"following":[239],"discussion":[240],"seen":[243],"raising":[245],"many":[246],"issues":[247],"relate":[249],"general.":[253],"In":[254],"particular,":[255],"process":[259],"should":[260],"have":[261],"benefits":[262],"beyond":[263],"just":[264],"delivery":[266],"systems":[268],"satisfy":[270],"their":[271],"specifications.":[272]},"counts_by_year":[],"updated_date":"2026-08-14T07:06:38.338062","created_date":"2025-10-10T00:00:00"}