{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:52Z","timestamp":1725490252357},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540740339"},{"type":"electronic","value":"9783540740353"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-74035-3_5","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T11:46:17Z","timestamp":1188301577000},"page":"89-114","source":"Crossref","is-referenced-by-count":3,"title":["A Component-Based Approach to Verification and Validation of Formal Software Models"],"prefix":"10.1007","author":[{"given":"Dejan","family":"Desovski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bojan","family":"Cukic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"5_CR1","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1145\/203095.201069","volume":"17","author":"M. Abadi","year":"1995","unstructured":"Abadi, M., Lamport, L.: Conjoining Specifications. ACM Transactions on Programming Languages and Systems\u00a017(3), 507\u2013534 (1995)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1023\/A:1008767206905","volume":"18","author":"R. Alur","year":"2001","unstructured":"Alur, R., Brayton, R.K., Henzinger, T.A., Qadeer, S., Rajamani, S.K.: Partial-Order Reduction in Symbolic State-Space Exploration. Formal Methods in System Design\u00a018, 97\u2013116 (2001)","journal-title":"Formal Methods in System Design"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1023\/A:1008697817793","volume":"6","author":"R. Bharadwaj","year":"1999","unstructured":"Bharadwaj, R., Heitmeyer, C.L.: Model Checking Complete Requirements Specifications Using Abstraction. Automated Software Engineering\u00a06, 37\u201368 (1999)","journal-title":"Automated Software Engineering"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Bharadwaj, R., Sims, S.: Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking. In: Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (2000)","DOI":"10.1007\/3-540-46419-0_26"},{"key":"5_CR5","unstructured":"Chekuri, C., Goldberg, A., Karger, D., Levine, M., Stein, C.: Experimental study of minimum cut algorithms. In: SODA 1997. Proceedings of the 8th Annual ACM-SIAM Symposium on Discrete Algorithms, New Orleans, pp. 324\u2013333 (1997)"},{"issue":"5","key":"5_CR6","doi-asserted-by":"publisher","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"16","author":"E.M. Clarke","year":"1994","unstructured":"Clarke, E.M., Grumberg, O., Long, D.E.: Model Checking and Abstraction. ACM Transactions on Programming Languages and Systems\u00a016(5), 1512\u20131542 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Courtois, P.J., Parnas, D.L.: Documentation for Safety Critical Software. In: Proceedings of 15th International Conference on Software Engineering, Baltimore, MD (May 17- 21, 1993)","DOI":"10.1109\/ICSE.1993.346033"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Cukic, B., Ammar, H.H., Lateef, K.: Identifying High-Risk Scenarios of Complex Systems Using Input Domain Partitioning. In: ISSRE 1998. Proceedings of the 9th International Symposium on Software Reliability Engineering, November 4-7, 1998 Paderborn, Germany, pp. 164\u2013173 (1998)","DOI":"10.1109\/ISSRE.1998.730875"},{"key":"5_CR9","first-page":"95","volume":"5","author":"C. Heitmeyer","year":"2005","unstructured":"Heitmeyer, C., Archer, M., Bharadwaj, R., Jeffords, R.: Tools for constructing requirements specifications: The SCR toolset at the age of ten. International Journal of Computer Systems Science and Engineering\u00a05, 95\u2013114 (2005)","journal-title":"International Journal of Computer Systems Science and Engineering"},{"issue":"3","key":"5_CR10","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1145\/234426.234431","volume":"5","author":"C.L. Heitmeyer","year":"1996","unstructured":"Heitmeyer, C.L., Jeffords, R.D., Labaw, B.G.: Automated consistency checking of requirements specifications. ACM Transactions on Software Engineering and Methodology\u00a05(3), 231\u2013261 (1996)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"11","key":"5_CR11","doi-asserted-by":"publisher","first-page":"927","DOI":"10.1109\/32.730543","volume":"24","author":"C. Heitmeyer","year":"1998","unstructured":"Heitmeyer, C., Kirby Jr., J., Labaw, B., Archer, M., Bharadwaj, R.: Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications. IEEE Transactions on Software Engineering\u00a024(11), 927\u2013948 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0028775","volume-title":"Computer Aided Verification","author":"C. Heitmeyer","year":"1998","unstructured":"Heitmeyer, C., Kirby, J., Labaw, B., Bharadwaj, R.: SCR*: A Toolset for Specifying and Analyzing Requirements. In: Vardi, M.Y. (ed.) CAV 1998. LNCS, vol.\u00a01427, Springer, Heidelberg (1998)"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1007\/BFb0028765","volume-title":"Computer Aided Verification","author":"T.A. Henzinger","year":"1998","unstructured":"Henzinger, T.A., Qadeer, S., Rajamani, S.K.: You Assume, We Guarantee: Methodology and Case Studies. In: Vardi, M.Y. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 440\u2013451. Springer, Heidelberg (1998)"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","first-page":"3","volume-title":"Fast Software Encryption","author":"R. Jeffords","year":"1998","unstructured":"Jeffords, R., Heitmeyer, C.: Automatic Generation of State Invariants from Requirements Specifications. In: Vaudenay, S. (ed.) FSE 1998. LNCS, vol.\u00a01372, pp. 3\u20135. Springer, Heidelberg (1998)"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Jeffords, R.D., Heitmeyer, C.L.: A Strategy for Efficiently Verifying Requirements Specifications Using Composition and Invariants. In: ESEC\/FSE 2003. Proceedings of 9th European Software Engineering Conference held jointly with 11th International Symposium on Foundations of Software Engineering, Helsinki, Finland (September 1-5, 2003)","DOI":"10.21236\/ADA464275"},{"key":"5_CR16","unstructured":"Parnas, D.L., Clements, P.C., Weiss, D.M.: Modular Structure of Complex Systems. In: Proceedings of the 7th International Conference on Software Engineering, pp. 408\u2013417 (1984)"},{"issue":"4","key":"5_CR17","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"SE-10","author":"M. Weiser","year":"1984","unstructured":"Weiser, M.: Program Slicing. IEEE Transactions on Software Engineering\u00a0SE-10(4), 352\u2013357 (1984)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR18","unstructured":"Requirements Specification for Personnel Access Control System: ational Security Agency (2003)"}],"container-title":["Lecture Notes in Computer Science","Architecting Dependable Systems IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74035-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T13:13:51Z","timestamp":1556802831000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74035-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540740339","9783540740353"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74035-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}