{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:54:05Z","timestamp":1725494045288},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664994"},{"type":"electronic","value":"9783540482345"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48234-2_8","type":"book-chapter","created":{"date-parts":[[2007,10,29]],"date-time":"2007-10-29T23:58:10Z","timestamp":1193702290000},"page":"108-119","source":"Crossref","is-referenced-by-count":2,"title":["Xspin\/Project - Integrated Validation Management for Xspin"],"prefix":"10.1007","author":[{"given":"Theo C.","family":"Ruys","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,8,27]]},"reference":[{"key":"8_CR1","volume-title":"Software Configuration Management: Coordination for team productivity","author":"W. A. Babich","year":"1986","unstructured":"Wayne A. Babich. Software Configuration Management: Coordination for team productivity. Addison-Wesley, Reading, MA, 1986."},{"key":"8_CR2","unstructured":"Brian Berliner. CVS II: Parallelizing Software Development. In Proceedings of the Winter1990 USENIX Conference, January 22-26, 1990, Washington DC, USA, pages 341\u2013352, Berkeley, CA, USA, January 1990. USENIX."},{"issue":"2","key":"8_CR3","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1145\/280277.280280","volume":"30","author":"R. Conradi","year":"1998","unstructured":"Reidar Conradi and Bernhard Westfechtel. Version Models for Software Configuration Management. ACM Computing Surveys, 30(2):232\u2013282, June 1998.","journal-title":"ACM Computing Surveys"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science (LNCS)","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1007\/BFb0035403","volume-title":"Proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201997)","author":"P. R. D\u2019Argenio","year":"1997","unstructured":"Pedro R. D\u2019Argenio, Joost-Pieter Katoen, Theo C. Ruys, and G. Jan Tretmans. The Bounded Retransmission Protocol must be on time! In Ed Brinksma, editor, Proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201997), number 1217 in Lecture Notes in Computer Science (LNCS), pages 416\u2013431, University of Twente, Enschede, The Netherlands, April 1997. Springer Verlag, Berlin."},{"key":"8_CR5","first-page":"1","volume-title":"Proceedings of the Third International Workshop on Software Configuration Management (SCM\u201991)","author":"S. Dart","year":"1997","unstructured":"Susan Dart. Concepts in Configuration Management Systems. In P.H. Feiler, editor, Proceedings of the Third International Workshop on Software Configuration Management (SCM\u201991), pages 1\u201318, Trondheim, Norway, June 1997. ACM SIGSOFT, ACM Press, New York."},{"issue":"3","key":"8_CR6","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1002\/spe.4380090402","volume":"9","author":"S. I. Feldman","year":"1979","unstructured":"Stuart I. Feldman. Make A Program for Maintaining Computer Programs. Software Practice and Experience, 9(3):255\u2013265, March 1979.","journal-title":"Software Practice and Experience"},{"key":"8_CR7","volume-title":"Design and Validation of Computer Protocols","author":"G. J. Holzmann","year":"1991","unstructured":"Gerard J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, Englewood Cliffs, New Jersey, 1991. Xspin\/Project-Integrated Validation Management for Xspin 119"},{"key":"8_CR8","unstructured":"Gerard J. Holzmann. The Theory and Practice of a Formal Method: NewCore. In Proceedings of the IFIP World Congress, Hamburg, Germany, August 1994. Also available from URL: \n                      http:\/\/cm.bell-labs.com\/cm\/cs\/doc\/94\/index.html\n                      \n                    ."},{"issue":"5","key":"8_CR9","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G. J. Holzmann","year":"1997","unstructured":"Gerard J. Holzmann. The Model Checker SPIN. IEEE Transactions on Software Engineering, 23(5):279\u2013295, May 1997. See also URL: \n                      http:\/\/netlib.bell-labs.com\/netlib\/spin\/whatispin.html\n                      \n                    .","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR10","volume-title":"IEEE Standard","author":"IEEE.","year":"1983","unstructured":"IEEE. IEEE Standard Glossary of Software Engineering Terminology: IEEE Standard 729-1983. IEEE, New York, 1983."},{"key":"8_CR11","first-page":"1042","volume-title":"ANSI\/IEEE Std","author":"IEEE.","year":"1987","unstructured":"IEEE. IEEE Guide to Software Configuration Management: ANSI\/IEEE Std1042\u20131987. IEEE, New York, 1987."},{"issue":"2","key":"8_CR12","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1093\/comjnl\/27.2.97","volume":"27","author":"D. E. Knuth","year":"1984","unstructured":"Donald E. Knuth. Literate Programming. The Computer Journal, 27(2):97\u2013111, May 1984.","journal-title":"The Computer Journal"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science (LNCS)","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/3-540-60578-9_3","volume-title":"ICSE SCM-4 and SCM-5 Workshops Selected Papers","author":"D. B. Leblang","year":"1995","unstructured":"David B. Leblang and Paul H. Levine. Software Configuration Management: Why is it needed and what should it do? In Jacky Estublier, editor, ICSE SCM-4 and SCM-5 Workshops Selected Papers, number 1005 in Lecture Notes in Computer Science (LNCS), pages 53\u201360. Springer Verlag, Berlin, 1995."},{"key":"8_CR14","unstructured":"Josh MacDonald. PRCS Project Revision Control System. Available from URL: \n                      http:\/\/www.xcf.berkeley.edu\/~jmacd\/prcs.html\n                      \n                    ."},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science (LNCS)","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BFb0053876","volume-title":"Proceedings of the ECOOP\u201998 SCM-8 Symposium on Software Configuration Management (SCM\u201998)","author":"J. MacDonald","year":"1998","unstructured":"Josh MacDonald, Paul N. Hilffinger, and Luigi Semenzato. PRCS: The Project Revision Control System. In B. Magnusson, editor, Proceedings of the ECOOP\u201998 SCM-8 Symposium on Software Configuration Management (SCM\u201998), number 1439 in Lecture Notes in Computer Science (LNCS), pages 33\u201345, Brussels, Belgium, July 1998. Springer Verlag, Berlin."},{"key":"8_CR16","volume-title":"Tcl and the Tk Toolkit","author":"J. K. Ousterhout","year":"1994","unstructured":"John K. Ousterhout. Tcl and the Tk Toolkit. Addison-Wesley Publishing Company, Reading, Massachusetts, 1994."},{"key":"8_CR17","volume-title":"Software Engineering A Practioner\u2019s Approach","author":"R. S. Pressman","year":"1992","unstructured":"Roger S. Pressman. Software Engineering A Practioner\u2019s Approach. McGraw-Hill, New York, third edition, 1992.","edition":"third edition"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science (LNCS)","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1007\/BFb0054185","volume-title":"Proceedings of the Fourth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201998)","author":"T. C. Ruys","year":"1998","unstructured":"Theo C. Ruys and Ed Brinksma. Experience with Literate Programming in the Modelling and Validation of Systems. In Bernhard Steffen, editor, Proceedings of the Fourth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201998), number 1384 in Lecture Notes in Computer Science (LNCS), pages393\u2013408, Lisbon, Portugal, April 1998. Springer Verlag, Berlin."},{"key":"8_CR19","volume-title":"Proceedings of SPIN97, the Third International Workshop on SPIN","author":"T. C. Ruys","year":"1997","unstructured":"Theo C. Ruys and Rom Langerak. Validation of Bosch\u2019 Mobile Communication Network Architecture with SPIN. In Proceedings of SPIN97, the Third International Workshop on SPIN,University of Twente, Enschede, The Netherlands, April 1997. Also available from URL:\n                      http:\/\/netlib.bell_abs.com\/netlib\/spin\/ws97\/ruys.ps.Z\n                      \n                    ."},{"issue":"7","key":"8_CR20","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1002\/spe.4380150703","volume":"15","author":"W. F. Tichy","year":"1985","unstructured":"Walter F. Tichy. RCS System for Version Control. Software Practice and Experience, 15(7):637\u2013654, July 1985.","journal-title":"Software Practice and Experience"},{"key":"8_CR21","unstructured":"Walter F. Tichy. Tools for Software Configuration Management. In J.F.H. Winkler, editor, Proceedings of the International Workshop on Software Version and\n                              \n                      http:\/\/www.cs.colorado.edu\/users\/andre\/configuration_management.html\n                      \n                    , 1999. Configuration Control, pages 1\u201320, Grassau, Germany, January 1988. TeubnerVerlag."},{"key":"8_CR22","unstructured":"Andr-e van der Hoek. Configuration Management Yellow Pages. Available from: \n                      http:\/\/www.cs.colorado.edu\/users\/andre\/configuration_management.html\n                      \n                    , 1999."}],"container-title":["Lecture Notes in Computer Science","Theoretical and Practical Aspects of SPIN Model Checking"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48234-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T14:57:03Z","timestamp":1551020223000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48234-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664994","9783540482345"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-48234-2_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}