{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T02:34:08Z","timestamp":1649039648844},"reference-count":17,"publisher":"Elsevier BV","issue":"1-5","license":[{"start":{"date-parts":[[1988,3,1]],"date-time":"1988-03-01T00:00:00Z","timestamp":573177600000},"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":["Microprocessing and Microprogramming"],"published-print":{"date-parts":[[1988,3]]},"DOI":"10.1016\/0165-6074(88)90349-3","type":"journal-article","created":{"date-parts":[[2003,9,3]],"date-time":"2003-09-03T17:14:48Z","timestamp":1062609288000},"page":"157-165","source":"Crossref","is-referenced-by-count":2,"title":["An abstract description generator for the reliability analysis in the design of real time systems"],"prefix":"10.1016","volume":"23","author":[{"given":"Elisabetta","family":"Binaghi","sequence":"first","affiliation":[]},{"given":"Lorenzo","family":"Lisca","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Proserpio","sequence":"additional","affiliation":[]},{"given":"Giacomo R","family":"Sechi","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"No. 12","key":"10.1016\/0165-6074(88)90349-3_BIB1","doi-asserted-by":"crossref","first-page":"1411","DOI":"10.1109\/TSE.1985.232177","article-title":"Software Reliability Models: Assumptions, Limitations and Applications","volume":"volume SE-11","author":"Goel","year":"1985","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/0165-6074(88)90349-3_BIB2","series-title":"Microprocessor Advanced Architectures and Design Methodologies, Proceedings of the First Biennal Meeting of the CUM on Microcomputers and Their Applications","first-page":"87","article-title":"Designing Complex Computational Systems in Physics Experiments: a Scientific Approach towards a Model Based Method","author":"Alderighi","year":"1986"},{"key":"10.1016\/0165-6074(88)90349-3_BIB3","article-title":"Representational Bias in Modeling Reliable Computational Systems","author":"Alderighi","year":"1987","journal-title":"Internal Communication of I.F.C.T.R.-C.N.R."},{"issue":"No. 8","key":"10.1016\/0165-6074(88)90349-3_BIB4","first-page":"613","article-title":"Can Programming Be Liberated from the Von Neumann Style? A Functional Style and Its Algebra of Programs","volume":"vol. 21","author":"Backus","year":"1978","journal-title":"Communications of the A.C.M."},{"key":"10.1016\/0165-6074(88)90349-3_BIB5","series-title":"Introduction to Mathematical Logic","author":"Mendelson","year":"1964"},{"issue":"No. 4","key":"10.1016\/0165-6074(88)90349-3_BIB6","first-page":"184","article-title":"Recursive Functions of Symbolic Expressions and Their Computation by Machine - Part 1","volume":"vol. 3","author":"Mc Carthy","year":"1960","journal-title":"Communication of the A.C.M."},{"issue":"No. 1","key":"10.1016\/0165-6074(88)90349-3_BIB7","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1109\/TSE.1975.6312816","article-title":"Specification Techniques for Data Abstractions","volume":"vol. SE-1","author":"Liskov","year":"1975","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"No. 2","key":"10.1016\/0165-6074(88)90349-3_BIB8","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1109\/TSE.1986.6312939","article-title":"Functional Programming, Formal Specification and Rapid Prototyping","volume":"vol. SE-12","author":"Henderson","year":"1986","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/0165-6074(88)90349-3_BIB9","unstructured":"Alderighi, M., Chiodo, M. and Sechi, G.R., ACS: A Specification Language for Automatic Implementation of Abstract Data Type, submitted to Computer Journal."},{"issue":"No. 11","key":"10.1016\/0165-6074(88)90349-3_BIB10","first-page":"934","article-title":"Distributed Processes: A Concurrent Programming Concept","volume":"vol. 21","author":"Hansen","year":"1978","journal-title":"Communication of the A.C.M."},{"key":"10.1016\/0165-6074(88)90349-3_BIB11","first-page":"288","article-title":"Real Time Systems","author":"Hindin","year":"1983","journal-title":"Electronic Design"},{"key":"10.1016\/0165-6074(88)90349-3_BIB12","series-title":"Computer Performance Measurements and Evaluation Methods: Analysis and Applications","author":"Svobodova","year":"1976"},{"key":"10.1016\/0165-6074(88)90349-3_BIB13","year":"1982"},{"issue":"No. 5","key":"10.1016\/0165-6074(88)90349-3_BIB14","article-title":"A Hierarchical Architecture with Independent Processors for Real Time Systems","volume":"vol. 15","author":"Rodda","year":"1987","journal-title":"Microprocessing and Microprogramming, The Euromicro Journal"},{"key":"10.1016\/0165-6074(88)90349-3_BIB15","doi-asserted-by":"crossref","unstructured":"Parnas, D.L., On the Criteria to be Used in Decomposing Systems into Modules, in: Communications of the A.C.M., vol. 15, No. 12, pp. 1053\u20131058.","DOI":"10.21236\/AD0773837"},{"key":"10.1016\/0165-6074(88)90349-3_BIB16","series-title":"Proceedings of MICRO-19, the 19th Annual Workshop on Microprogramming","first-page":"15","article-title":"MIDETT: MIcroprogrammed systems DEsign Technique and Tools","author":"Annunziata","year":"1986"},{"key":"10.1016\/0165-6074(88)90349-3_BIB17","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0165-6074(85)90081-X","article-title":"Simulation as a Design Tool","volume":"vol. 15","author":"Rodda","year":"1972","journal-title":"Microprocessing and Microprogramming"}],"container-title":["Microprocessing and Microprogramming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0165607488903493?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0165607488903493?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T09:52:55Z","timestamp":1551088375000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0165607488903493"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,3]]},"references-count":17,"journal-issue":{"issue":"1-5","published-print":{"date-parts":[[1988,3]]}},"alternative-id":["0165607488903493"],"URL":"https:\/\/doi.org\/10.1016\/0165-6074(88)90349-3","relation":{},"ISSN":["0165-6074"],"issn-type":[{"value":"0165-6074","type":"print"}],"subject":[],"published":{"date-parts":[[1988,3]]}}}