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: "verified system development with the autofocus tool chain"
  Abstract: This work presents a model-based development methodology1 for veriﬁed software systems as well as a tool support for it: an applied AUTOFOCUS 3 tool chain and its basic principles emphasizing the veriﬁcation of the system under development as well as the check mechanisms we used to raise the level of conﬁdence in the correctness of the implementation of the automatic generators.

Connected through hyperedge HE-1 (induced by source paper "towards readability aspects of probabilistic mode automata"):
  with members:
    - "towards classification of lightweight formal methods"

Connected through hyperedge HE-2 (induced by source paper "towards a human centred approach in modelling and testing of cyber physical systems"):
  with members:
    - "human factors in software reliability engineering"
    - "agile test based modeling"
    - "from abstract modelling to remote cyber physical integration interoperability testing"
    - "human factors of formal methods"
    - "cyber virtual systems simulation validation visualization"
    - "towards system development methodologies from software to cyber physical domain"
    - "assumptions underlying agile software development processes"

Connected through hyperedge HE-3 (induced by source paper "boring formal methods or sherlock holmes deduction methods"):
  with members:
    - "applied logic in engineering"
    - "teaching logic to information systems students challenges and opportunities"
    - "human factors of formal methods"

Connected through hyperedge HE-4 (induced by source paper "human factors in software reliability engineering"):
  with members:
    - "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"

Connected through hyperedge HE-5 (induced by source paper "requirements engineering aspects of a geographically distributed architecture"):
  with members:
    - "from abstract modelling to remote cyber physical integration interoperability testing"
    - "human factors of formal methods"

Connected through hyperedge HE-6 (induced by source paper "do we really need to write documentation for a system case tool add ons generator editor for a precise documentation"):
  with members:
    - "human factors of formal methods"

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)