{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:20Z","timestamp":1725664700717},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540609735"},{"type":"electronic","value":"9783540497493"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-60973-3_98","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:08:41Z","timestamp":1330272521000},"page":"385-404","source":"Crossref","is-referenced-by-count":5,"title":["Identification of and solutions to shortcomings of LCL, a Larch\/C interface specification language"],"prefix":"10.1007","author":[{"given":"Patrice","family":"Chalin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Grogono","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Radhakrishnan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"issue":"4","key":"22_CR1","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/2.375178","volume":"28","author":"J. Bowen","year":"1995","unstructured":"Jonathan Bowen and Mike Hinchey. Ten commandments of formal methods. IEEE Computer, 28(4):56\u201363, April 1995.","journal-title":"IEEE Computer"},{"key":"22_CR2","unstructured":"Patrice Chalin. On the language design and semantic foundation of LCL, a Larch\/C interface specification language. CU\/DCS TR 95\u201312, Computer Science Department, Concordia University, December 1995. Ph.D. Thesis."},{"key":"22_CR3","unstructured":"Jolly Chen. The Larch\/Generic interface language. S. B. Thesis, Department of Electrical Engineering and Computer Science, MIT, 1989."},{"issue":"4","key":"22_CR4","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1109\/32.277576","volume":"20","author":"George W. W. Ernst","year":"1994","unstructured":"George W. Ernst, Raymond J. Hookway, and William F. Ogden. Modular verification of data abstractions with shared realizations. IEEE Transactions on Software Engineering, 20(4):288\u2013307, April 1994.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"22_CR5","unstructured":"David Evans. Using specifications to check source code. TR 628, MIT LCS, June 1994. S.M. Thesis."},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"David Evans, John V. Guttag, James J. Horning, and Yang Meng Tan. LCLint: A tool for using specifications to check code. In Symposium on the Foundations of Software Engineering, December 1994.","DOI":"10.1145\/193173.195297"},{"key":"22_CR7","unstructured":"John V. Guttag and James J. Horning. LCL: A Larch interface language for C. Technical Report 74, DEC Systems Research Center, July 1991."},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"John V. Guttag and James J. Horning, editors. Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science. Springer-Verlag, 1993.","DOI":"10.1007\/978-1-4612-2704-5"},{"issue":"9","key":"22_CR9","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1109\/MC.1987.1663697","volume":"20","author":"C. A. R. R. Hoare","year":"1987","unstructured":"C.A.R. Hoare. An overview of some formal methods for program design. IEEE Computer, 20(9):85\u201391, September 1987.","journal-title":"IEEE Computer"},{"key":"22_CR10","unstructured":"Michal Iglewski, Jan Madey, David Lorge Parnas, and Philip C. Kelly. Documentation paradigms. CRL TR 270, McMaster University, July 1993."},{"key":"22_CR11","unstructured":"ISO\/IEC 9899: 1990 (E). Programming languages-C."},{"key":"22_CR12","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1002\/stvr.4370040205","volume":"4","author":"A. Jackson","year":"1994","unstructured":"Ann Jackson and Daniel Hoffman. Inspecting module interface specifications. Software Testing, Verification and Reliability, 4:101\u2013117, 1994.","journal-title":"Software Testing, Verification and Reliability"},{"key":"22_CR13","unstructured":"Cliff B. Jones. Systematic Software Development using VDM. Computer Science Series. Prentice Hall International, second edition, 1990."},{"key":"22_CR14","unstructured":"Richard Allen Lerner. Specifying Objects of Concurrent Systems. PhD thesis, Carngie Mellon University, May 1991. TR CMU-CS-91\u2013131."},{"key":"22_CR15","unstructured":"Carroll Morgan. Programming from Specifications. Computer Science Series. Prentice Hall International, 1990."},{"key":"22_CR16","volume-title":"TR 89\u2013261","author":"D. L. Parnas","year":"1989","unstructured":"David Lorge Parnas and Yabo Wang. The trace assertion method of module interface specification. TR 89\u2013261, Queen's University at Kingston (Dept. of Computing and Information Science), 1989."},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"S. Prehn and W.J. Toetenel, editors. VDM'91: Formal Software Development Methods, volume 551 of Lecture Notes in Computer Science. VDM Europe, Springer-Verlag, 1991. Volume 1: Conference Contributions.","DOI":"10.1007\/BFb0019994"},{"key":"22_CR18","unstructured":"J.M. Spivey. The Z Notation: A Reference Manual. Computer Science Series. Prentice Hall International, second edition, 1992."},{"key":"22_CR19","unstructured":"Yang Meng Tan. Formal specification techniques for promoting software modularity, enhancing documentation, and testing specifications. TR 619, MIT LCS, June 1994. Ph.D. Thesis."},{"key":"22_CR20","unstructured":"Mark T. Vandevoorde. Exploiting specifications to improve program performance. TR 598, MIT LCS, February 1994. Ph.D. Thesis."},{"key":"22_CR21","doi-asserted-by":"crossref","unstructured":"Jeannette M. Wing and Amy Moormann Zaremski. Unintrusive ways to integrate formal specifications in practice. In [17], pages 545\u2013569, 1991.","DOI":"10.1007\/3-540-54834-3_32"}],"container-title":["Lecture Notes in Computer Science","FME'96: Industrial Benefit and Advances in Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60973-3_98.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:03:19Z","timestamp":1605628999000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60973-3_98"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540609735","9783540497493"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-60973-3_98","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}