{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T23:48:00Z","timestamp":1767138480222,"version":"build-2238731810"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662449196","type":"print"},{"value":"9783662449202","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44920-2_14","type":"book-chapter","created":{"date-parts":[[2014,9,30]],"date-time":"2014-09-30T05:11:05Z","timestamp":1412053865000},"page":"215-234","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Computer-Aided Process from Problems to Laws in Requirements Engineering"],"prefix":"10.1007","author":[{"given":"Stephan","family":"Fa\u00dfbender","sequence":"first","affiliation":[]},{"given":"Maritta","family":"Heisel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,10,1]]},"reference":[{"key":"14_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/978-3-642-28714-5_23","volume-title":"Requirements Engineering: Foundation for Software Quality","author":"K Beckers","year":"2012","unstructured":"Beckers, K., Fa\u00dfbender, S., K\u00fcster, J.-C., Schmidt, H.: A pattern-based method for identifying and analyzing laws. In: Regnell, B., Damian, D. (eds.) REFSQ 2011. LNCS, vol. 7195, pp. 256\u2013262. Springer, Heidelberg (2012)"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Fa\u00dfbender, S., Heisel, M.: From problems to laws in requirements engineering using model-transformation. In: ICSOFT 2013 - Proceedings of the 8th International Conference on Software Paradigm Trends, INSTICC. pp. 447\u2013458. SciTePress (2013)","DOI":"10.5220\/0004490804470458"},{"key":"14_CR3","unstructured":"Federal Trade Commission: Choicepoint settles data security breach charges. Technical report, Federal Trade Commission (2006). http:\/\/www.ftc.gov\/opa\/2006\/01\/choicepoint.shtm"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Biagioli, C., Mariani, P., Tiscornia, D.: Esplex: A rule and conceptual model for representing statutes. In: ICAIL, pp. 240\u2013251. ACM (1987)","DOI":"10.1145\/41735.41762"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Otto, P.N., Ant\u00f3n, A.I.: Addressing legal requirements in requirements engineering. In: Proceedings of the International Conference on Requirements Engineering. IEEE (2007)","DOI":"10.1109\/RE.2007.65"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Beckers, K., Fa\u00dfbender, S., Schmidt, H.: An integrated method for pattern-based elicitation of legal requirements applied to a cloud computing example. In: ARES, pp. 463\u2013472 (2012)","DOI":"10.1109\/ARES.2012.25"},{"key":"14_CR7","volume-title":"Problem Frames: Analyzing and Structuring Software Development Problems","author":"M Jackson","year":"2001","unstructured":"Jackson, M.: Problem Frames: Analyzing and Structuring Software Development Problems. Addison-Wesley, Boston (2001)"},{"key":"14_CR8","unstructured":"C\u00f4t\u00e9, I., Hatebur, D., Heisel, M., Schmidt, H., Wentzlaff, I.: A systematic account of problem frames. In: Proceedings of the European Conference on Pattern Languages of Programs (EuroPLoP), pp. 749\u2013767. Universit\u00e4tsverlag Konstanz (2008)"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-642-16901-4_18","volume-title":"Formal Methods and Software Engineering","author":"D Hatebur","year":"2010","unstructured":"Hatebur, D., Heisel, M.: Making pattern- and model-based software development more rigorous. In: Dong, J.S., Zhu, H. (eds.) ICFEM 2010. LNCS, vol. 6447, pp. 253\u2013269. Springer, Heidelberg (2010)"},{"key":"14_CR10","first-page":"1825","volume":"3","author":"S Kumar","year":"2011","unstructured":"Kumar, S., Walia, E.: Analysis of electronic voting system in various countries. Int. J. Comput. Sci. Eng. (IJCSE) 3, 1825\u20131830 (2011)","journal-title":"Int. J. Comput. Sci. Eng. (IJCSE)"},{"key":"14_CR11","unstructured":"Federal Constitutional Court of Germany: Verwendung von Wahlcomputern bei der Bundestagswahl 2005 verfassungswidrig (2009). https:\/\/www.bundesverfassungsgericht.de\/pressemitteilungen\/bvg09-019.html"},{"key":"14_CR12","unstructured":"Brehm, R.: Kryptographische verfahren in internetwahlsystemen, Technical report. Technical University of Darmstadt (2012)"},{"key":"14_CR13","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-642-01662-2_3","volume-title":"Evaluation of Electronic Voting","author":"M Volkamer","year":"2009","unstructured":"Volkamer, M.: Requirements and evaluation procedures to support responsible election authorities. In: Volkamer, M. (ed.) Evaluation of Electronic Voting. LNBIP, vol. 30, pp. 37\u201357. Springer, Heidelberg (2009)"},{"key":"14_CR14","unstructured":"Volkamer, M., Vogt, R.: Common Criteria Protection Profile for Basic set of security requirements for Online Voting Products. Bundesamt f\u00fcr Sicherheit in der Informationstechnik (2008)"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Alebrahim, A., Hatebur, D., Heisel, M.: A method to derive software architectures from quality requirements. In: Thu, T.D., Leung, K. (eds.) Proceedings of the 18th Asia-Pacific Software Engineering Conference (APSEC), pp. 322\u2013330. IEEE Computer Society (2011)","DOI":"10.1109\/APSEC.2011.29"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-54069-1_1","volume-title":"Privacy Technologies and Policy","author":"K Beckers","year":"2014","unstructured":"Beckers, K., Fa\u00dfbender, S., Heisel, M., Meis, R.: A problem-based approach for computer-aided privacy threat identification. In: Preneel, B., Ikonomou, D. (eds.) APF 2012. LNCS, vol. 8319, pp. 1\u201316. Springer, Heidelberg (2014)"},{"issue":"4","key":"14_CR17","first-page":"1","volume":"18","author":"K Beckers","year":"2013","unstructured":"Beckers, K., C\u00f4t\u00e9, I., Fa\u00dfbender, S., Heisel, M., Hofbauer, S.: A pattern-based method for establishing a cloud-specific information security management system. Requirements Eng. 18(4), 1\u201353 (2013)","journal-title":"Requirements Eng."},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Breaux, T.D., Vail, M.W., Ant\u00f3n, A.I.: Towards regulatory compliance: extracting rights and obligations to align requirements with regulations. In: Proceedings of the International Conference on Requirements Engineering (RE), pp. 46\u201355. IEEE (2006)","DOI":"10.1109\/RE.2006.68"},{"key":"14_CR19","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/TSE.2007.70746","volume":"34","author":"TD Breaux","year":"2008","unstructured":"Breaux, T.D., Ant\u00f3n, A.I.: Analyzing regulatory rules for privacy and security requirements. IEEE Trans. Softw. Eng. 34, 5\u201320 (2008)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Bench-Capon, T.J.M., Robinson, G.O., Routen, T.W., Sergot, M.J.: Logic programming for large scale applications in law: a formalization of supplementary benefit legislation. In: Proceedings of the International Conference on Artificial Intelligence and Law. ACM (1987)","DOI":"10.1145\/41735.41757"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Siena, A., Perini, A., Susi, A.: From laws to requirements. In: Proceedings of the International Workshop on Requirements Engineering and Law (RELAW), pp. 6\u201310. IEEE (2008)","DOI":"10.1109\/RELAW.2008.6"},{"key":"14_CR22","doi-asserted-by":"publisher","first-page":"710","DOI":"10.2307\/786270","volume":"26","author":"WN Hohfeld","year":"1917","unstructured":"Hohfeld, W.N.: Fundamental legal conceptions as applied in judicial reasoning. Yale Law J. 26, 710\u2013770 (1917)","journal-title":"Yale Law J."},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"Siena, A., Perini, A., Susi, A., Mylopoulos, J.: A meta-model for modelling law-compliant requirements. In: Proceedings of the International Workshop on Requirements Engineering and Law (RELAW), pp. 45\u201351. IEEE (2009)","DOI":"10.1109\/RELAW.2009.1"},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"Maxwell, J.C., Ant\u00f3n, A.I.: Developing production rule models to aid in acquiring requirements from legal texts. In: Proceedings of the 17th IEEE International Requirements Engineering Conference, RE, Washington, DC, USA. IEEE Computer Society (2009)","DOI":"10.1109\/RE.2009.21"},{"key":"14_CR25","unstructured":"\u00c1lvarez, J.A.T., Olmos, A., Piattini, M.: Legal requirements reuse: a critical success factor for requirements quality and personal data protection. In: Proceedings of the International Conference on Requirements Engineering (RE), pp. 95\u2013103. IEEE (2002)"}],"container-title":["Communications in Computer and Information Science","Software Technologies"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44920-2_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T18:45:52Z","timestamp":1746384352000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-44920-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662449196","9783662449202"],"references-count":25,"aliases":["10.1007\/978-3-662-45943-0_14"],"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44920-2_14","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"1 October 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}