{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:40:21Z","timestamp":1725558021317},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540405030"},{"type":"electronic","value":"9783540450641"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45064-1_15","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T19:44:25Z","timestamp":1277235865000},"page":"326-351","source":"Crossref","is-referenced-by-count":5,"title":["Reuse of Formal Verification Efforts of Incomplete Models at the Requirements Specification Stage"],"prefix":"10.1007","author":[{"given":"Rebeca P.","family":"D\u00edaz-Redondo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 J.","family":"Pazos-Arias","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ana","family":"Fern\u00e1ndez-Vilas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_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"},{"key":"15_CR2","first-page":"95","volume-title":"Formal Description Tecniques IX. Theory, application and tools, International Federation for Information Processing (IFIP)","author":"M. Broy","year":"1996","unstructured":"Broy, M.: Formal description techniques - how formal and descriptive are they? In: Gotzhein, R., Bredereke, J. (eds.) Formal Description Tecniques IX. Theory, application and tools, International Federation for Information Processing (IFIP), pp. 95\u2013110. Chapman & Hill, Boca Raton (1996)"},{"issue":"8","key":"15_CR3","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":"15_CR4","doi-asserted-by":"crossref","unstructured":"Cheng, B.H.C., Jeng, J.J.: Reusing Analogous Components. IEEE Trans. on Knowledge and Data Engineering\u00a09(2) (March 1997)","DOI":"10.1109\/69.591458"},{"key":"15_CR5","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1109\/LICS.1989.39190","volume-title":"Proceedings of the Fourth Annual Symposium on Logic in computer science","author":"E. Clarke","year":"1989","unstructured":"Clarke, E., Long, D., McMillan, K.: Compositional model checking. In: Proceedings of the Fourth Annual Symposium on Logic in computer science, pp. 353\u2013362. IEEE Press, Los Alamitos (1989)"},{"key":"15_CR6","unstructured":"Redondo, R.P.D.: Reutilizaci\u00f3n de Requisitos Funcionales de Sistemas Distribuidos utilizando T\u00e9cnicas de Descripci\u00f3n Formal. PhD thesis, Departamento de Enxeer\u00eda Telem\u00e1tica - Universidade de Vigo (2002)"},{"key":"15_CR7","unstructured":"Redondo, R.P.D., Arias, J.J.P.: Reuse of Verification Efforts and Incomplete Specifications in a Formalized, Iterative and Incremental Software Process. In: Proceedings of International Conference on Software Engineering (ICSE) Doctoral Symposium, Toronto (May 2001)"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Redondo, R.P.D., Arias, J.J.P., Vilas, A.F., Mart\u00ednez, B.B.: Approximate Retrieval of Incomplete and Formal Specifications applied to Horizontal Reuse. In: Proc. of the 28th Euromicro Conf. Componentbased Software Engineering (September 2002)","DOI":"10.1109\/EURMIC.2002.1046139"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Redondo, R.P.D., Arias, J.J.P., Vilas, A.F., Mart\u00ednez, B.B.: Approximate Retrieval of Incomplete and Formal Specifications applied to Vertical Reuse. In: Proc. of International Conference on Software Maintenance (October 2002)","DOI":"10.1109\/ICSM.2002.1167826"},{"key":"15_CR10","series-title":"Electronic Notes in Theoretical 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 Theoretical Computer Science, vol.\u00a066, Elsevier Science, Amsterdam (2002)"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Holzmann, G.J.: Tracing Protocols. ATT Technical Journal 64(12), 2413\u20132434 (1985)","DOI":"10.1002\/j.1538-7305.1985.tb00010.x"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Holzmann, G.J.: An Improved Protocol Reachability Analysis Technique. Soft ware- Practice and Experience 18(2):137\u2013161 (1988)","DOI":"10.1002\/spe.4380180203"},{"key":"15_CR13","unstructured":"ISO. Information Processing Systems \u2013 Open Systems Interconnection \u2013 LOTOS \u2013 A Formal Description Technique Based on an Extended State Transition Model. ISO\/IEC\/8807, International Standards Organization (1989)"},{"key":"15_CR14","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":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/BFb0054182","volume-title":"Research and Development in Knowledge Discovery and Data Mining","author":"R. Kurshan","year":"1998","unstructured":"Kurshan, R., Levin, V., Minea, M., Peled, D., Yenign, H.: Static Partial Order Reduction. In: Wu, X., Kotagiri, R., Korb, K.B. (eds.) PAKDD 1998. LNCS, vol.\u00a01394, pp. 345\u2013357. Springer, Heidelberg (1998)"},{"key":"15_CR16","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 Journal\u00a02, 102\u2013113 (1997)","journal-title":"Requirements Engineering Journal"},{"key":"15_CR17","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":"15_CR18","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/PL00003939","volume":"13","author":"J.J. Pazos-Arias","year":"2001","unstructured":"Pazos-Arias, J.J., Garc\u00eda-Duque, J.: SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study. Formal Aspects of Computing\u00a013, 50\u201391 (2001)","journal-title":"Formal Aspects of Computing"},{"issue":"2","key":"15_CR19","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"},{"issue":"8","key":"15_CR20","first-page":"10","volume":"6","author":"R. Prieto-D\u00edaz","year":"1993","unstructured":"Prieto-D\u00edaz, R.: Software Reuse: Issues and Experiences. American Programer\u00a06(8), 10\u201318 (1993)","journal-title":"American Programer"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"Schumann, J., Fischer: NORA\/HAMMR: Making Deduction-Based Software Component Retrieval Practical. In: Proc. of the 12th International Conference Automated Software Engineering, November 1997, pp. 246\u2013254 (1997)","DOI":"10.1109\/ASE.1997.632845"},{"key":"15_CR22","unstructured":"van Glabeek, R.J.: The Linear Time - Branching Time Spectrum I: The Semantics of Concrete, Sequential Processes. In: Handbook of Process Algebra. Elsevier Science, Amsterdam (2001)"},{"issue":"4","key":"15_CR23","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","Component-Based Software Quality"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45064-1_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T01:25:48Z","timestamp":1552613148000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45064-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540405030","9783540450641"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45064-1_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}