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: "refinement types in jolie"
  Abstract: Jolie is the first language for microservices and it is currently dynamically type checked. This paper considers the opportunity to integrate dynamic and static type checking with the introduction of refinement types, verified via SMT solver. The integration of the two aspects allows a scenario where the static verification of internal services and the dynamic verification of (potentially malicious) external services cooperates in order to reduce testing effort and enhancing security.

Connected through hyperedge HE-1 (induced by source paper "size matters microservices research and applications"):
  with members:
    - "a reference architecture for smart and software defined buildings"
    - "teaching devops in academia and industry reflections and vision"
    - "teaching devops in corporate environments an experience report"
    - "open source platform digital personal assistant"
    - "microservices a language based approach"
    - "jolie static type checker a prototype"
    - "microservices science and engineering"
    - "microservices yesterday today and tomorrow"

Connected through hyperedge HE-2 (induced by source paper "microservices science and engineering"):
  with members:
    - "verified type checker for jolie programming language"
    - "microservices a language based approach"
    - "jolie static type checker a prototype"
    - "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"
    - "jolie community on the rise"
    - "process aware web programming with jolie"

Connected through hyperedge HE-3 (induced by source paper "microservices how to make your application scale"):
  with members:
    - "microservices a language based approach"
    - "microservices yesterday today and tomorrow"
    - "antibiotic protecting iot devices against ddos attacks"
    - "jolie coog buildings internet of things for smart building infrastructure supporting concurrent apps utilizing distibuted microservices"
    - "jolie community on the rise"
    - "the internet of hackable things"

Connected through hyperedge HE-4 (induced by source paper "an architecture for non invasive software measurement"):
  with members:
    - "microservices a language based approach"
    - "quality attributes in practice contemporary data"
    - "jolie coog buildings internet of things for smart building infrastructure supporting concurrent apps utilizing distibuted microservices"
    - "jolie community on the rise"
    - "social networks and collective intelligence a return to the agora"

Connected through hyperedge HE-5 (induced by source paper "towards microservices and beyond an incoming paradigm shift in distributed computing"):
  with members:
    - "microservices yesterday today and tomorrow"
    - "jolie community on the rise"
    - "process aware web programming with jolie"
    - "deriving specifications of dependable systems toward a method"

Connected through hyperedge HE-6 (induced by source paper "jolie community on the rise"):
  with members:
    - "microservices yesterday today and tomorrow"
    - "process aware web programming with jolie"
    - "aiocj a choreographic framework for safe adaptive distributed applications"

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)