{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:17:45Z","timestamp":1775053065929,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540606888","type":"print"},{"value":"9783540492627","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60688-2_57","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T20:52:23Z","timestamp":1330289543000},"page":"381-395","source":"Crossref","is-referenced-by-count":2,"title":["Trace specifications of non-deterministic multi-object modules"],"prefix":"10.1007","author":[{"given":"Michal","family":"Iglewski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcin","family":"Kubica","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Madey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"28_CR1","unstructured":"Bartussck, W., Parnas, D.L., \u201cUsing Traces 10 Write Abstract Specifications for Software Modules\u201d, in Gehani, N., McGettrick, A.D. (Eds.), Software Specification Techniques, AT&T Bell Telephone Laboratories, 1985, pp. 111\u2013130."},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"Bojanowski, J., Iglewski, M., Madcy, J., Obaid, A., \u201cFunctional Approach to Protocol Specification\u201d, in Protocol Specification, Testing and Verification XIV, Vuong, S.T., Chanson, S.T. (Eds.), Chapman & Hall, 1995, pp. 395\u2013402.","DOI":"10.1007\/978-0-387-34867-4_30"},{"key":"28_CR3","volume-title":"CRL Report No. 258","author":"N. Erskine","year":"1992","unstructured":"Erskine, N., \u201cThe Usefulness of the Trace Assertion Method for Specifying Device Module Interfaces\u201d, CRL Report No. 258, McMaster Univ., CRL, Telecommun. Res. Inst. of Ontario (TRIO), Hamilton, Ont., Canada, 1992."},{"issue":"No.12","key":"28_CR4","doi-asserted-by":"crossref","first-page":"1102","DOI":"10.1109\/TC.1985.6312209","volume":"C-34","author":"D.M. Hoffman","year":"1985","unstructured":"Hoffman, D.M., \u201cThe Trace Specification of Communications Protocols\u201d, IEEE Trans. on Computers, Vol. C-34, No. 12, Dec.r 1985, pp. 1102\u20131113.","journal-title":"IEEE Trans. on Computers"},{"key":"28_CR5","volume-title":"Technical Report TR 95-05 (205)","author":"M. Iglewski","year":"1995","unstructured":"Iglewski, M., Kubica, M., Madcy, J., \u201cTrace Specifications of Non-deterministic Multi-object Modules\u201d, Technical Report TR 95-05 (205), Warsaw Univ., Inst. of Informatics, Warsaw, Poland, 1995."},{"key":"28_CR6","first-page":"876","volume-title":"Editor for the Trace Assertion Method","author":"M. Iglewski","year":"1994","unstructured":"Iglewski, M., Kubica, M., Madcy, J.,\u201cEditor for the Trace Assertion Method\u201d, in: Proc. 10th Int. Conf. of CAD\/CAM, Robotics and Factories of the Future: CARs & FOF'94, Zarcmba, M. (Ed.), OCRI, Ottawa, Ont., Canada, 1994, pp. 876\u2013881."},{"key":"28_CR7","volume-title":"CRL Report No. 270","author":"M. Iglewski","year":"1993","unstructured":"Iglewski, M., Madey, J., Parnas, D.L., Kelly, P.C., \u201cDocumentation Paradigms\u201d, CRL Report No. 270, McMaster Univ., CRL, Telecommun. Res. Inst. of Ontario (TRIO), Hamilton, Ont., Canada, 1993."},{"key":"28_CR8","volume-title":"Technical Report TR 94-09 (198)","author":"M. Iglewski","year":"1994","unstructured":"Iglewski, M., Madey, J., Stencel, K., \u201cOn Fundamentals of the Trace Assertion Method\u201d, Technical Report TR 94-09 (198), Warsaw Univ., Inst. of Informatics, Warsaw, Poland, 1994."},{"key":"28_CR9","volume-title":"Technical Report RR 94\/09-7","author":"M. Iglewski","year":"1994","unstructured":"Iglewski, M., Minccr-Daszkiewicz, J., Stencel, K., \u201cSome Experiences with Specification of Non-deterministic Modules\u201d, Technical Report RR 94\/09-7, Universit\u00e9 du Quebec \u00e0 Hull, D\u00e9partement d'Informatique, Hull, Quebec, Canada, 1994."},{"key":"28_CR10","unstructured":"Iglewski, M., Kubica, M., Madcy, J., Minccr-Daszkiewicz, J., Stencel, K., \u201cReport of the Trace Assertion Method 95\u201d, in preparation."},{"issue":"No.3","key":"28_CR11","doi-asserted-by":"crossref","first-page":"600","DOI":"10.1145\/828.829","volume":"31","author":"J.D. McLean","year":"1984","unstructured":"McLean, J.D., \u201cA Formal Foundation for the Abstract Specification of Software\u201d, Journal of the ACM, Vol. 31, No. 3, July 1984, pp. 600\u2013627.","journal-title":"Journal of the ACM"},{"issue":"No.12","key":"28_CR12","doi-asserted-by":"crossref","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"D.L. Parnas","year":"1972","unstructured":"Parnas, D.L., \u201cOn the Criteria to be used in Decomposing Systems into Modules\u201d, Commun. ACM, Vol. 15, No. 12, Dec. 1972, pp. 1053\u20131058.","journal-title":"Commun. ACM"},{"key":"28_CR13","doi-asserted-by":"crossref","unstructured":"Parnas, D.L., Madey, J., \u201cFunctional Documents for Computer Systems\u201d, Science of Computer Programming, to appear in 1995.","DOI":"10.1016\/0167-6423(95)96871-J"},{"key":"28_CR14","volume-title":"Technical Report 89-261","author":"D.L. Parnas","year":"1989","unstructured":"Parnas, D.L., Wang, Y., \u201cThe Trace Assertion Method of Module Interface Specification\u201d, Technical Report 89-261, Queen's Univ., C&IS, Telccommun. Res. Inst. of Ontario (TRIO), Kingston, Ont., Canada, 1989."},{"key":"28_CR15","series-title":"CRL Report No. 292","volume-title":"Ph.D. Thesis","author":"Y. Wang","year":"1994","unstructured":"Wang, Y., \u201cSpecifying and Simulating the Externally Observable Behavior of Modules\u201d, (Ph.D. Thesis), CRL Report No. 292, McMaster Univ., CRL, Telecommun. Res. Inst. of Ontario (TRIO), Hamilton, Ont., Canada, 1994."}],"container-title":["Lecture Notes in Computer Science","Algorithms, Concurrency and Knowledge"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60688-2_57.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:01:17Z","timestamp":1605646877000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60688-2_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540606888","9783540492627"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-60688-2_57","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}