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: "stream processing components isabelle hol formalisation and case studies"
  Abstract: This set of theories presents an Isabelle/HOL+Isar formalisation of stream processing components introduces in Focus, a framework for formal specification and development of interactive systems. This is an extended and updated version of the formalisation, which was elaborated within the methodology 'Focus on Isabelle'. In addition, we also applied the formalisation on three case studies that cover different application areas: process control (Steam Boiler System), data transmission (FlexRay communication protocol), memory and processing components (Automotive-Gateway System).

Connected through hyperedge HE-1 (induced by source paper "towards logical architecture and formal analysis of dependencies between services"):
  with members:
    - "model based hazard and impact analysis"
    - "compositional properties of crypto based components"
    - "human factors of formal methods"
    - "formalisation and analysis of component dependencies"
    - "refinement of pipe and filter architectures"

Connected through hyperedge HE-2 (induced by source paper "cyber virtual systems simulation validation visualization"):
  with members:
    - "from abstract modelling to remote cyber physical integration interoperability testing"
    - "human factors of formal methods"
    - "do we really need to write documentation for a system case tool add ons generator editor for a precise documentation"
    - "towards system development methodologies from software to cyber physical domain"
    - "towards a framework for behavioral specifications of osgi components"

Connected through hyperedge HE-3 (induced by source paper "formalisation and analysis of component dependencies"):
  with members:
    - "from abstract modelling to remote cyber physical integration interoperability testing"
    - "towards system development methodologies from software to cyber physical domain"

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)