{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,24]],"date-time":"2023-10-24T11:18:54Z","timestamp":1698146334259},"reference-count":24,"publisher":"Wiley","issue":"11","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":5111,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1992,11]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>A representation for specifying the timing constraints of real\u2010time systems is presented. Four parts of descriptions in a timing constraint: the path of events, timer, types of constraints and quantities of time, are explained. Under the relations among the paths, the hierarchical and network structures can be conducted. The former can be associated with the structure resulting from applying top\u2010down decomposition in software development. The latter represents the execution dependence of the paths. Based upon these clear and manageable structures, the completeness and consistency of timing constraints specification can be rigorously analysed. Thus, the quality of the specification of timing constraints can be improved during software development. A frame\u2010like software requirements specification language (FSRSL) is extended to specify timing constraints and the related descriptions in the paper.<\/jats:p>","DOI":"10.1002\/spe.4380221104","type":"journal-article","created":{"date-parts":[[2006,11,18]],"date-time":"2006-11-18T07:10:01Z","timestamp":1163833801000},"page":"963-984","source":"Crossref","is-referenced-by-count":0,"title":["Specification and quality assurance of timing constraints in real\u2010time systems development"],"prefix":"10.1002","volume":"22","author":[{"given":"Chih\u2010Cheng","family":"Lien","sequence":"first","affiliation":[]},{"given":"Chien\u2010Chiao","family":"Yang","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/2.7053"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1987.1663532"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1984.1658970"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/6138.6150"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312946"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.233838"},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6313044"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.231845"},{"key":"e_1_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/MS.1986.232430"},{"key":"e_1_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6313049"},{"key":"e_1_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/32.6186"},{"issue":"2","key":"e_1_2_1_13_2","first-page":"73","article-title":"A frame\u2010based software requirements specification language and its environment","volume":"6","author":"Tsai S. T.","year":"1990","journal-title":"J. Information Science and Engineering"},{"issue":"5","key":"e_1_2_1_14_2","first-page":"3","article-title":"Operational specification as the rapid prototyping","volume":"7","author":"Balzer R. M.","year":"1982","journal-title":"SIGPLAN"},{"key":"e_1_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/69610.357982"},{"key":"e_1_2_1_16_2","volume-title":"Software Engineering: A Practitioner's Approach","author":"Pressman R. S.","year":"1987"},{"key":"e_1_2_1_17_2","volume-title":"Introduction to Artificial Intelligence","author":"Chamiak E. C.","year":"1986"},{"key":"e_1_2_1_18_2","volume-title":"Structure Design: Fundamentals of a Discipline of Computer Program and System Design","author":"Yourdon E.","year":"1979"},{"key":"e_1_2_1_19_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69406-6"},{"key":"e_1_2_1_20_2","volume-title":"Structured Programming: Theory and Practice","author":"Linger R. C.","year":"1979"},{"key":"e_1_2_1_21_2","volume-title":"Structured Development for Real\u2010Time Systems","author":"Ward P.","year":"1985"},{"issue":"9","key":"e_1_2_1_22_2","first-page":"603","article-title":"Safety analysis of timing properties in real\u2010time systems","volume":"12","author":"Jahanian F.","year":"1986","journal-title":"IEEE Trans. Software Eng."},{"key":"e_1_2_1_23_2","volume-title":"Graph Theory with Applications to Engineering and Computer Science","author":"Deo N.","year":"1974"},{"key":"e_1_2_1_24_2","doi-asserted-by":"publisher","DOI":"10.1145\/4284.4286"},{"key":"e_1_2_1_25_2","volume-title":"Knowledge Engineering System: Knowledge Base Author's Reference Manual","year":"1986"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380221104","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380221104","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T14:43:58Z","timestamp":1698072238000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380221104"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,11]]},"references-count":24,"journal-issue":{"issue":"11","published-print":{"date-parts":[[1992,11]]}},"alternative-id":["10.1002\/spe.4380221104"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380221104","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,11]]}}}