{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,27]],"date-time":"2026-07-27T15:26:41Z","timestamp":1785166001158,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642374210","type":"print"},{"value":"9783642374227","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37422-7_11","type":"book-chapter","created":{"date-parts":[[2013,3,25]],"date-time":"2013-03-25T04:31:51Z","timestamp":1364185911000},"page":"141-157","source":"Crossref","is-referenced-by-count":23,"title":["Regulatory Requirements Traceability and Analysis Using Semi-formal Specifications"],"prefix":"10.1007","author":[{"given":"Travis D.","family":"Breaux","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David G.","family":"Gordon","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Allen, L.E., Saxon, C.S.: Better language, better thought, better communication: the a-hohfeld language for legal analysis. In: 5th Int\u2019l Conf. AI & Law, pp. 219\u2013228 (1995)","DOI":"10.1145\/222092.222245"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Biagioli, C., Mariani, P., Tiscornia, D.: ESPLEX: A rule and conceptual model for representing statutes. In: Proc. 1st Int\u2019l Conf. AI & Law, pp. 240\u2013251 (1987)","DOI":"10.1145\/41735.41762"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Bourcier, D., Mazzega, P.: Toward measures of complexity in legal systems. In: Int\u2019l Conf. AI & Law, pp. 211\u2013215 (2007)","DOI":"10.1145\/1276318.1276359"},{"issue":"1","key":"11_CR4","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/TSE.2007.70746","volume":"34","author":"T.D. Breaux","year":"2008","unstructured":"Breaux, T.D., Ant\u00f3n, A.I.: Analyzing Regulatory Rules for Privacy and Security Requirements. IEEE Transactions on Software Engineering\u00a034(1), 5\u201320 (2008)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"11_CR5","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/TSE.2007.70746","volume":"18","author":"T.D. Breaux","year":"2008","unstructured":"Breaux, T.D., Ant\u00f3n, A.I., Doyle, J.: Semantic parameterization: a process for modeling domain descriptions. ACM Trans. Soft. Engr. Method.\u00a018(2), 5 (2008)","journal-title":"ACM Trans. Soft. Engr. Method."},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Breaux, T.D., Vail, M.W., Ant\u00f3n, A.I.: Towards compliance: extracting rights and obligations to align requirements with regulations. In: 14th IEEE Int\u2019l Req\u2019ts Engr. Conf., pp. 49\u201358 (2006)","DOI":"10.1109\/RE.2006.68"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Breaux, T.D.: Exercising due diligence in legal requirements acquisition: a tool-supported, frame-based approach. In: IEEE 17th Int\u2019l Req\u2019ts Engr. Conf., pp. 225\u2013230 (2009)","DOI":"10.1109\/RE.2009.46"},{"key":"11_CR8","unstructured":"Breaux, T.D.: Legal requirements acquisition for the specification of legally compliance informaiton systems, North Carolina State Univ. Ph.D. thesis (2009)"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Bench-Capon, T.J.M.: Deep models, normative reasoning and legal expert systems. In: Proc. 2nd International Conference on Artificial Intelligence and Law, Vancouver, British Columbia, Canada, pp. 37\u201345 (1989)","DOI":"10.1145\/74014.74020"},{"key":"11_CR10","unstructured":"Corbin, J., Strauss, A.: Basics of Qualitative Research, 3rd edn. Sage Pubs (2008)"},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A. Dardenne","year":"1993","unstructured":"Dardenne, A., Fickas, S., van Lamsweerde, A.: Goal\u2013directed requirements acquisition. Sci. Comp. Prog.\u00a020, 3\u201350 (1993)","journal-title":"Sci. Comp. Prog."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Dulac, N., Viguier, T., Leveson, N., Storey, M.-A.: On the use of visualization in formal requirements specification. In: IEEE Joint Int\u2019l Conf. Req\u2019ts Engr., pp. 71\u201380 (2002)","DOI":"10.1109\/ICRE.2002.1048507"},{"issue":"5","key":"11_CR13","doi-asserted-by":"publisher","first-page":"454","DOI":"10.1109\/32.90448","volume":"17","author":"M.D. Fraser","year":"1991","unstructured":"Fraser, M.D., Kumar, K., Vaishnavi, V.K.: Informal and formal requirements specification languages: bridging the gap. IEEE Trans. Soft. Engr.\u00a017(5), 454\u2013466 (1991)","journal-title":"IEEE Trans. Soft. Engr."},{"issue":"2","key":"11_CR14","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/s00766-004-0191-7","volume":"9","author":"A. Fuxman","year":"2004","unstructured":"Fuxman, A., Liu, L., Mylopoulos, J., Pistore, M., Roveri, M., Traverso, P.: Specifying and analyzing early requirements in Tropos. Req\u2019ts Engr. Journal\u00a09(2), 132\u2013150 (2004)","journal-title":"Req\u2019ts Engr. Journal"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Giorgini, P., Massacci, F., Mylopoulos, J., Zannone, N.: Modeling security requirements through ownership, permissions and delegation. In: IEEE 13th Int\u2019l Req\u2019ts Engr. Conf., pp. 167\u2013176 (2005)","DOI":"10.1109\/RE.2005.43"},{"key":"11_CR16","unstructured":"Greenspan, S., Mylopoulos, J., Borgida, A.: On Formal Requirements Modeling Languages: RML Revisited. In: 6th IEEE Int\u2019l Soft. Engr. Conf., pp. 1\u201313 (1994)"},{"key":"11_CR17","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1016\/S0306-4379(02)00015-7","volume":"27","author":"M. Glinz","year":"2002","unstructured":"Glinz, M., Berner, S., Joos, S.: Object-oriented modeling with ADORA. Info. Sys.\u00a027, 425\u2013444 (2002)","journal-title":"Info. Sys."},{"issue":"1","key":"11_CR18","doi-asserted-by":"publisher","first-page":"16","DOI":"10.2307\/785533","volume":"23","author":"W.N. Hohfeld","year":"1913","unstructured":"Hohfeld, W.N.: Some fundamental legal conceptions as applied in judicial reasoning. The Yale Law Journal\u00a023(1), 16\u201359 (1913)","journal-title":"The Yale Law Journal"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Lauritsen, M., Gordon, T.F.: Toward a general theory of document modeling. In: Int\u2019l Conf. AI & Law, pp. 202\u2013211 (2009)","DOI":"10.1145\/1568234.1568257"},{"issue":"5","key":"11_CR20","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MC.1982.1654024","volume":"15","author":"A.A. Levene","year":"1982","unstructured":"Levene, A.A., Mullery, G.P.: An investigation of requirement specification languages: theory and practice. IEEE Computer\u00a015(5), 50\u201359 (1982)","journal-title":"IEEE Computer"},{"key":"11_CR21","unstructured":"Massey, A.K., Anton, A.I.: Triage for legal requirements. NCSU Technical Report #TR-2010-22 (October 11, 2010)"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Maxwell, J., Anton, A.I.: Developing production rule models to aid in acquiring requirements from legal texts. In: IEEE 17th Int\u2019l Req\u2019ts Engr. Conf., pp. 101\u2013110 (2009)","DOI":"10.1109\/RE.2009.21"},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"Maxwell, J., Anton, A.I., Swire, P.: A legal cross-references taxonomy for identifying conflicting software requirements. In: IEEE 19th Int\u2019l Req\u2019ts Engr. Conf., pp. 197\u2013206 (2011)","DOI":"10.1109\/RE.2011.6051647"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Martinek, J., Cybulka, J.: Dynamics of legal provisions and its representation. In: Int\u2019l Conf. AI & Law, pp. 20\u201324 (2005)","DOI":"10.1145\/1165485.1165489"},{"issue":"4","key":"11_CR25","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1145\/1118890.1118892","volume":"37","author":"M. Mernik","year":"2005","unstructured":"Mernik, M., Heering, J., Sloane, A.M.: When and how to develop domain-specific languages. ACM Computing Surveys\u00a037(4), 316\u2013344 (2005)","journal-title":"ACM Computing Surveys"},{"issue":"4","key":"11_CR26","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1145\/102675.102676","volume":"8","author":"J. Mylopoulos","year":"1990","unstructured":"Mylopoulos, J., Borgida, A., Jarke, M., Koubarakis, M.: Telos: representing knowledge about information systems. ACM Trans. on Info. Sys.\u00a08(4), 325\u2013362 (1990)","journal-title":"ACM Trans. on Info. Sys."},{"key":"11_CR27","unstructured":"Romanosky, S., Telang, R., Acquisti, A.: Do data breach disclosure laws reduce identity theft? In: W\u2019shp Econ. of Info. Sec. (WEIS), June 25-28 (2008)"},{"key":"11_CR28","unstructured":"Rubinstein, I.: Privacy and Regulatory Innovation: Moving Beyond Voluntary Codes. I\/S: A Journal of Law and Policy for the Information Society (April 2011) (in press)"},{"issue":"5","key":"11_CR29","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1145\/5689.5920","volume":"29","author":"M.J. Sergot","year":"1986","unstructured":"Sergot, M.J., Sadri, F., Kowalski, R.A., Kriwaczek, F., Hammond, P., Cory, H.T.: The British Nationality Act as a logic program. Communications of the ACM\u00a029(5), 370\u2013386 (1986)","journal-title":"Communications of the ACM"},{"issue":"4","key":"11_CR30","doi-asserted-by":"publisher","first-page":"581","DOI":"10.1145\/383779.383786","volume":"2","author":"M. Sergot","year":"2001","unstructured":"Sergot, M.: A computational theory of normative positions. ACM Transactions of Computational Logic\u00a02(4), 581\u2013622 (2001)","journal-title":"ACM Transactions of Computational Logic"},{"key":"11_CR31","doi-asserted-by":"crossref","unstructured":"Siena, A., Jureta, I., Ingolfo, S., Susi, A., Perini, A., Mylopoulos, J.: Capturing variability of law with Nom\u00f3s 2. In: 31st Int\u2019l Conf. Conc. Mod., pp. 383\u2013396 (2012)","DOI":"10.1007\/978-3-642-34002-4_30"},{"key":"11_CR32","unstructured":"Stamper, R.K.: LEGOL: Modelling legal rules by computer. In: Proc. Advanced Workshop on Computer Science and Law, pp. 45\u201371 (September 1979)"},{"key":"11_CR33","doi-asserted-by":"crossref","unstructured":"Wasson, K.S.: A case study in systematic improvement of language for requirements. In: Proc. IEEE 14th Int\u2019l Req\u2019ts Engr. Conf., pp. 6\u201315 (2006)","DOI":"10.1109\/RE.2006.5"},{"key":"11_CR34","doi-asserted-by":"crossref","unstructured":"Winkels, R., Boer, A., de Maat, E., van Engers, T., Breebaart, M., Melger, H.: Constructing a semantic network for legal content. In: Int\u2019l Conf. AI & Law, pp. 125\u2013132 (2005)","DOI":"10.1145\/1165485.1165505"},{"key":"11_CR35","unstructured":"Yin, R.K.: Case study research, 4th edn. Applied Social Research Methods Series, vol.\u00a05. Sage Publications (2008)"},{"key":"11_CR36","doi-asserted-by":"crossref","unstructured":"Yu, E.: Modeling organizations for information systems requirements engineering. In: Int\u2019l Symp. Req\u2019ts Engr., pp. 34\u201341 (1993)","DOI":"10.1109\/ISRE.1993.324839"},{"issue":"1","key":"11_CR37","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/237432.237434","volume":"6","author":"P. Zave","year":"1997","unstructured":"Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Trans. Soft. Engr. & Method.\u00a06(1), 1\u201330 (1997)","journal-title":"ACM Trans. Soft. Engr. & Method."}],"container-title":["Lecture Notes in Computer Science","Requirements Engineering: Foundation for Software Quality"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37422-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T01:50:44Z","timestamp":1745977844000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37422-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642374210","9783642374227"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37422-7_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}