Abstract :
Notice of Violation of IEEE Publication Principles
"The Explore of the Law Role in Software Requirements Engineering,"
by Xinhao Ji,
in the Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009. ITNG \´09. April 2009
After careful and considered review of the content and authorship of this paper by a duly constituted expert committee, this paper has been found to be in violation of IEEE\´s Publication Principles.
This paper is a near verbatim copy of the paper cited below. The original text and figures were copied without attribution (including appropriate references to the original author(s) and/or paper title) and without permission.
Due to the nature of this violation, reasonable effort should be made to remove all past references to this paper, and future references should be made to the following article:
"Addressing Legal Requirements in Requirements Engineering,"
by Otto, P.N.; Anton, A.I.,
in the Proceedings of the 15th IEEE International Requirements Engineering Conference, 2007. RE \´07, pp.5-14, Oct. 2007
Law for requirements engineering and system development are important roles. Monitoring systems for requirements and policy compliance has been recognized in the requirements engineering community as a key area for research. This paper surveys research efforts over the past 50 years in handling legal texts for systems development. These efforts include the use of symbolic logic, logic programming, first-order temporal logic, deontic logic, goal modeling, and semi-structured representations. This survey can aid requirements engineers and auditors to better specify, monitor, and test software systems for compliance.
Keywords :
formal specification; law; program testing; system monitoring; temporal logic; deontic logic; first-order temporal logic; goal modeling; law; logic programming; policy compliance; semistructured representations; software requirements engineering; software system monitoring; software system specification; software system testing; symbolic logic; system development; Business; Educational institutions; Information security; Information technology; Law; Legal factors; Logic programming; Monitoring; Software testing; Systems engineering and theory; deontic logic; emi-structured representations; goal modeling; legal text; software requirement engineering;
