{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:48:08Z","timestamp":1725551288747},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635314"},{"type":"electronic","value":"9783540695929"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63531-9_8","type":"book-chapter","created":{"date-parts":[[2010,4,5]],"date-time":"2010-04-05T20:01:15Z","timestamp":1270497675000},"page":"77-93","source":"Crossref","is-referenced-by-count":8,"title":["Applying static analysis to software architectures"],"prefix":"10.1007","author":[{"given":"Gleb","family":"Naumovich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George S.","family":"Avrunin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lori A.","family":"Clarke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leon J.","family":"Osterweil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,8,1]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"R. Allen and D. Garlan. Formalizing architectural connection.In Proceedings of the 14th International Conference on Software Engineering, pages 71\u201380, May 1994.","DOI":"10.1109\/ICSE.1994.296767"},{"key":"8_CR2","unstructured":"R. Allen and D. Garlan. The Wright architectural specification language. Technical Report CMU-CS-96-TBD, Carnegie Mellon University, School of Computer Science, 1996."},{"key":"8_CR3","unstructured":"B. W. Boehm. Software and Its Impact: A Qualitative Assessment. Datamation, pages 4859, May 1973."},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"J. Burch, E. Clarke, K. McMillan, D. Dill, and L. Hwang. Symbolic model checking: 1020 states and beyond. In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, pages 428\u2013439, 1990.","DOI":"10.1109\/LICS.1990.113767"},{"key":"8_CR5","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BF01384316","volume":"6","author":"J. C. Corbett","year":"1995","unstructured":"J. C. Corbett and G. S. Avrunin. Using integer programming to verify general safety and liveness properties. Formal Methods in System Design, 6:97\u2013123, January 1995.","journal-title":"Formal Methods in System Design"},{"key":"8_CR6","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1145\/193173.195295","volume":"19","author":"M. Dwyer","year":"1994","unstructured":"M. Dwyer and L. Clarke. Data flow analysis for verifying properties of concurrent programs. In Proceedings of the Second ACM Sigsoft Symposium on Foundations of Software Engineering, volume 19, pages 62\u201375, December 1994.","journal-title":"Proceedings of the Second ACM Sigsoft Symposium on Foundations of Software Engineering"},{"key":"8_CR7","unstructured":"Formal Systems (Europe) Ltd., Oxford, England. Failures Divergence Refinement: User Manual and Tutorial. 1.20\u03b2, 1992."},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"P. Godefroid and P. Wolper. Using partial orders for the efficient verification of deadlock freedom and safety properties. In Proceedings of the Third Workshop on Computer Aided Verification, pages 417\u2013428, July 1991.","DOI":"10.1007\/3-540-55179-4_32"},{"issue":"2","key":"8_CR9","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1109\/MS.1985.230351","volume":"2","author":"D. Helmbold","year":"1985","unstructured":"D. Helmbold and D. Luckham. Debugging Ada tasking programs. IEEE Software, 2(2):47\u201357, March 1985.","journal-title":"IEEE Software"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"8_CR11","unstructured":"G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall Software Series, 1991."},{"key":"8_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-2796-1","volume-title":"A Practitioner's Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems","author":"M. H. Klein","year":"1993","unstructured":"M. H. Klein, T. Ralya, B. Pollak, R. Obenza, and M. Harobur. A Practitioner's Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems. New York: Kluwer-Academic, 1993."},{"issue":"4","key":"8_CR13","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1109\/32.385971","volume":"21","author":"D. C. Luckham","year":"1995","unstructured":"D. C. Luckham, L. M. Augustin, J. J. Kenney, J. Veera, D. Bryan, and W. Mann. Specification analysis of system architecture using Rapide. IEEE Transactions on Software Engineering, 21(4):336\u2013355, April 1995.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR14","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/3-540-60406-5_12","volume-title":"Software Engineering \u2014 ESEC '95","author":"Jeff Magee","year":"1995","unstructured":"J. Magee, N. Dulay, S. Eisenbach, and J. Kramer. Specifying distributed software architectures. In Proceedings of 5th European Software Engineering Conference, pages 137\u2013153, September 1995."},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"J. Magee and J. Kramer. Dynamic structure in software architectures. In Proceedings of the 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 3\u201313, October 1996.","DOI":"10.1145\/239098.239104"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"S. Masticola and B. Ryder. A model of Ada programs for static deadlock detection in polynomial time. In Proceedings of the Workshop on Parallel and Distributed Debugging, pages 97\u2013107. ACM, May 1991.","DOI":"10.1145\/122759.122768"},{"key":"8_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"K. L. McMillan","year":"1993","unstructured":"K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, Boston, 1993."},{"issue":"4","key":"8_CR18","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1109\/32.385972","volume":"21","author":"M. Moriconi","year":"1995","unstructured":"M. Moriconi, X. Qian, and R. A. Riemenschneider. Correct architecture refinement. IEEE Transactions on Software Engineering, 21(4):356\u2013372, April 1995.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR19","first-page":"77","volume-title":"Lecture Notes in Computer Science","author":"Gleb Naumovich","year":"1997","unstructured":"G. Naumovich, G. S. Avrunin, L. A. Clarke, and L. J. Osterweil. Applying static analysis to software architectures. Technical Report UM-CS-1997-008, University of Massachusetts\/Amherst, 1997. (http:\/\/laser.cs.umass.edu\/abstracts\/architecture.html)."},{"issue":"4","key":"8_CR20","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1109\/32.385970","volume":"21","author":"M. Shaw","year":"1995","unstructured":"M. Shaw, R. DeLine, D. V. Klein, T. L. Ross, D. M. Young, and G. Zelesnik. Abstractions for software architecture and tools to support them. IEEE Transactions on Software Engineering, 21(4):314\u2013335, April 1995.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"A. Valmari. A stubborn attack on state explosion. In E. M. Clarke and R. Kurshan, editors, Computer-Aided Verification 90, pages 25\u201341. American Mathematical Society, Providence RI, 1991. Number 3 in DIMACS Series in Discrete Mathematics and Theoretical Computer Science.","DOI":"10.1090\/dimacs\/003\/04"}],"container-title":["Lecture Notes in Computer Science","Software Engineering \u2014 ESEC\/FSE'97"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63531-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,31]],"date-time":"2023-05-31T18:25:35Z","timestamp":1685557535000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63531-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635314","9783540695929"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-63531-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}