{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:29:00Z","timestamp":1725568140936},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540208136"},{"type":"electronic","value":"9783540398660"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-39866-0_37","type":"book-chapter","created":{"date-parts":[[2010,10,25]],"date-time":"2010-10-25T16:30:09Z","timestamp":1288024209000},"page":"366-380","source":"Crossref","is-referenced-by-count":0,"title":["Improving the Consistency Checking Process by Reusing Formal Verification Knowledge"],"prefix":"10.1007","author":[{"given":"Rebeca P. D\u00edaz","family":"Redondo","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 J. Pazos","family":"Arias","sequence":"additional","affiliation":[]},{"given":"Ana Fern\u00e1ndez","family":"Vilas","sequence":"additional","affiliation":[]},{"given":"Jorge Garc\u00eda","family":"Duque","sequence":"additional","affiliation":[]},{"given":"Alberto Gil","family":"Solla","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"37_CR1","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/BF01782772","volume":"2","author":"B. Alpern","year":"1987","unstructured":"Alpern, B., Schneider, F.B.: Recognizing Safety and Liveness. Distributed Computing Journal\u00a02, 117\u2013126 (1987)","journal-title":"Distributed Computing Journal"},{"issue":"8","key":"37_CR2","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R. Bryant","year":"1986","unstructured":"Bryant, R.: Graph-based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers\u00a035(8), 677\u2013691 (1986)","journal-title":"IEEE Transactions on Computers"},{"key":"37_CR3","series-title":"Electronic Notes in Theorethical Computer Science","volume-title":"Proc. of Workshop on Formal Methods and Component Interaction","author":"R.P.D. Redondo","year":"2002","unstructured":"Redondo, R.P.D., Arias, J.J.P., Vilas, A.F., Mart\u00ednez, B.B.: ARIFS: an Environment for Incomplete and Formal Specifications Reuse. In: Proc. of Workshop on Formal Methods and Component Interaction. Electronic Notes in Theorethical Computer Science, vol.\u00a066. Elsevier Science, Amsterdam (July 2002)"},{"key":"37_CR4","series-title":"Lecture Notes in Computer Science (LNCS), ch. Reuse of Formal Verification Efforts of Incomplete Models at the Requirements Specification Stage","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-540-45064-1_15","volume-title":"Component-Based Software Quality: Methods and Techniques","author":"R.P.D. Redondo","year":"2003","unstructured":"Redondo, R.P.D., Arias, J.J.P., Vilas, A.F.: Component-Based Software Quality: Methods and Techniques. Lecture Notes in Computer Science (LNCS), ch. Reuse of Formal Verification Efforts of Incomplete Models at the Requirements Specification Stage, vol.\u00a02693, pp. 326\u2013352. Springer, Heidelberg (2003)"},{"key":"37_CR5","doi-asserted-by":"crossref","unstructured":"Keidar, I., Khazan, R., Lynch, N., Shvartsman, A.: An Inheritance-Based Technique for Building Simulation Proofs Incrementally. In: 22nd International Conference on Software Engineering (ICSE), Limerik, Ireland, June 2000, pp. 478\u2013487 (2000)","DOI":"10.1145\/337180.337358"},{"key":"37_CR6","doi-asserted-by":"crossref","unstructured":"Kurshan, R., Levin, V., Minea, M., Peled, D., Yenig\u00fcn, H.: Static Partial Order Reduction. In: Tools for the Construction and Analysis of Systems. LNCS, vol.\u00a01394, pp. 345\u2013357 (1998)","DOI":"10.1007\/BFb0054182"},{"key":"37_CR7","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/BF02813029","volume":"2","author":"W. Lam","year":"1997","unstructured":"Lam, W., McDermid, J.A., Vickers, A.J.: Ten Steps Towards Systematic Requirements Reuse. Requirements Engineering\u00a02, 102\u2013113 (1997)","journal-title":"Requirements Engineering"},{"key":"37_CR8","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BF01384314","volume":"6","author":"K.L. McMillan","year":"1995","unstructured":"McMillan, K.L.: A Technique of State Space Search based on Unfolding. Formal Methods in System Design\u00a06, 45\u201365 (1995)","journal-title":"Formal Methods in System Design"},{"key":"37_CR9","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/PL00003939","volume":"13","author":"J.J.P. Arias","year":"2001","unstructured":"Arias, J.J.P., Duque, J.G.: SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study. Formal Aspects of Computing\u00a013, 50\u201391 (2001)","journal-title":"A Case Study. Formal Aspects of Computing"},{"issue":"2","key":"37_CR10","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1023\/A:1008766530096","volume":"6","author":"J. Penix","year":"1999","unstructured":"Penix, J., Alexander, P.: Efficient Specification-Based Component Retrieval. Automated Software Engineering: An International Journal\u00a06(2), 139\u2013170 (1999)","journal-title":"Automated Software Engineering: An International Journal"},{"key":"37_CR11","doi-asserted-by":"crossref","unstructured":"Schumann, J., Fischer, B.: NORA\/HAMMR: Making Deduction-Based Software Component Retrieval Practical. In: Proc. of the 12th ASE, pp. 246\u2013254 (1997)","DOI":"10.1109\/ASE.1997.632845"},{"key":"37_CR12","series-title":"chapter The Linear Time - Branching Time Spectrum I: The Semantics of Concrete, Sequential Processes","volume-title":"Handbook of Process Algebra","author":"R.J. Glabeek van","year":"2001","unstructured":"van Glabeek, R.J.: Handbook of Process Algebra. chapter The Linear Time - Branching Time Spectrum I: The Semantics of Concrete, Sequential Processes. Elsevier Science, Amsterdam (2001)"},{"issue":"4","key":"37_CR13","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1145\/261640.261641","volume":"6","author":"A.M. Zaremski","year":"1997","unstructured":"Zaremski, A.M., Wing, J.M.: Specification Matching of Software Components. ACM Transactions on Software Engineering and Methodology\u00a06(4), 333\u2013369 (1997)","journal-title":"ACM Transactions on Software Engineering and Methodology"}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39866-0_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T21:47:14Z","timestamp":1553204834000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39866-0_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540208136","9783540398660"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39866-0_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}