{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:28:15Z","timestamp":1750307295248,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,10,11]],"date-time":"2010-10-11T00:00:00Z","timestamp":1286755200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,10,11]]},"DOI":"10.1145\/1899503.1899509","type":"proceedings-article","created":{"date-parts":[[2010,12,14]],"date-time":"2010-12-14T16:00:54Z","timestamp":1292342454000},"page":"48-57","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["A four-way framework for validating a specification"],"prefix":"10.1145","author":[{"given":"Cyrille","family":"Dongmo","sequence":"first","affiliation":[{"name":"University of South Africa"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John A.","family":"van der Poll","sequence":"additional","affiliation":[{"name":"University of South Africa"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,10,11]]},"reference":[{"key":"e_1_3_2_1_2_1","volume-title":"September","author":"Amyot D.","year":"1999","unstructured":"D. Amyot . Use Case Maps: Quick tutorial , September 1999 . D. Amyot. Use Case Maps: Quick tutorial, September 1999."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1500412.1500468"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/12944.12948"},{"key":"e_1_3_2_1_5_1","volume-title":"The Unified Modeling Language User Guide","author":"Booch G.","year":"2005","unstructured":"G. Booch , J. Rumbaugh , and I. Jacobson . The Unified Modeling Language User Guide . Addison-Wesley , second edition, 2005 . G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, second edition, 2005."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1987.1663532"},{"key":"e_1_3_2_1_7_1","volume-title":"Implementing SOA: Total architecture in practice","author":"Brown P.","year":"2008","unstructured":"P. Brown . Implementing SOA: Total architecture in practice . Addison-Wesley Professional , 2008 . P. Brown. Implementing SOA: Total architecture in practice. Addison-Wesley Professional, 2008."},{"key":"e_1_3_2_1_8_1","volume-title":"Use Case Maps for Object-Oriented Systems","author":"Buhr R. J. A.","year":"1999","unstructured":"R. J. A. Buhr and R. S. Casselman . Use Case Maps for Object-Oriented Systems . Prentice Hall , USA , 1999 . R. J. A. Buhr and R. S. Casselman. Use Case Maps for Object-Oriented Systems. Prentice Hall, USA, 1999."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/153571.163265"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02463-4_19"},{"key":"e_1_3_2_1_11_1","first-page":"21","volume-title":"Sherratt (Ed.) SAM 2002","author":"Daniel A.","year":"2002","unstructured":"A. Daniel and G. Mussbacher . URN: Toward a new standard for the visual description of requirements. E . Sherratt (Ed.) SAM 2002 , pages 21 -- 37 , 2002 . A. Daniel and G. Mussbacher. URN: Toward a new standard for the visual description of requirements. E. Sherratt (Ed.) SAM 2002, pages 21--37, 2002."},{"key":"e_1_3_2_1_12_1","first-page":"1","author":"Duke R.","year":"1991","unstructured":"R. Duke , P. King , G. Rose , and G. Smith . The Object-Z Specification Language: Version 1 , 1991 . R. Duke, P. King, G. Rose, and G. Smith. The Object-Z Specification Language: Version 1, 1991.","journal-title":"The Object-Z Specification Language: Version"},{"key":"e_1_3_2_1_13_1","volume-title":"Formal Object-Oriented Specification Using Object-Z","author":"Duke R.","year":"2000","unstructured":"R. Duke and G. Rose . Formal Object-Oriented Specification Using Object-Z . Macmillan , Basingstoke , 2000 . R. Duke and G. Rose. Formal Object-Oriented Specification Using Object-Z. Macmillan, Basingstoke, 2000."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/647540.730007"},{"key":"e_1_3_2_1_15_1","volume-title":"Domain-Driven Design: Tackling Complexity In the Heart of Software","author":"Evans E.","year":"2003","unstructured":"E. Evans . Domain-Driven Design: Tackling Complexity In the Heart of Software . Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA , 2003 . E. Evans. Domain-Driven Design: Tackling Complexity In the Heart of Software. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2003."},{"key":"e_1_3_2_1_16_1","volume-title":"Towards a methodology to elicit tacit domain knowledge from users. Interdisciplinary Journal of Information, Knowledge, and Management, 2:119--193","author":"Friedrich W. R.","year":"2007","unstructured":"W. R. Friedrich and J. A. van der Poll . Towards a methodology to elicit tacit domain knowledge from users. Interdisciplinary Journal of Information, Knowledge, and Management, 2:119--193 , 2007 . W. R. Friedrich and J. A. van der Poll. Towards a methodology to elicit tacit domain knowledge from users. Interdisciplinary Journal of Information, Knowledge, and Management, 2:119--193, 2007."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69149-5_42"},{"key":"e_1_3_2_1_18_1","volume-title":"Technical report","author":"Recommended IEEE.","year":"1998","unstructured":"IEEE. Recommended Practice for Software Requirements Specifications . Technical report , IEEE , 1998 . IEEE. Recommended Practice for Software Requirements Specifications. Technical report, IEEE, 1998."},{"key":"e_1_3_2_1_19_1","volume-title":"Department of Computer Science","author":"Johnston W.","year":"1996","unstructured":"W. Johnston . A type checker for Object-Z. Technical report , Department of Computer Science , Queensland University , Australia , 1996 . W. Johnston. A type checker for Object-Z. Technical report, Department of Computer Science, Queensland University, Australia, 1996."},{"key":"e_1_3_2_1_20_1","volume-title":"Department of Computer Science","author":"Johnston W.","year":"1993","unstructured":"W. Johnston and G. Rose . Guidelines for the Manual Conversion of Object-Z to C++. Technical report , Department of Computer Science , Queensland University , Australia , 1993 . W. Johnston and G. Rose. Guidelines for the Manual Conversion of Object-Z to C++. Technical report, Department of Computer Science, Queensland University, Australia, 1993."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-007-0056-y"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173740"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/11415787_5"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2003.1236221"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10111-004-0151-5"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/336512.336523"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/1770498.1770523"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.268952"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2007.27"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/1351542.1351570"},{"key":"e_1_3_2_1_31_1","volume-title":"Object-Oriented and Classical Software Engineering","author":"Schach S. R.","year":"2008","unstructured":"S. R. Schach . Object-Oriented and Classical Software Engineering . McGraw-Hill, Inc. , New York, NY, USA , 2008 . S. R. Schach. Object-Oriented and Classical Software Engineering. McGraw-Hill, Inc., New York, NY, USA, 2008."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2008.16"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0057795"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/330233"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011269103179"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/647285.723100"},{"key":"e_1_3_2_1_37_1","volume-title":"Software Engineering","author":"Sommerville I.","year":"2007","unstructured":"I. Sommerville . Software Engineering . Addison-Wesley , 8 th edition, 2007 . I. Sommerville. Software Engineering. Addison-Wesley, 8th edition, 2007.","edition":"8"},{"key":"e_1_3_2_1_38_1","volume-title":"A reference manual","author":"Spivey J. M.","year":"1992","unstructured":"J. M. Spivey . The Z notation : A reference manual . Prentice Hall International (UK) Ltd ., Hertfordshire, UK, 1992 . J. M. Spivey. The Z notation: A reference manual. Prentice Hall International (UK) Ltd., Hertfordshire, UK, 1992."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/297075.297081"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1292491.1292510"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/336512.336546"},{"key":"e_1_3_2_1_43_1","first-page":"249","volume-title":"Goal-Oriented Requirements Engineering: A Guided Tour. In RE '01: Proceedings of the 5th IEEE International Symposium on Requirements Engineering","author":"Lamsweerde A. Van","year":"2001","unstructured":"A. Van Lamsweerde . Goal-Oriented Requirements Engineering: A Guided Tour. In RE '01: Proceedings of the 5th IEEE International Symposium on Requirements Engineering , pages 249 -- 263 , Toronto , August 2001 . IEEE Computer Society. A. Van Lamsweerde. Goal-Oriented Requirements Engineering: A Guided Tour. In RE '01: Proceedings of the 5th IEEE International Symposium on Requirements Engineering, pages 249--263, Toronto, August 2001. IEEE Computer Society."},{"key":"e_1_3_2_1_44_1","volume-title":"Joint application development","author":"Wood J.","year":"1995","unstructured":"J. Wood and D. Silver . Joint application development ( 2 nd ed.). John Wiley & amp; Sons, Inc., New York, NY, USA, 1995 . J. Wood and D. Silver. Joint application development (2nd ed.). John Wiley & Sons, Inc., New York, NY, USA, 1995.","edition":"2"}],"event":{"name":"SAICSIT '10: 2010 Annual Conference of the South African Institute of Computer Scientists and Information Technologists","sponsor":["AAIICT African Advanced Institute for Information & Communications Technology","NRF","ACM Association for Computing Machinery","CSIR CSIR","Microsoft Microsoft","ASFKP-ICT South Africa-Finland Knowledge Partnership on ICT","SAICSIT So. African Inst. Of Computer Scientists & Info Tecnologists","Telkom Telkom","IFIP"],"location":"Bela Bela South Africa","acronym":"SAICSIT '10"},"container-title":["Proceedings of the 2010 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1899503.1899509","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1899503.1899509","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:59:46Z","timestamp":1750244386000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1899503.1899509"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,11]]},"references-count":42,"alternative-id":["10.1145\/1899503.1899509","10.1145\/1899503"],"URL":"https:\/\/doi.org\/10.1145\/1899503.1899509","relation":{},"subject":[],"published":{"date-parts":[[2010,10,11]]},"assertion":[{"value":"2010-10-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}