{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:45:13Z","timestamp":1725633913448},"publisher-location":"London","reference-count":18,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781852331078"},{"type":"electronic","value":"9781447108511"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-1-4471-0851-1_7","type":"book-chapter","created":{"date-parts":[[2011,11,16]],"date-time":"2011-11-16T12:27:59Z","timestamp":1321446479000},"page":"109-128","source":"Crossref","is-referenced-by-count":0,"title":["Modular Formal Specification of Data and Behaviour"],"prefix":"10.1007","author":[{"given":"Jaco","family":"van de Pol","sequence":"first","affiliation":[]},{"given":"Jozef","family":"Hooman","sequence":"additional","affiliation":[]},{"given":"Edwin","family":"de Jong","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","first-page":"51","volume-title":"Now you may compose temporal logic specifications","author":"H Barringer","year":"1984","unstructured":"H. Barringer, R. Kuiper, and A. Pnueli. Now you may compose temporal logic specifications. In ACM Symposium on Theory of Computing (STOC \u201984), pages 51\u201363. ACM Press, 1984."},{"key":"7_CR2","volume-title":"Object Oriented Analysis and Design with Applications","author":"G Booch","year":"1991","unstructured":"G. Booch. Object Oriented Analysis and Design with Applications. The Benjamin Cummings Publishing Co. Inc., 1991."},{"key":"7_CR3","volume-title":"UML Distilled: Applying the Standard Modeling Object Language","author":"M Fowler","year":"1997","unstructured":"M. Fowler and K. Scott.UML Distilled: Applying the Standard Modeling Object Language. Object Technology Series. Addison-Wesley, 1997."},{"key":"7_CR4","first-page":"26","volume-title":"Algebra of Communicating Processes, Utrecht 1994","author":"JF Groote","year":"1994","unstructured":"J.F. Groote and A. Ponse. The syntax and semantics of \u03bcCRL. In A. Ponse, C. Verhoef, and S.F.M. van Vlijmen, editors, Algebra of Communicating Processes, Utrecht 1994, Workshops in Computing, pages 26\u201362. Springer, 1994."},{"key":"7_CR5","first-page":"396","volume-title":"STATEMATE; a working environment for the development of complex reactive systems","author":"D Harel","year":"1988","unstructured":"D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, and A. Shtul-Trauring. STATEMATE; a working environment for the development of complex reactive systems. In Proc. of the 10th Int. Conf. on Software Engineering, pages 396\u2013406, Singapore, 1988. IEEE Computer Society Press."},{"key":"7_CR6","volume-title":"Systematic Software Development using VDM","author":"CB Jones","year":"1990","unstructured":"C.B. Jones.Systematic Software Development using VDM. International Series in Computer Science. Prentice-Hall, Inc., 2nd edition, 1990.","edition":"2"},{"key":"7_CR7","first-page":"243","volume-title":"Temporal Logic in Specification, volume 398 ofLNCS","author":"S Khosla","year":"1987","unstructured":"S. Khosla and T.S.E. Maibaum. The prescription and description of state based systems. In B. Banieqbal, H. Barringer, and A. Pnueli, editors, Temporal Logic in Specification, volume 398 ofLNCS, pages 243\u2013294. Springer, 1987."},{"issue":"3","key":"7_CR8","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L Lamport","year":"1994","unstructured":"L. Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872\u2013923, 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR9","doi-asserted-by":"crossref","first-page":"29","DOI":"10.21236\/ADA196047","volume-title":"I\/O automata: A model for discrete event systems","author":"NA Lynch","year":"1988","unstructured":"N.A. Lynch. I\/O automata: A model for discrete event systems. In Proc. of 22nd Conf on Inf. Sciences and Systems, pages 29\u201338, Princeton, NJ, USA, 1988."},{"key":"7_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems - Specification","author":"Z Manna","year":"1992","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems - Specification. Springer, 1992."},{"issue":"1","key":"7_CR11","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/BF00268075","volume":"23","author":"ER Olderog","year":"1986","unstructured":"E.R. Olderog and C.A.R. Hoare. Specification-oriented semantics for communicating processes. Acta Informatica, 23(1):9\u201366, 1986.","journal-title":"Acta Informatica"},{"key":"7_CR12","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1007\/3-540-61474-5_91","volume-title":"Proc. of the 8th Int. Conf. on Computer Aided Verification","author":"S Owre","year":"1996","unstructured":"S. Owre, S. Rajan, J.M. Rushby, N. Shankar, and M.K. Srivas. PVS: Combining specification, proof checking, and model checking. In R. Alur and T.A. Henzinger, editors, Proc. of the 8th Int. Conf. on Computer Aided Verification, volume 1102 of LNCS, pages 411\u2013414. Springer, 1996."},{"key":"7_CR13","volume-title":"PVS Language Reference. Computer Science Laboratory","author":"S Owre","year":"1998","unstructured":"S. Owre, N. Shankar, J.M. Rushby, and D.W.J. Stringer-Calvert. PVS Language Reference. Computer Science Laboratory, SRI International, Menlo Park, CA, September 1998."},{"key":"7_CR14","first-page":"37","volume-title":"Formal requirements specification for command and control systems","author":"JC Pol van de","year":"1998","unstructured":"J.C. van de Pol, J.J.M. Hooman, and E. de Jong. Formal requirements specification for command and control systems. In Proc. of the Conf. on Engineering of Computer Based Systems, pages 37\u201344, Jerusalem, 1998. IEEE."},{"key":"7_CR15","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/978-1-4471-3552-4_6","volume-title":"Object Orientation in Z","author":"G Rose","year":"1992","unstructured":"G. Rose. Object-Z. In S. Stepney, R. Barden, and D. Cooper, editors, Object Orientation in Z, Workshops in Computing, pages 59\u201377. Springer, 1992."},{"key":"7_CR16","volume-title":"Formal methods and the certification of critical systems","author":"J Rushby","year":"1993","unstructured":"J. Rushby. Formal methods and the certification of critical systems. Technical Report SRI-CSL-93\u20137, SRI International, Menlo Park, CA, 1993."},{"key":"7_CR17","volume-title":"The Z Notation: A Reference Manual","author":"JM Spivey","year":"1992","unstructured":"J.M. Spivey.The Z Notation: A Reference Manual. Prentice Hall, 2nd edition, 1992.","edition":"2"},{"issue":"7","key":"7_CR18","doi-asserted-by":"crossref","first-page":"508","DOI":"10.1109\/32.538607","volume":"22","author":"P Zave","year":"1996","unstructured":"P. Zave and M. Jackson. Where do operations come from? A multiparadigm specification technique.IEEE Trans, on SE, 22(7):508\u2013528, 1996","journal-title":"IEEE Trans, on SE"}],"container-title":["IFM\u201999"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-0851-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,18]],"date-time":"2019-04-18T03:48:02Z","timestamp":1555559282000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-0851-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9781852331078","9781447108511"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-0851-1_7","relation":{},"subject":[],"published":{"date-parts":[[1999]]}}}