{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:51:16Z","timestamp":1725475876208},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676690"},{"type":"electronic","value":"9783540450986"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722060_13","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T00:00:28Z","timestamp":1167436828000},"page":"125-137","source":"Crossref","is-referenced-by-count":2,"title":["ASIS-for-GNAT: A Report of Practical Experiences"],"prefix":"10.1007","author":[{"given":"Sergey","family":"Rybin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alfred","family":"Strohmeier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vasiliy","family":"Fofanov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexei","family":"Kuchumov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Ada Semantic Interface Specification (ASIS); International Standard ISO\/IEC 15291 (1999) (E)"},{"key":"13_CR2","unstructured":"ASIS-for-GNAT is available electronically as a part of the public version of the GNAT technology from, \n                    \n                      http:\/\/www.gnat.com"},{"key":"13_CR3","unstructured":"ASIS home page of SIGAda, the Special Interest Group on Ada of the Association of Computing Machinery (ACM), \n                    \n                      http:\/\/www.acm.org\/sigada\/WG\/asiswg\/"},{"key":"13_CR4","unstructured":"Home page of ACT, Ada Core Technologies, \n                    \n                      http:\/\/www.gnat.com"},{"key":"13_CR5","unstructured":"Home page of ACT Europe, the European branch of Ada Core Technologies, \n                    \n                      http:\/\/www.act-europe.fr"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Ada 95, Quality and Style","year":"1997","unstructured":"Ausnit-Hood, C., Johnson, K.A., Pettit IV, R.G., Opdahl, S.B. (eds.): Ada 95, Quality and Style. LNCS, vol.\u00a01344. Springer, Heidelberg (1997) ISBN 3-540-63823-7"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Ada 95 Rationale","year":"1997","unstructured":"Barnes, J. (ed.): Ada 95 Rationale. LNCS, vol.\u00a01247. Springer, Heidelberg (1997) ISBN 3-540-63143-7"},{"key":"13_CR8","unstructured":"Blake, S.: Message sent to the ASIS WG technical forum"},{"issue":"1","key":"13_CR9","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/249984.249991","volume":"XVII","author":"C. Colket","year":"1997","unstructured":"Colket, C., et al.: Architecture of ASIS: A Tool to Support Code Analysis of Complex Systems. ACM Ada Letters\u00a0XVII(1), 35\u201340 (1997)","journal-title":"ACM Ada Letters"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Colket, C.: Code Analysis of Safety-Critical and Real-Time Software Using ASIS. In: Proceedings of the ACM SIGAda Annual International Conference (SIGAda 1999), Redondo Beach, CA, USA, October 17-21, pp. 67\u201376 (1999)","DOI":"10.1145\/319294.319306"},{"issue":"6","key":"13_CR11","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1145\/264934.264942","volume":"XVII","author":"C. Daniel Cooper","year":"1997","unstructured":"Daniel Cooper, C.: ASIS-Based Code Analysis Automation. ACM Ada Letters\u00a0XVII(6), 65\u201369 (1997)","journal-title":"ACM Ada Letters"},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1145\/269629.269651","volume-title":"Proceedings of TRI-Ada 1997","author":"V. Fofanov","year":"1997","unstructured":"Fofanov, V., Rybin, S., Strohmeier, A.: ASIStint: An Interactive ASISInterpreter. In: Carlson, S. (ed.) Proceedings of TRI-Ada 1997, St. Louis, MO, USA, November 11-13, pp. 205\u2013209. ACM Press, New York (1997)"},{"key":"13_CR13","unstructured":"Kaufman, V.: The ASIS rule checking program of Vitali Kaufman is available from \n                    \n                      http:\/\/www.kolumbus.fi\/vitali.kaufman\/gch\n                    \n                    \n                   and as a link from \n                    \n                      http:\/\/www.acm.org\/sigada\/wg\/asiswg"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Pritchett IV, W., Riley, J.: An ASIS-Based Static Analysis Tool for High-Integrity Systems. In: Proceedings of the ACM SIGAda Annual International Conference (SIGAda 1998), Washington D.C., USA, November 8-12, pp. 12\u201317 (1998)","DOI":"10.1145\/289524.289527"},{"key":"13_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/BFb0015489","volume-title":"Ada in Europe","author":"S. Rybin","year":"1996","unstructured":"Rybin, S., Strohmeier, A., Zueff, E.: ASIS for GNAT: Goals, Problems and Implementation Strategy. In: Toussaint, M.-J. (ed.) Ada-Europe 1995. LNCS, vol.\u00a01031, pp. 139\u2013151. Springer, Heidelberg (1996)"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/BFb0013497","volume-title":"Reliable Software Technologies - Ada Europe 96","author":"S. Rybin","year":"1996","unstructured":"Rybin, S., Strohmeier, A., Kuchumov, A., Fofanov, V.: ASIS for GNAT: From the Prototype to the Full Implementation. In: Strohmeier, A. (ed.) Ada-Europe 1996. LNCS, vol.\u00a01088, pp. 298\u2013311. Springer, Heidelberg (1996)"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Rybin, S., Strohmeier, A.: Ada and ASIS: Justification of Differences in Terminology and Mechanisms. In: Proceedings of TRI-Ada 1996, Philadelphia, USA, December 3 - 7, pp. 249\u2013254 (1996)","DOI":"10.1145\/240678.240725"},{"key":"13_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/BFb0055003","volume-title":"Reliable Software Technologies - Ada-Europe \u201998","author":"A. Strohmeier","year":"1998","unstructured":"Strohmeier, A., Fofanov, V., Rybin, S., Barbey, S.: Quality-for-ASIS: A Portable Testing Facility for ASIS. In: Asplund, L. (ed.) Ada-Europe 1998. LNCS, vol.\u00a01411, pp. 163\u2013175. Springer, Heidelberg (1998)"},{"key":"13_CR19","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/197694.197706","volume-title":"TRI-Ada 1994 Proceedings","author":"E. Schonberg","year":"1994","unstructured":"Schonberg, E., Banner, B.: The GNAT Project: A GNU-Ada 9X Compiler. In: TRI-Ada 1994 Proceedings, pp. 48\u201357. ACM Press, New York (1994)"},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","volume-title":"Ada 95 Reference Manual. Language and Standard Libraries","year":"1997","unstructured":"Tucker Taft, S., Duff, R.A. (eds.): Ada 95 Reference Manual. LNCS, vol.\u00a01246. Springer, Heidelberg (1997) ISBN 3-540-63144-5"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"Wisniewski, J.: Transitioning an ASIS Application. In: Proceedings of the ACM SIGAda Annual International Conference (SIGAda 1999), Redondo Beach, CA, USA, October 17-21, pp. 53\u201365 (1999)","DOI":"10.1145\/319294.319305"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies Ada-Europe 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722060_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T10:47:47Z","timestamp":1553338067000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722060_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676690","9783540450986"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/10722060_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}