{"id":"https://openalex.org/W2006114538","doi":"https://doi.org/10.1002/spe.4380221104","title":"Specification and quality assurance of timing constraints in real\u2010time systems development","display_name":"Specification and quality assurance of timing constraints in real\u2010time systems development","publication_year":1992,"publication_date":"1992-11-01","ids":{"openalex":"https://openalex.org/W2006114538","doi":"https://doi.org/10.1002/spe.4380221104","mag":"2006114538"},"language":"en","primary_location":{"id":"doi:10.1002/spe.4380221104","is_oa":false,"landing_page_url":"https://doi.org/10.1002/spe.4380221104","pdf_url":null,"source":{"id":"https://openalex.org/S122199241","display_name":"Software Practice and Experience","issn_l":"0038-0644","issn":["0038-0644","1097-024X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software: Practice and Experience","raw_type":"journal-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/A5063868790","display_name":"Chih\u2010Cheng Lien","orcid":null},"institutions":[{"id":"https://openalex.org/I154864474","display_name":"National Taiwan University of Science and Technology","ror":"https://ror.org/00q09pe49","country_code":"TW","type":"education","lineage":["https://openalex.org/I154864474"]}],"countries":["TW"],"is_corresponding":true,"raw_author_name":"Chih\u2010Cheng Lien","raw_affiliation_strings":["Department of Electronic Engineering, National Taiwan Institute of Technology, 43, Keelung Road, Section 4, Taipei 10772, Taiwan, R.O.C"],"affiliations":[{"raw_affiliation_string":"Department of Electronic Engineering, National Taiwan Institute of Technology, 43, Keelung Road, Section 4, Taipei 10772, Taiwan, R.O.C","institution_ids":["https://openalex.org/I154864474"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110087341","display_name":"Chien\u2010Chiao Yang","orcid":null},"institutions":[{"id":"https://openalex.org/I154864474","display_name":"National Taiwan University of Science and Technology","ror":"https://ror.org/00q09pe49","country_code":"TW","type":"education","lineage":["https://openalex.org/I154864474"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Chien\u2010Chiao Yang","raw_affiliation_strings":["Department of Electronic Engineering, National Taiwan Institute of Technology, 43, Keelung Road, Section 4, Taipei 10772, Taiwan, R.O.C"],"affiliations":[{"raw_affiliation_string":"Department of Electronic Engineering, National Taiwan Institute of Technology, 43, Keelung Road, Section 4, Taipei 10772, Taiwan, R.O.C","institution_ids":["https://openalex.org/I154864474"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5063868790"],"corresponding_institution_ids":["https://openalex.org/I154864474"],"apc_list":{"value":4220,"currency":"USD","value_usd":4220},"apc_paid":null,"fwci":0.5353,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.71690671,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"22","issue":"11","first_page":"963","last_page":"984"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9994999766349792,"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.9994999766349792,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.9968000054359436,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7323485016822815},{"id":"https://openalex.org/keywords/timer","display_name":"Timer","score":0.6408349275588989},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.5687952637672424},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.568551242351532},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5557401776313782},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.5214559435844421},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.49720242619514465},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.46863317489624023},{"id":"https://openalex.org/keywords/frame","display_name":"Frame (networking)","score":0.4662773907184601},{"id":"https://openalex.org/keywords/software-requirements-specification","display_name":"Software requirements specification","score":0.45519861578941345},{"id":"https://openalex.org/keywords/system-requirements-specification","display_name":"System requirements specification","score":0.4547140598297119},{"id":"https://openalex.org/keywords/time-constraint","display_name":"Time constraint","score":0.45383691787719727},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.4186159074306488},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.41676998138427734},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.41245758533477783},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.4015347361564636},{"id":"https://openalex.org/keywords/software-design","display_name":"Software design","score":0.28994429111480713},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.20227572321891785},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.14355871081352234},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11060860753059387}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7323485016822815},{"id":"https://openalex.org/C2776633867","wikidata":"https://www.wikidata.org/wiki/Q186612","display_name":"Timer","level":3,"score":0.6408349275588989},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.5687952637672424},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.568551242351532},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5557401776313782},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.5214559435844421},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.49720242619514465},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.46863317489624023},{"id":"https://openalex.org/C126042441","wikidata":"https://www.wikidata.org/wiki/Q1324888","display_name":"Frame (networking)","level":2,"score":0.4662773907184601},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.45519861578941345},{"id":"https://openalex.org/C84651959","wikidata":"https://www.wikidata.org/wiki/Q17052506","display_name":"System requirements specification","level":2,"score":0.4547140598297119},{"id":"https://openalex.org/C2775907273","wikidata":"https://www.wikidata.org/wiki/Q7805281","display_name":"Time constraint","level":2,"score":0.45383691787719727},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.4186159074306488},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.41676998138427734},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.41245758533477783},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.4015347361564636},{"id":"https://openalex.org/C52913732","wikidata":"https://www.wikidata.org/wiki/Q857102","display_name":"Software design","level":4,"score":0.28994429111480713},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.20227572321891785},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.14355871081352234},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11060860753059387},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C173018170","wikidata":"https://www.wikidata.org/wiki/Q165678","display_name":"Microcontroller","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/spe.4380221104","is_oa":false,"landing_page_url":"https://doi.org/10.1002/spe.4380221104","pdf_url":null,"source":{"id":"https://openalex.org/S122199241","display_name":"Software Practice and Experience","issn_l":"0038-0644","issn":["0038-0644","1097-024X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software: Practice and Experience","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.4000000059604645}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W4087690","https://openalex.org/W1492005089","https://openalex.org/W1519532587","https://openalex.org/W1525811688","https://openalex.org/W1535886478","https://openalex.org/W1610029862","https://openalex.org/W1663018970","https://openalex.org/W1936022305","https://openalex.org/W1977316105","https://openalex.org/W1997076110","https://openalex.org/W2016289761","https://openalex.org/W2036526565","https://openalex.org/W2037637206","https://openalex.org/W2041938674","https://openalex.org/W2056359803","https://openalex.org/W2074864682","https://openalex.org/W2084592009","https://openalex.org/W2091612566","https://openalex.org/W2114767673","https://openalex.org/W2116031175","https://openalex.org/W2130133810","https://openalex.org/W2154069078","https://openalex.org/W2154774499","https://openalex.org/W2163835031","https://openalex.org/W3148413064"],"related_works":["https://openalex.org/W2466702713","https://openalex.org/W1547699668","https://openalex.org/W2117824779","https://openalex.org/W2117948372","https://openalex.org/W2596450396","https://openalex.org/W1977862999","https://openalex.org/W4388319857","https://openalex.org/W2158159493","https://openalex.org/W2019981802","https://openalex.org/W1571393348"],"abstract_inverted_index":{"Abstract":[0],"A":[1,108],"representation":[2],"for":[3],"specifying":[4],"the":[5,21,36,39,41,55,68,72,81,94,97,122,126],"timing":[6,19,86,100,119],"constraints":[7,28,87,101,120],"of":[8,15,23,27,31,71,85,96,99],"real\u2010time":[9],"systems":[10],"is":[11,115],"presented.":[12],"Four":[13],"parts":[14],"descriptions":[16,124],"in":[17,62,125],"a":[18],"constraint:":[20],"path":[22],"events,":[24],"timer,":[25],"types":[26],"and":[29,43,78,83,121],"quantities":[30],"time,":[32],"are":[33],"explained.":[34],"Under":[35],"relations":[37],"among":[38],"paths,":[40],"hierarchical":[42],"network":[44],"structures":[45],"can":[46,51,89,102],"be":[47,52,90,103],"conducted.":[48],"The":[49,65],"former":[50],"associated":[53],"with":[54],"structure":[56],"resulting":[57],"from":[58],"applying":[59],"top\u2010down":[60],"decomposition":[61],"software":[63,106,110],"development.":[64,107],"latter":[66],"represents":[67],"execution":[69],"dependence":[70],"paths.":[73],"Based":[74],"upon":[75],"these":[76],"clear":[77],"manageable":[79],"structures,":[80],"completeness":[82],"consistency":[84],"specification":[88,98,112],"rigorously":[91],"analysed.":[92],"Thus,":[93],"quality":[95],"improved":[104],"during":[105],"frame\u2010like":[109],"requirements":[111],"language":[113],"(FSRSL)":[114],"extended":[116],"to":[117],"specify":[118],"related":[123],"paper.":[127]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}