human: Given a node-centered hypergraph: <hypergraph>, where nodes represent papers and hyperedges represent sets of papers co-cited by a source paper.

Details of the hypergraph:
Center node: "unifying requirements and code an example"
  Abstract: Requirements and code, in conventional software engineering wisdom, belong to entirely different worlds. Is it possible to unify these two worlds? A unified framework could help make software easier to change and reuse. To explore the feasibility of such an approach, the case study reported here takes a classic example from the requirements engineering literature and describes it using a programming language framework to express both domain and machine properties. The paper describes the solution, discusses its benefits and limitations, and assesses its scalability.

Connected through hyperedge HE-1 (induced by source paper "formality in software requirements"):
  with members:
    - "autoreq expressing and verifying requirements for control systems"
    - "a contract based method to specify stimulus response requirements"
    - "complete contracts through specification drivers"
    - "reasoning about identifier spaces how to make chord correct"
    - "autoproof auto active functional verification of object oriented programs"

Connected through hyperedge HE-2 (induced by source paper "object oriented requirements reusable understandable verifiable"):
  with members:
    - "expressing and verifying embedded software requirements"
    - "complete contracts through specification drivers"
    - "autoproof auto active functional verification of object oriented programs"

Connected through hyperedge HE-3 (induced by source paper "teaching devops in corporate environments an experience report"):
  with members:
    - "microservices how to make your application scale"
    - "microservices yesterday today and tomorrow"
    - "jolie coog buildings internet of things for smart building infrastructure supporting concurrent apps utilizing distibuted microservices"
    - "complete contracts through specification drivers"

Connected through hyperedge HE-4 (induced by source paper "autoreq expressing and verifying requirements for control systems"):
  with members:
    - "complete contracts through specification drivers"
    - "autoproof auto active functional verification of object oriented programs"
    - "an ltl semantics of business workflows with recovery"
    - "flexible invariants through semantic collaboration"
    - "on modelling and analysis of dynamic reconfiguration of dependable real time systems"
    - "evolving algebras and partial evaluation"

Connected through hyperedge HE-5 (induced by source paper "expressing and verifying embedded software requirements"):
  with members:
    - "autoproof auto active functional verification of object oriented programs"
    - "flexible invariants through semantic collaboration"

Connected through hyperedge HE-6 (induced by source paper "complete contracts through specification drivers"):
  with members:
    - "autoproof auto active functional verification of object oriented programs"
    - "flexible invariants through semantic collaboration"

Question: Please tell me which class the center node 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)