{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,4]],"date-time":"2025-10-04T07:58:12Z","timestamp":1759564692700},"reference-count":37,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1992,2,1]],"date-time":"1992-02-01T00:00:00Z","timestamp":696902400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[1992,2]]},"DOI":"10.1016\/0950-5849(92)90107-z","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T01:31:39Z","timestamp":1060306299000},"page":"74-82","source":"Crossref","is-referenced-by-count":12,"title":["Comparison of four design methods for real-time software development"],"prefix":"10.1016","volume":"34","author":[{"given":"JC","family":"Kelly","sequence":"first","affiliation":[]},{"given":"YS","family":"Sherif","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0950-5849(92)90107-Z_BIB1","volume":"Vols 1, 2, and 3","author":"Ward","year":"1985"},{"key":"10.1016\/0950-5849(92)90107-Z_BIB2","series-title":"Software engineering with Ada","author":"Booch","year":"1983"},{"key":"10.1016\/0950-5849(92)90107-Z_BIB3","article-title":"Object oriented design handbook for Ada software","author":"Barnard","year":"1985","journal-title":"EVB Software Engineering"},{"key":"10.1016\/0950-5849(92)90107-Z_BIB4","author":"Cherry","year":"1986","journal-title":"The PAMELA designer's handbook Thought Tools"},{"key":"10.1016\/0950-5849(92)90107-Z_BIB5","article-title":"Software cost reduction requirements guideline","author":"Kmiecik","year":"1984"},{"key":"10.1016\/0950-5849(92)90107-Z_BIB6","series-title":"SCR Methodology user's manual","year":"1984"},{"issue":"No 2","key":"10.1016\/0950-5849(92)90107-Z_BIB7","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1147\/sj.132.0115","article-title":"Structured design","volume":"Vol 13","author":"Stevens","year":"1974","journal-title":"IBM Syst. J."},{"key":"10.1016\/0950-5849(92)90107-Z_BIB8","series-title":"Structured analysis and system specification","author":"DeMarco","year":"1978"},{"issue":"No 2","key":"10.1016\/0950-5849(92)90107-Z_BIB9","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1109\/TSE.1986.6312936","article-title":"The transformation schema: an extension of the data flow diagram to represent control and timing","volume":"Vol 12","author":"Ward","year":"1986","journal-title":"IEEE Trans. Soft. Eng."},{"issue":"No 12","key":"10.1016\/0950-5849(92)90107-Z_BIB10","doi-asserted-by":"crossref","first-page":"1053","DOI":"10.1145\/361598.361623","article-title":"On the criteria to be used in decomposing systems into modules","volume":"Vol 15","author":"Parnas","year":"1972","journal-title":"Commun. ACM"},{"issue":"No 3","key":"10.1016\/0950-5849(92)90107-Z_BIB11","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1109\/TSE.1975.6312816","article-title":"Specification techniques for data abstraction","volume":"Vol 1","author":"Liskov","year":"1975","journal-title":"IEEE Trans. Soft. Eng."},{"issue":"No 6","key":"10.1016\/0950-5849(92)90107-Z_BIB12","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1145\/359605.359618","article-title":"Abstract data types and the development of data structures","volume":"Vol 20","author":"Guttag","year":"1977","journal-title":"Commun. ACM"},{"issue":"No 12","key":"10.1016\/0950-5849(92)90107-Z_BIB13","doi-asserted-by":"crossref","first-page":"1048","DOI":"10.1145\/359657.359666","article-title":"Abstract data types and software validation","volume":"Vol 20","author":"Guttag","year":"1978","journal-title":"Commun. ACM"},{"issue":"No 11","key":"10.1016\/0950-5849(92)90107-Z_BIB14","doi-asserted-by":"crossref","first-page":"882","DOI":"10.1145\/182.358441","article-title":"Program design by informal English descriptions","volume":"Vol 26","author":"Abbot","year":"1983","journal-title":"Commun. ACM"},{"issue":"No 2","key":"10.1016\/0950-5849(92)90107-Z_BIB15","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1109\/TSE.1986.6312937","article-title":"Object-oriented development","volume":"Vol 12","author":"Booch","year":"1986","journal-title":"IEEE Trans. Soft. Eng."},{"key":"10.1016\/0950-5849(92)90107-Z_BIB16","unstructured":"Cherry, G PAMELA: Process Abstraction Method for Embedded Large Applications, Report Thought Tools, PO Box 2429, Reston, VA 22090, USA"},{"key":"10.1016\/0950-5849(92)90107-Z_BIB17","author":"Cherry","year":"1985","journal-title":"The PAMELA methodology Thought Tools"},{"key":"10.1016\/0950-5849(92)90107-Z_BIB18","series-title":"Proc. IEEE Nat. Aerospace and Electronics Conf.","article-title":"The AdaGRAPH tool for enhanced Ada productivity","author":"Crawford","year":"1986"},{"key":"10.1016\/0950-5849(92)90107-Z_BIB19","article-title":"Software requirements for the A7-E Aircraft","author":"Heninger","year":"1978"},{"issue":"No 1","key":"10.1016\/0950-5849(92)90107-Z_BIB20","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/TSE.1980.230208","article-title":"Specifying software requirement for complex systems","volume":"Vol 6","author":"Heninger","year":"1980","journal-title":"IEEE Trans. Soft. Eng."},{"key":"10.1016\/0950-5849(92)90107-Z_BIB21","series-title":"Proc. 5th Int. Conf. Software Engineering","article-title":"A procedure for designing abstract interfaces for device interface modules","author":"Britton","year":"1981"},{"key":"10.1016\/0950-5849(92)90107-Z_BIB22","article-title":"A7-E software module guide","author":"Britton","year":"1981"},{"key":"10.1016\/0950-5849(92)90107-Z_BIB23","article-title":"A standard organization for specifying abstract interfaces","author":"Clements","year":"1984"},{"issue":"No 3","key":"10.1016\/0950-5849(92)90107-Z_BIB24","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/TSE.1985.232209","article-title":"The modular structure of complex systems","volume":"Vol 11","author":"Parnas","year":"1985","journal-title":"IEEE Trans. Soft. Eng."},{"issue":"No 2","key":"10.1016\/0950-5849(92)90107-Z_BIB25","first-page":"251","article-title":"A rational design process: how and why to fake it","volume":"Vol 12","year":"1986","journal-title":"IEEE Trans. Soft. Eng."},{"issue":"No 1","key":"10.1016\/0950-5849(92)90107-Z_BIB26","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1109\/TSE.1977.229899","article-title":"Structured analysis for requirements definition","volume":"Vol 3","author":"Ross","year":"1977","journal-title":"IEEE Trans. Soft. Eng."},{"key":"10.1016\/0950-5849(92)90107-Z_BIB27","article-title":"Software requirements methodology and tool study for A-6E technology transfer","author":"Meyers","year":"1983"},{"key":"10.1016\/0950-5849(92)90107-Z_BIB28","article-title":"The Ada programming language","author":"Department of Defense","year":"1983","journal-title":"ANSI\/MIL-STD-1815A ANSI"},{"issue":"No 8","key":"10.1016\/0950-5849(92)90107-Z_BIB29","first-page":"139","article-title":"Elements of object-oriented programming","volume":"Vol 11","author":"Pascoe","year":"1986","journal-title":"Byte"},{"key":"10.1016\/0950-5849(92)90107-Z_BIB30","author":"Jackson","year":"1983"},{"issue":"No 5","key":"10.1016\/0950-5849(92)90107-Z_BIB31","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1145\/355602.361309","article-title":"A technique for software module specification with examples","volume":"Vol 15","author":"Parnas","year":"1972","journal-title":"Commun. ACM"},{"issue":"No 1","key":"10.1016\/0950-5849(92)90107-Z_BIB32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TSE.1976.233797","article-title":"On the design and development of program families","volume":"Vol 2","year":"1976","journal-title":"IEEE Trans. Soft. Eng."},{"key":"10.1016\/0950-5849(92)90107-Z_BIB33","article-title":"Using traces to write abstract specifications for software modules","author":"Parnas","year":"1977"},{"issue":"No 3","key":"10.1016\/0950-5849(92)90107-Z_BIB34","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1109\/TSE.1979.234169","article-title":"Designing software for ease of extension and contraction","volume":"Vol 5","author":"Parnas","year":"1979","journal-title":"IEEE Trans. Soft. Eng."},{"issue":"No 4","key":"10.1016\/0950-5849(92)90107-Z_BIB35","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1109\/MC.1985.1662863","article-title":"SREM at the age of eight: the distributed computing design system","volume":"Vol 18","author":"Alford","year":"1985","journal-title":"Computer"},{"key":"10.1016\/0950-5849(92)90107-Z_BIB36","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1002\/1520-6750(198806)35:3<425::AID-NAV3220350311>3.0.CO;2-3","article-title":"Computer software development","volume":"Vol 35","author":"Sherif","year":"1988","journal-title":"Naval Research Logistics"},{"key":"10.1016\/0950-5849(92)90107-Z_BIB37","author":"Yourdon","year":"1979"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:095058499290107Z?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:095058499290107Z?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T04:26:32Z","timestamp":1552623992000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/095058499290107Z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,2]]},"references-count":37,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1992,2]]}},"alternative-id":["095058499290107Z"],"URL":"https:\/\/doi.org\/10.1016\/0950-5849(92)90107-z","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[1992,2]]}}}