{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:24Z","timestamp":1725663744482},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540536697"},{"type":"electronic","value":"9783540469537"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-53669-8_83","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:11:41Z","timestamp":1330207901000},"page":"193-207","source":"Crossref","is-referenced-by-count":1,"title":["SYS\/3 \u2014 A software development tool"],"prefix":"10.1007","author":[{"given":"J.","family":"Toczki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Kocsis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Gyim\u00f3thy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"D\u00e1nyi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"K\u00f3kai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"14_CR1","volume-title":"General Electric Company","author":"Software Engineering","year":"1986","unstructured":"Software Engineering. General Electric Company, Corporate Information Systems, Bridgeport, Connecticut, USA, 1986."},{"key":"14_CR2","volume-title":"A Standard for Testing Application Software","author":"W. E. Perry","year":"1988","unstructured":"William E. Perry: A Standard for Testing Application Software. Auerbach Publishers, New York, 1988."},{"issue":"6","key":"14_CR3","doi-asserted-by":"crossref","first-page":"676","DOI":"10.1145\/62959.62964","volume":"31","author":"Ostrand","year":"1988","unstructured":"Ostrand, Thomas J. and Balcer, Marc J.: The Category-Partition Method for Specifying and Generating Functional Tests. Communications of ACM, Vol. 31 (1988), Num. 6, 676\u2013686.","journal-title":"Communications of ACM"},{"key":"14_CR4","unstructured":"PROF-LP User's Manual, Research Group on the Theory of Automata, Szeged, 1986."},{"key":"14_CR5","unstructured":"T-GEN Reference Manual, Research Group on the Theory of Automata, Szeged, 1990."},{"key":"14_CR6","unstructured":"System Engineering Development. Preliminary Standard Operating Procedure and Guidelines by Z-MOD Ltd., Philadelphia, U.S.A. 1988."},{"issue":"5","key":"14_CR7","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1093\/comjnl\/32.5.386","volume":"32","author":"I. Sommerwille","year":"1989","unstructured":"I. Sommerwille and R. Thomson: An Approach to Software Evaluation, The Computer Journal, Vol. 32. No. 5, 1989, pp. 386\u2013398.","journal-title":"The Computer Journal"},{"key":"14_CR8","unstructured":"Toczki, J., Gyim\u00f3thy, T., Kocsis, F.: SYS-DL A System Development Language for Supporting Software Quality Assurance. Proceedings of the First Finnish-Hungarian Workshop on Programming Languages and Software Tools. Szeged, 1989."},{"key":"14_CR9","unstructured":"SYS\/3 System Documentation (Beginner's Guide, User's Guide, Reference Guide, Tutorial), Research Group on the Theory of Automata, Szeged, 1989\u20131990."},{"key":"14_CR10","unstructured":"POLYTRON Version Control System. User's Manual, POLYTRON Corporation, Beaverton, Oregon, USA, 1987\u20131988."}],"container-title":["Lecture Notes in Computer Science","Compiler Compilers"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53669-8_83.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:15:20Z","timestamp":1619572520000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53669-8_83"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540536697","9783540469537"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-53669-8_83","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}