{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:22:53Z","timestamp":1725488573818},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540421238"},{"type":"electronic","value":"9783540451365"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45136-6_8","type":"book-chapter","created":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T19:53:02Z","timestamp":1186170782000},"page":"113-122","source":"Crossref","is-referenced-by-count":0,"title":["OASIS \u2013 An ASIS Secondary Library for Analyzing Object-Oriented Ada Code"],"prefix":"10.1007","author":[{"given":"Alexei","family":"Kuchumov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergey","family":"Rybin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alfred","family":"Strohmeier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,5,2]]},"reference":[{"key":"8_CR1","unstructured":"Ada Semantic Interface Specification (ASIS); International Standard ISO\/IEC 15291 1999 (E)."},{"issue":"1","key":"8_CR2","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/249984.249991","volume":"XVII","author":"C. Colket","year":"1997","unstructured":"Currie Colket et all; Architecture of ASIS: A Tool to Support Code Analysis of Complex Systems; ACM Ada Letters, January 1997, vol. XVII,no.1, 1997, pp 35\u201340.","journal-title":"ACM Ada Letters"},{"key":"8_CR3","series-title":"Lect Notes Comput Sci","isbn-type":"print","volume-title":"Ada 95 Rationale: The Language, The Standard Libraries","year":"1997","unstructured":"John Barnes (Ed.); Ada 95 Rationale: The Language, The Standard Libraries; Lecture Notes in Computer Science, vol. 1247; Springer-Verlag, 1997; ISBN 3-540-63143-7.","ISBN":"http:\/\/id.crossref.org\/isbn\/3540631437"},{"key":"8_CR4","series-title":"Lect Notes Comput Sci","isbn-type":"print","volume-title":"Ada 95 Reference Manual: Language and Standard Libraries","year":"1997","unstructured":"S. Tucker Taft, Robert A. Duff (Eds.); Ada 95 Reference Manual: Language and Standard Libraries, International Standard ISO\/IEC 8652:1995(E); Lecture Notes in Computer Science, vol. 1246; Springer-Verlag, 1997; ISBN 3-540-63144-5.","ISBN":"http:\/\/id.crossref.org\/isbn\/3540631445"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Sergey Rybin, Alfred Strohmeier; Ada and ASIS: Justification of Differences in Terminology and Mechanisms; Proceedings of TRI-Ada\u201996, Philadelphia, USA, December 3\u20137, 1996, pp 249\u2013254.","DOI":"10.1145\/240678.240725"},{"key":"8_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/10722060_13","volume-title":"ASIS-for-GNAT: A Report of Practical Experiences\u2013Reliable Software Technologies\u2013Ada-Europe\u20192000 Proceedings","author":"S. Rybin","year":"2000","unstructured":"Sergey Rybin, Alfred Strohmeier, Vasiliy Fofanov, Alexei Kuchumov; ASIS-for-GNAT: A Report of Practical Experiences\u2013Reliable Software Technologies\u2013Ada-Europe\u20192000 Proceedings, Hubert B. Keller, Erhard Ploedereder (Eds), LNCS (Lecture Notes in Computer Science), vol. 1845, Springer-Verlag, 5th Ada-Europe International Conference, Potsdam, Germany, June 26\u201330, 2000, pp. 125\u2013137."},{"key":"8_CR7","unstructured":"James Rumbaugh, Ivar Jacobson, Grady Booch; The Unified Modeling Language Reference Manual; Addison-Wesley, 1999."},{"key":"8_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/BFb0015489","volume-title":"Proceedings of Ada-Europe\u201995","author":"S. Rybin","year":"1995","unstructured":"Sergey Rybin, Alfred Strohmeier, Eugene Zueff; ASIS for GNAT: Goals, Problems and Implementation Strategy; Proceedings of Ada-Europe\u201995, Toussaint (Ed.), LNCS (Lecture Notes in Computer Science) 1031, Springer, Frankfurt, Germany, October 2\u20136 1995, pp. 139\u2013151."},{"key":"8_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/BFb0013497","volume-title":"Reliable Software Technologies\u2013Ada-Europe\u201996: Proceedings","author":"S. Rybin","year":"1996","unstructured":"Sergey Rybin, Alfred Strohmeier, Alexei Kuchumov, Vasiliy Fofanov; ASIS for GNAT: From the Prototype to the Full Implementation; Reliable Software Technologies\u2013Ada-Europe\u201996: Proceedings, Alfred Strohmeier (Ed.), LNCS (Lecture Notes in Computer Science), vol. 1088, Springer, Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10\u201314, 1996, pp. 298\u2013311."},{"key":"8_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/BFb0055003","volume-title":"International Conference on Reliable Software Technologies\u2013Ada-Europe\u201998","author":"A. Strohmeier","year":"1998","unstructured":"Alfred Strohmeier, Vasiliy Fofanov, Sergey Rybin, St\u00e9phane Barbey; Quality-for-ASIS: A Portable Testing Facility for ASIS; International Conference on Reliable Software Technologies\u2013Ada-Europe\u201998, Uppsala, Sweden, June 2\u20138 1998, Lars Asplund (Ed.), LNCS (Lecture Notes in Computer Science), Springer-Verlag, 1998, pp. 163\u2013175."}],"container-title":["Lecture Notes in Computer Science","Reliable SoftwareTechnologies \u2014 Ada-Europe 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45136-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T00:33:18Z","timestamp":1550709198000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45136-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540421238","9783540451365"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-45136-6_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}