{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T05:20:32Z","timestamp":1737609632248,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665885"},{"type":"electronic","value":"9783540481188"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48118-4_7","type":"book-chapter","created":{"date-parts":[[2007,11,14]],"date-time":"2007-11-14T01:30:57Z","timestamp":1195003857000},"page":"1068-1086","source":"Crossref","is-referenced-by-count":0,"title":["A brief summary of VSPEC"],"prefix":"10.1007","author":[{"given":"Perry","family":"Alexander","sequence":"first","affiliation":[]},{"given":"Murali","family":"Rangarajan","sequence":"additional","affiliation":[]},{"given":"Phillip","family":"Baraona","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,9,17]]},"reference":[{"key":"7_CR1","unstructured":"IEEE Standard VHDL Language Reference Manual. New York, NY, 1993."},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"P. Alexander, P. Baraona, and J. Penix. Using Declarative Specifications and Case-Based Planning for System Synthesis. Concurrent Engineering: Research and Applications, 2(4), 1994.","DOI":"10.1177\/1063293X9400200405"},{"key":"7_CR3","unstructured":"P. Alexander, P. Baraona, and J. Penix. Application of Software Synthesis Techniques to Composite Systems. In Computers in Engineering Symposisum of the ASME ETCE, Houston, TX, January 1995."},{"key":"7_CR4","series-title":"Current Issues in Electronic Modeling","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/978-1-4615-2303-1_3","volume-title":"High-Level System Modeling: Specification Languages","author":"P. Baraona","year":"1995","unstructured":"P. Baraona, J. Penix, and P. Alexander. VSPEC: A Declarative Requirements Specification Language for VHDL. In Jean-Michel Berge, Oz Levia, and Jacques Rouillard, editors, High-Level System Modeling: Specification Languages, volume 3 of Current Issues in Electronic Modeling, chapter 3, pages 51\u201375. Kluwer Academic Publishers, Boston, MA, 1995."},{"issue":"2","key":"7_CR5","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1155\/1999\/95465","volume":"9","author":"P. Baraona","year":"1999","unstructured":"Phillip Baraona and Perry Alexander. Abstract architecture representation using VSPEC. VLSI Design, 9(2):181\u2013201, 1999.","journal-title":"VLSI Design"},{"issue":"5","key":"7_CR6","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/MS.1985.231756","volume":"2","author":"J. Guttag","year":"1985","unstructured":"J. Guttag, J. Horning, and J. Wing. The Larch Family of Specification Languages. IEEE Software, 2(5):24\u201336, 1985.","journal-title":"IEEE Software"},{"key":"7_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-2704-5","volume-title":"Larch: Languages and Tools for Formal Specification","author":"J. V. Guttag","year":"1993","unstructured":"John V. Guttag and James J. Horning. Larch: Languages and Tools for Formal Specification. Springer-Verlag, New York, NY, 1993."},{"key":"7_CR8","series-title":"PhD thesis","volume-title":"a Larch\/C Interface Specification Language","author":"P. Chalin","year":"1995","unstructured":"Patrice Chalin. On the Language Design and Semantic Foundation of LCL, a Larch\/C Interface Specification Language. PhD thesis, Concordia University, Department of Computer Science, Montreal, Quebec, Canada, December 1995."},{"key":"7_CR9","series-title":"Technical Report","volume-title":"A Larch\/C Interface Language","author":"J. V. Guttag","year":"1991","unstructured":"John V. Guttag and James J. Horning. Introduction to LCL, A Larch\/C Interface Language. Technical Report 74, Digital Equipment Corporation Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, July 1991."},{"key":"7_CR10","unstructured":"Gary T. Leavens. Larch\/C++ Reference Manual. Available at: ftp:\/\/ftp.cs.iastate.edu\/pub\/larchc++\/lcpp.ps.gz , 1995."},{"issue":"9","key":"7_CR11","doi-asserted-by":"publisher","first-page":"1058","DOI":"10.1109\/32.58790","volume":"16","author":"D. Guaspari","year":"1990","unstructured":"David Guaspari, Carla Marceau, and Wolfgang Polak. Formal Verification of Ada Programs. IEEE Transactions on Software Engineering, 16(9):1058\u20131075, September 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR12","volume-title":"Communicating Sequential Processes","author":"C. A. R. Hoare","year":"1985","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, 1985."},{"key":"7_CR13","unstructured":"Knowledge Based Software Engineering Laboratory, University of Cincinnati. VSPEC Language Reference Manual, 1996."},{"key":"7_CR14","unstructured":"R.D. Tennent. Principles of Programming Languages. Computer Science Series. Prentice-Hall International, 1981."},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"P. A. Wilsey, D. E. Martin, and K. Subramani. Savant\/tyvis\/warped: Components for the analysis and simulation of vhdl. In VHDL Users\u2019 Group Spring 1998 Conference, pages 195\u2013201, 1998.","DOI":"10.1109\/IVC.1998.660701"},{"issue":"9","key":"7_CR16","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1109\/32.58786","volume":"16","author":"A. J. Camilleri","year":"1990","unstructured":"Albert John Camilleri. Mechanizing CSP trace theory in higher order logic. IEEE Transactions on Software Engineering, 16(9):993\u20131004, September 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR17","unstructured":"M. J. C. Gordon. HOL: A proof generating system for higher-order logic. In G. Birtwistle and P. A. Subrahmanyam, editors, Current Trends in Hardware Verification and Automated Theorem Proving, pages 73\u2013128. Springer-Verlag, 1989."},{"key":"7_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"Robin Milner. A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1980."},{"issue":"4","key":"7_CR19","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/2.488300","volume":"29","author":"R. Vemuri","year":"1996","unstructured":"Ranga Vemuri, Ram Mandayam, and Vijay Meduri. Performance modeling using PDL. Computer, 29(4):44\u201353, April 1996.","journal-title":"Computer"},{"key":"7_CR20","series-title":"Technical Report RL-TR-94-3","volume-title":"Formal Verification of VHDL Models","author":"D. Jamsek","year":"1994","unstructured":"D. Jamsek and M. Bickford. Formal Verification of VHDL Models. Technical Report RL-TR-94-3, Rome Laboratory, Griffiss Air Force Base, NY, March 1994."},{"key":"7_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-4042-7","volume-title":"Hardware Design and Simulation in VAL\/VHDL","author":"L. Augustin","year":"1991","unstructured":"L. Augustin, D. Luckham, B. Gennart, Y. Huh, and A. Stanculescu. Hardware Design and Simulation in VAL\/VHDL. Kluwer Academic Publishers, Boston, MA, 1991."},{"key":"7_CR22","first-page":"1","volume-title":"Advances in Software Eng. and Knowledge Eng.","author":"D. Garlan","year":"1993","unstructured":"D. Garlan and M. Shaw. An Introduction to Software Architecture. In V. Ambriola and G. Tortora, editors, Advances in Software Eng. and Knowledge Eng., volume 2, pages 1\u201339. World Scientific, New York, 1993."},{"issue":"4","key":"7_CR23","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1109\/32.385970","volume":"21","author":"M. Shaw","year":"1995","unstructured":"M. Shaw, R. DeLine, D. Klein, T. Ross, D. 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":"7_CR24","doi-asserted-by":"crossref","unstructured":"R. Allen and D. Garlan. Formalizing Architectural Connection. In Proc. Sixteenth International Conference on Software Engineering, pages 71\u201380, May 1994.","DOI":"10.1109\/ICSE.1994.296767"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"R. Allen and D. Garlan. A Case Study in Architectural Modelling: The AEGIS System. In Proceedings of the 8th International Workshop on Software Specification and Design, March 1996.","DOI":"10.1109\/IWSSD.1996.501142"},{"issue":"4","key":"7_CR26","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.385971","volume":"21","author":"D. Luckham","year":"1995","unstructured":"D. Luckham, J. Kenney, L. Augustin, J. Vera, D. Bryan, and W. Mann. Specification and Analysis of System Architecture Using Rapide. IEEE Transactions on Software Engineering, 21(4):315\u2013355, April 1995.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"9","key":"7_CR27","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1109\/32.464548","volume":"21","author":"D. Luckham","year":"1995","unstructured":"D. Luckham and J. Vera. An Event-Based Architecture Definition Language. IEEE Transactions on Software Engineering, 21(9):717\u2013734, September 1995.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR28","volume-title":"A Tutorial Introduction to PVS","author":"J. Crow","year":"1995","unstructured":"Judy Crow, John Rushby, Natarajan Shankar, and Mandayan Srivas. A Tutorial Introduction to PVS. SRI International, Menlo Park, CA, June 1995. Presented at WIFT$#x2019;95."}],"container-title":["Lecture Notes in Computer Science","FM\u201999 \u2014 Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48118-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T09:09:12Z","timestamp":1737536952000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48118-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665885","9783540481188"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-48118-4_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}