human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge is induced by one source paper and its member nodes are the cited papers.

Details of the hypergraph:
Center hyperedge (induced by source paper "autoreq expressing and verifying requirements for control systems"):
  Abstract: The considerable effort of writing requirements is only worthwhile if the result meets two conditions: the requirements reflect stakeholders' needs, and the implementation satisfies them. In usual approaches, the use of different notations for requirements (often natural language) and implementations (a programming language) makes both conditions elusive. AutoReq, presented in this article, takes a different approach to both the writing of requirements and their verification. Applying the approach to a well-documented example, a landing gear system, allowed for a mechanical proof of consistency and uncovered an error in a published discussion of the problem.

Includes members:
  Member "complete contracts through specification drivers":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "formality in software requirements")
  Member "unifying requirements and code an example":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "formality in software requirements")
  Member "autoproof auto active functional verification of object oriented programs":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "formality in software requirements")
  Member "an ltl semantics of business workflows with recovery":
    also connected through other hyperedges:
      (none)
  Member "flexible invariants through semantic collaboration":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "targeted synthesis for programming with data invariants")
  Member "on modelling and analysis of dynamic reconfiguration of dependable real time systems":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "initial steps towards assessing the usability of a verification tool")
  Member "evolving algebras and partial evaluation":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "abstract state machines 1988 1998 commented asm bibliography")

Question: Please tell me which class the source paper belongs to. The 40 classes are: cs.NA(Numerical Analysis), cs.MM(Multimedia), cs.LO(Logic in Computer Science), cs.CY(Computers and Society), cs.CR(Cryptography and Security), cs.DC(Distributed, Parallel, and Cluster Computing), cs.HC(Human-Computer Interaction), cs.CE(Computational Engineering, Finance, and Science), cs.NI(Networking and Internet Architecture), cs.CC(Computational Complexity), cs.AI(Artificial Intelligence), cs.MA(Multiagent Systems), cs.GL(General Literature), cs.NE(Neural and Evolutionary Computing), cs.SC(Symbolic Computation), cs.AR(Hardware Architecture), cs.CV(Computer Vision and Pattern Recognition), cs.GR(Graphics), cs.ET(Emerging Technologies), cs.SY(Systems and Control), cs.CG(Computational Geometry), cs.OH(Other Computer Science), cs.PL(Programming Languages), cs.SE(Software Engineering), cs.LG(Machine Learning), cs.SD(Sound), cs.SI(Social and Information Networks), cs.RO(Robotics), cs.IT(Information Theory), cs.PF(Performance), cs.CL(Computation and Language), cs.IR(Information Retrieval), cs.MS(Mathematical Software), cs.FL(Formal Languages and Automata Theory), cs.DS(Data Structures and Algorithms), cs.OS(Operating Systems), cs.GT(Computer Science and Game Theory), cs.DB(Databases), cs.DL(Digital Libraries), cs.DM(Discrete Mathematics). Directly output the class name.

gpt: cs.SE(Software Engineering)