SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS

Song, J; Baek, YM; Jin, M; Jee, E; Bae, DH

Song, J (reprint author), Korea Adv Inst Sci & Technol, Sch Comp, Daejeon, South Korea.

2017 24TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2017), 2017; ( ): 546

Abstract

A System-of-Systems (SoS) is a collection of systems, which consists of independent constituent systems to achieve higher-level goals. As an SoS chang......

Full Text Link