{"id":"https://openalex.org/W4385532484","doi":"https://doi.org/10.1109/sera57763.2023.10197770","title":"A Library-Based Approach for Writing Design Assertions","display_name":"A Library-Based Approach for Writing Design Assertions","publication_year":2023,"publication_date":"2023-05-23","ids":{"openalex":"https://openalex.org/W4385532484","doi":"https://doi.org/10.1109/sera57763.2023.10197770"},"language":"en","primary_location":{"id":"doi:10.1109/sera57763.2023.10197770","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/sera57763.2023.10197770","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE/ACIS 21st International Conference on Software Engineering Research, Management and Applications (SERA)","raw_type":"proceedings-article"},"type":"article","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/A5017149388","display_name":"Yoonsik Cheon","orcid":null},"institutions":[{"id":"https://openalex.org/I164936912","display_name":"The University of Texas at El Paso","ror":"https://ror.org/04d5vba33","country_code":"US","type":"education","lineage":["https://openalex.org/I164936912"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Yoonsik Cheon","raw_affiliation_strings":["The University of Texas at El Paso,Department of Computer Science,El Paso,Texas,U.S.A","Department of Computer Science, The University of Texas at El Paso, El Paso, Texas, U.S.A"],"affiliations":[{"raw_affiliation_string":"The University of Texas at El Paso,Department of Computer Science,El Paso,Texas,U.S.A","institution_ids":["https://openalex.org/I164936912"]},{"raw_affiliation_string":"Department of Computer Science, The University of Texas at El Paso, El Paso, Texas, U.S.A","institution_ids":["https://openalex.org/I164936912"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101175224","display_name":"Ricardo Lozano","orcid":null},"institutions":[{"id":"https://openalex.org/I164936912","display_name":"The University of Texas at El Paso","ror":"https://ror.org/04d5vba33","country_code":"US","type":"education","lineage":["https://openalex.org/I164936912"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ricardo Lozano","raw_affiliation_strings":["The University of Texas at El Paso,Department of Computer Science,El Paso,Texas,U.S.A","Department of Computer Science, The University of Texas at El Paso, El Paso, Texas, U.S.A"],"affiliations":[{"raw_affiliation_string":"The University of Texas at El Paso,Department of Computer Science,El Paso,Texas,U.S.A","institution_ids":["https://openalex.org/I164936912"]},{"raw_affiliation_string":"Department of Computer Science, The University of Texas at El Paso, El Paso, Texas, U.S.A","institution_ids":["https://openalex.org/I164936912"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110795743","display_name":"Rajasoundarya Senthil Prabhu","orcid":null},"institutions":[{"id":"https://openalex.org/I164936912","display_name":"The University of Texas at El Paso","ror":"https://ror.org/04d5vba33","country_code":"US","type":"education","lineage":["https://openalex.org/I164936912"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rajasoundarya Senthil Prabhu","raw_affiliation_strings":["The University of Texas at El Paso,Department of Computer Science,El Paso,Texas,U.S.A","Department of Computer Science, The University of Texas at El Paso, El Paso, Texas, U.S.A"],"affiliations":[{"raw_affiliation_string":"The University of Texas at El Paso,Department of Computer Science,El Paso,Texas,U.S.A","institution_ids":["https://openalex.org/I164936912"]},{"raw_affiliation_string":"Department of Computer Science, The University of Texas at El Paso, El Paso, Texas, U.S.A","institution_ids":["https://openalex.org/I164936912"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5017149388"],"corresponding_institution_ids":["https://openalex.org/I164936912"],"apc_list":null,"apc_paid":null,"fwci":0.4576,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.67714369,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"22","last_page":"27"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9995999932289124,"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.9984999895095825,"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.8466187715530396},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7507839202880859},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.563938558101654},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5388734936714172},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4597589671611786},{"id":"https://openalex.org/keywords/software-design-pattern","display_name":"Software design pattern","score":0.4226039946079254},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.41596418619155884},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.38871049880981445},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3780524730682373}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8466187715530396},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7507839202880859},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.563938558101654},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5388734936714172},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4597589671611786},{"id":"https://openalex.org/C146054899","wikidata":"https://www.wikidata.org/wiki/Q181156","display_name":"Software design pattern","level":3,"score":0.4226039946079254},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.41596418619155884},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.38871049880981445},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3780524730682373},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","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":1,"locations":[{"id":"doi:10.1109/sera57763.2023.10197770","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/sera57763.2023.10197770","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE/ACIS 21st International Conference on Software Engineering Research, Management and Applications (SERA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.7300000190734863,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W166092202","https://openalex.org/W1484620451","https://openalex.org/W1541808425","https://openalex.org/W1602650507","https://openalex.org/W2085210833","https://openalex.org/W2098683443","https://openalex.org/W2210312992","https://openalex.org/W4210574934","https://openalex.org/W4248425340","https://openalex.org/W4287887268","https://openalex.org/W6606722356","https://openalex.org/W6629019546","https://openalex.org/W6632578794"],"related_works":["https://openalex.org/W2807251790","https://openalex.org/W2799406489","https://openalex.org/W3096225485","https://openalex.org/W2049792449","https://openalex.org/W986251431","https://openalex.org/W563727013","https://openalex.org/W2502468346","https://openalex.org/W2963420405","https://openalex.org/W2187485469","https://openalex.org/W3125571551"],"abstract_inverted_index":{"Assertions":[0],"are":[1,19,54],"a":[2,10,43,104,115],"crucial":[3],"aspect":[4],"of":[5,111],"software":[6,120],"development,":[7],"serving":[8],"as":[9,21],"way":[11],"to":[12,31,63],"validate":[13],"conditions":[14],"during":[15,68],"code":[16,30,69],"execution.":[17,70],"They":[18],"expressed":[20],"Boolean":[22],"expressions":[23],"that":[24],"must":[25],"hold":[26],"true":[27],"for":[28,46,79,118],"the":[29,89,98],"run":[32],"correctly":[33],"and":[34,38,61,83,108,123],"enforce":[35,64],"design":[36,50,59,66,81,85,121],"decisions":[37,67],"constraints.":[39],"This":[40],"paper":[41],"introduces":[42],"new":[44],"approach":[45,72],"creating":[47],"assertions":[48,53],"called":[49],"assertions.":[51],"These":[52],"generated":[55],"from":[56],"formally":[57],"written":[58,87],"constraints":[60,86],"help":[62],"important":[65],"The":[71,101],"utilizes":[73],"immutable":[74],"library":[75],"classes,":[76],"specifically":[77],"designed":[78],"writing":[80],"assertions,":[82,113],"converts":[84],"in":[88,97],"Object":[90],"Constraint":[91],"Language":[92],"(OCL)":[93],"into":[94],"assert":[95],"statements":[96],"Dart":[99,112],"language.":[100],"result":[102],"is":[103],"more":[105],"readable,":[106],"maintainable,":[107],"reliable":[109],"set":[110],"providing":[114],"powerful":[116],"tool":[117],"ensuring":[119],"quality":[122],"integrity.":[124]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-25T13:04:00.132906","created_date":"2025-10-10T00:00:00"}