human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge groups authors who co-authored the same paper.

Details of the hypergraph:
Center hyperedge (induced by source paper "Towards Regulatory Compliance: Extracting Rights and Obligations to Align Requirements with Regulations"):
  Abstract: In the United States, federal and state regulations prescribe stakeholder rights and obligations that must be satisfied by the requirements for software systems. These regulations are typically wrought with ambiguities, making the process of deriving system requirements ad hoc and error prone. In highly regulated domains such as healthcare, there is a need for more comprehensive standards that can be used to assure that system requirements conform to regulations. To address this need, we expound upon a process called Semantic Parameterization previously used to derive rights and obligations from privacy goals. In this work, we apply the process to the Privacy Rule from the U.S. Health Insurance Portability and Accountability Act (HIPAA). We present our methodology for extracting and prioritizing rights and obligations from regulations and show how semantic models can be used to clarify ambiguities through focused elicitation and to balance rights with obligations. The results of our analysis can aid requirements engineers, standards organizations, compliance officers, and stakeholders in assuring systems conform to policy and satisfy requirements.

Includes members:
  Member "Deontic logic as founded on nonmonotonic logic":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "How to reason defeasibly")
  Member "A systematic review of goal-oriented requirements management frameworks for business process compliance":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "Handling Regulatory Goal Model Families as Software Product Lines")
  Member "Nòmos 3: Legal Compliance of Roles and Requirements":
    also connected through other hyperedges:
      (none)

Question: Please tell me which research area the co-authored paper (i.e., the source paper of the center hyperedge) belongs to. The 4 classes are: Computer science, Mathematics, Engineering, Economics, Psychology, Business. Directly output the class name.

gpt: Computer science