• DocumentCode
    1995967
  • Title

    Notice of Violation of IEEE Publication Principles
    The Explore of the Law Role in Software Requirements Engineering

  • Author

    Ji, Xinhao

  • Author_Institution
    Zhejiang Vocational Coll. of Commerce, Hangzhou
  • fYear
    2009
  • fDate
    27-29 April 2009
  • Firstpage
    195
  • Lastpage
    198
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Information Technology: New Generations, 2009. ITNG '09. Sixth International Conference on
  • Conference_Location
    Las Vegas, NV
  • Print_ISBN
    978-1-4244-3770-2
  • Electronic_ISBN
    978-0-7695-3596-8
  • Type

    conf

  • DOI
    10.1109/ITNG.2009.32
  • Filename
    5070616