{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,19]],"date-time":"2024-06-19T23:16:09Z","timestamp":1718838969425},"reference-count":12,"publisher":"Institution of Engineering and Technology (IET)","issue":"2-3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEE Proc., Softw."],"published-print":{"date-parts":[[1998]]},"DOI":"10.1049\/ip-sen:19986907","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T11:09:42Z","timestamp":1027681782000},"page":"61","source":"Crossref","is-referenced-by-count":3,"title":["Constraint-oriented style for object-oriented formal specification"],"prefix":"10.1049","volume":"145","author":[{"given":"T.","family":"Bolognesi","sequence":"first","affiliation":[]},{"given":"J.","family":"Derrick","sequence":"additional","affiliation":[]}],"member":"265","reference":[{"key":"10.1049\/ip-sen:19986907_r1","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1109\/MS.1987.230097","volume":"4","author":"Meyer","year":"1987","ISSN":"http:\/\/id.crossref.org\/issn\/0740-7459","issn-type":"print"},{"key":"10.1049\/ip-sen:19986907_r2","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1016\/0920-5489(95)00024-O","volume":"17","author":"Duke","year":"1995","ISSN":"http:\/\/id.crossref.org\/issn\/0920-5489","issn-type":"print"},{"key":"10.1049\/ip-sen:19986907_r3","unstructured":"Spivey, J.M.: \u2018The Z notation: A reference manual\u2019, (Prentice Hall 1989)"},{"key":"10.1049\/ip-sen:19986907_r4","first-page":"259","volume":"40","author":"Bolognesi","year":"1997"},{"key":"10.1049\/ip-sen:19986907_r5","doi-asserted-by":"crossref","unstructured":"Lano, K.C., and Goldsack, S.: \u2018Integrated formal and object-oriented methods: The VDM++ approach\u2019, Bryant, T., Semmens, L., Methods integration, Electronic Workshops in Computing(Springer-Verlag 1996)","DOI":"10.14236\/ewic\/MI1996.10"},{"key":"10.1049\/ip-sen:19986907_r6","doi-asserted-by":"crossref","unstructured":"Lano, K.C.: \u2018Z++, an object-orientated extension to Z\u2019, Nicholls, J.E., Z user workshop, Oxford 1990, Workshops in Computing(Springer-Verlag 1991), p. 151\u2013172","DOI":"10.1007\/978-1-4471-3540-1_11"},{"key":"10.1049\/ip-sen:19986907_r7","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"Bolognesi","year":"1987","ISSN":"http:\/\/id.crossref.org\/issn\/0169-7552","issn-type":"print"},{"key":"10.1049\/ip-sen:19986907_r8","unstructured":"Quemada, J., and Azcorra, A.: \u2018A constraint oriented specification of al's node\u2019, van Eijk, P.H.J., Vissers, C.A., Diaz, M., The formal description technique LOTOS, (North-Holland 1989), p. 83\u201388"},{"key":"10.1049\/ip-sen:19986907_r9","first-page":"189","author":"Vissers","year":"1988","journal-title":"Protocol specification, testing and verification, VIII"},{"key":"10.1049\/ip-sen:19986907_r10","unstructured":"Brinksma, E., \u2018Information processing systems - Open Systems Interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behaviour\u2019, ( 1989),IS 8807"},{"key":"10.1049\/ip-sen:19986907_r11","first-page":"62","author":"Smith","year":"1997","journal-title":"Formal methods Europe (FME'97)"},{"key":"10.1049\/ip-sen:19986907_r12","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1109\/ICFEM.1997.630436","author":"Smith","year":"1997","journal-title":"First IEEE international conference on"}],"container-title":["IEE Proceedings - Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/ip-sen_19986907?crawler=true&mimetype=application\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T03:16:32Z","timestamp":1609470992000},"score":1,"resource":{"primary":{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/ip-sen_19986907"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"references-count":12,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1998]]}},"URL":"https:\/\/doi.org\/10.1049\/ip-sen:19986907","relation":{},"ISSN":["1462-5970"],"issn-type":[{"value":"1462-5970","type":"print"}],"subject":[],"published":{"date-parts":[[1998]]}}}