{"id":"https://openalex.org/W1557517477","doi":"https://doi.org/10.1016/s1571-0661(04)00251-8","title":"DynaMICs","display_name":"DynaMICs","publication_year":2001,"publication_date":"2001-10-01","ids":{"openalex":"https://openalex.org/W1557517477","doi":"https://doi.org/10.1016/s1571-0661(04)00251-8","mag":"1557517477"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(04)00251-8","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)00251-8","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(04)00251-8","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5032779885","display_name":"Ann Q. Gates","orcid":"https://orcid.org/0000-0001-6974-7899"},"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":"Ann Q. Gates","raw_affiliation_strings":["Department of Computer Science, The University of Texas at El Paso El Paso, Texas, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, The University of Texas at El Paso El Paso, Texas, USA","institution_ids":["https://openalex.org/I164936912"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109954155","display_name":"Steve Roach","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":"Steve Roach","raw_affiliation_strings":["Department of Computer Science, The University of Texas at El Paso El Paso, Texas, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, The University of Texas at El Paso El Paso, Texas, USA","institution_ids":["https://openalex.org/I164936912"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045009794","display_name":"Oscar Mondrag\u00f3n","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":"Oscar Mondragon","raw_affiliation_strings":["Department of Computer Science, The University of Texas at El Paso El Paso, Texas, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, The University of Texas at El Paso El Paso, Texas, USA","institution_ids":["https://openalex.org/I164936912"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103351803","display_name":"Nelly Delgado","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":"Nelly Delgado","raw_affiliation_strings":["Department of Computer Science, The University of Texas at El Paso El Paso, Texas, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, The University of Texas at El Paso El Paso, Texas, USA","institution_ids":["https://openalex.org/I164936912"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5032779885","https://openalex.org/A5045009794","https://openalex.org/A5103351803","https://openalex.org/A5109954155"],"corresponding_institution_ids":["https://openalex.org/I164936912"],"apc_list":null,"apc_paid":null,"fwci":3.1635,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.91745702,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"55","issue":"2","first_page":"164","last_page":"180"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"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"}},"topics":[{"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/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9987000226974487,"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.7603779435157776},{"id":"https://openalex.org/keywords/traceability","display_name":"Traceability","score":0.6261900067329407},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.576744019985199},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5687519907951355},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4988574981689453},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.43046247959136963},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.4117045998573303},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4107632040977478},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.39056575298309326},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.34377726912498474},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3314005136489868},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11328938603401184},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.0812934935092926}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7603779435157776},{"id":"https://openalex.org/C153876917","wikidata":"https://www.wikidata.org/wiki/Q899704","display_name":"Traceability","level":2,"score":0.6261900067329407},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.576744019985199},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5687519907951355},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4988574981689453},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.43046247959136963},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.4117045998573303},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4107632040977478},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.39056575298309326},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.34377726912498474},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3314005136489868},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11328938603401184},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0812934935092926},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(04)00251-8","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)00251-8","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(04)00251-8","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)00251-8","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W649372444","https://openalex.org/W1488694377","https://openalex.org/W1595951532","https://openalex.org/W1608257330","https://openalex.org/W1776302608","https://openalex.org/W1804233160","https://openalex.org/W1862182621","https://openalex.org/W1922800097","https://openalex.org/W1972457686","https://openalex.org/W1976375533","https://openalex.org/W2011423364","https://openalex.org/W2012436850","https://openalex.org/W2017739343","https://openalex.org/W2034717157","https://openalex.org/W2037638912","https://openalex.org/W2042663811","https://openalex.org/W2053732185","https://openalex.org/W2056124879","https://openalex.org/W2081814494","https://openalex.org/W2115179079","https://openalex.org/W2115309705","https://openalex.org/W2115484804","https://openalex.org/W2116041576","https://openalex.org/W2116312276","https://openalex.org/W2119179558","https://openalex.org/W2128610355","https://openalex.org/W2151688527","https://openalex.org/W2157739289","https://openalex.org/W2159420337","https://openalex.org/W2163766473","https://openalex.org/W2167088265","https://openalex.org/W2176526388","https://openalex.org/W2243384985","https://openalex.org/W4210908097","https://openalex.org/W4244736795","https://openalex.org/W4296471858","https://openalex.org/W6635484977","https://openalex.org/W6653231125","https://openalex.org/W6671021618","https://openalex.org/W6685609070"],"related_works":["https://openalex.org/W2049696050","https://openalex.org/W2408673862","https://openalex.org/W2541111347","https://openalex.org/W2253304054","https://openalex.org/W4285175229","https://openalex.org/W3158858948","https://openalex.org/W56096921","https://openalex.org/W1985927726","https://openalex.org/W4285356238","https://openalex.org/W2055553619"],"abstract_inverted_index":{"Software":[0],"engineering":[1,19],"strives":[2],"to":[3,73,114],"enable":[4],"the":[5,41,56,89,94,119,132],"economic":[6],"construction":[7],"of":[8,29,38,43,60,121],"software":[9,52,63],"systems":[10],"that":[11,54],"behave":[12],"reliably,":[13],"predictably,":[14],"and":[15,58,91,99,127],"safely.":[16],"In":[17,31,65],"other":[18],"disciplines,":[20],"safety":[21],"is":[22,50,85],"assured":[23],"in":[24,40],"part":[25],"by":[26,45,70,111],"detailed":[27],"monitoring":[28,46],"processes.":[30],"software,":[32],"we":[33],"may":[34],"achieve":[35],"some":[36],"level":[37],"confidence":[39],"operation":[42],"programs":[44],"their":[47],"execution.":[48],"DynaMICs":[49,133],"a":[51],"tool":[53],"facilitates":[55],"collection":[57],"use":[59],"constraints":[61,72,100],"for":[62,131],"systems.":[64],"addition,":[66],"it":[67],"supports":[68],"traceability":[69],"mapping":[71],"system":[74],"artifacts.":[75],"Constraint":[76],"specifications":[77,90],"are":[78,101,109],"stored":[79],"separately":[80],"from":[81,88],"code;":[82],"constraint-monitoring":[83],"code":[84],"automatically":[86],"generated":[87],"inserted":[92],"into":[93],"program":[95],"at":[96,103],"appropriate":[97],"places;":[98],"verified":[102],"execution":[104],"time.":[105],"These":[106],"constraint":[107],"checks":[108],"triggered":[110],"changes":[112],"made":[113],"variable":[115],"values.":[116],"We":[117],"describe":[118],"architecture":[120],"DynaMICs,":[122],"discuss":[123],"alternative":[124],"verification":[125],"techniques,":[126],"outline":[128],"research":[129],"directions":[130],"project.":[134]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}