Revisiting Software Specification and Design for Large Astronomy Projects

被引:0
|
作者
Wiant, Scott [1 ]
Berukoff, Steven [1 ]
机构
[1] Natl Solar Observ, 3665 Discovery Dr, Boulder, CO 80303 USA
来源
SOFTWARE AND CYBERINFRASTRUCTURE FOR ASTRONOMY IV | 2016年 / 9913卷
关键词
Requirements; Systems; Process; Specification; Strategy;
D O I
10.1117/12.2233544
中图分类号
P1 [天文学];
学科分类号
0704 ;
摘要
The separation of science and engineering in the delivery of software systems overlooks the true nature of the problem being solved and the organization that will solve it. Use of a systems engineering approach to managing the requirements flow between these two groups as between a customer and contractor has been used with varying degrees of success by well-known entities such as the U.S. Department of Defense. However, treating science as the customer and engineering as the contractor fosters unfavorable consequences that can be avoided and opportunities that are missed. For example, the "problem" being solved is only partially specified through the requirements generation process since it focuses on detailed specification guiding the parties to a technical solution. Equally important is the portion of the problem that will be solved through the definition of processes and staff interacting through them. This interchange between people and processes is often underrepresented and under appreciated. By concentrating on the full problem and collaborating on a strategy for its solution a science-implementing organization can realize the benefits of driving towards common goals (not just requirements) and a cohesive solution to the entire problem. The initial phase of any project when well executed is often the most difficult yet most critical and thus it is essential to employ a methodology that reinforces collaboration and leverages the full suite of capabilities within the team. This paper describes an integrated approach to specifying the needs induced by a problem and the design of its solution.
引用
收藏
页数:15
相关论文
共 50 条
  • [21] Design Understanding: From Logic to Specification
    Fey, Goerschwin
    Ghasempouri, Tara
    Jacobs, Swen
    Martino, Gianluca
    Raik, Jaan
    Riener, Heinz
    PROCEEDINGS OF THE 2018 26TH IFIP/IEEE INTERNATIONAL CONFERENCE ON VERY LARGE SCALE INTEGRATION (VLSI-SOC), 2018, : 172 - 175
  • [22] THE ASIP DESIGN SPECIFICATION BASED ON ADL
    Zhu Yong
    DCABES 2009: THE 8TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND APPLICATIONS TO BUSINESS, ENGINEERING AND SCIENCE, PROCEEDINGS, 2009, : 372 - 374
  • [23] Software requirements specification: an overview from the theoretical background checking
    Toro, A.
    Galvez, J. G.
    ENTRE CIENCIA E INGENIERIA, 2016, (19): : 108 - 113
  • [24] Flexible model specification and application for service-oriented software
    Sun, Fuyu
    Zhou, Jianping
    Guo, Shuai
    Li, Yi
    SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2019, 95 (04): : 363 - 381
  • [25] An Encapsulation Structure and Description Specification for Application Level Software Components
    Jin Guojie
    Yin Baolin
    2009 INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING AND TECHNOLOGY, VOL I, PROCEEDINGS, 2009, : 195 - 199
  • [26] An overview of software specification techniques for real-time imaging
    Laplante, PA
    Neill, C
    REAL-TIME IMAGING VI, 2002, 4666 : 57 - 64
  • [27] Empirical Study on Specification Metrics to Predict Volatility and Software Defects
    Tsunoda, Taketo
    Washizaki, Hironori
    Fukazawa, Yoshiaki
    Inoue, Sakae
    Hanai, Yoshiiku
    Kanazawa, Masanobu
    PROCEEDINGS OF TENCON 2018 - 2018 IEEE REGION 10 CONFERENCE, 2018, : 2479 - 2484
  • [28] Study on specification-based software component test technology
    Yuan, Gao
    Chen, Lichao
    Zhang, Yongmei
    ISTM/2007: 7TH INTERNATIONAL SYMPOSIUM ON TEST AND MEASUREMENT, VOLS 1-7, CONFERENCE PROCEEDINGS, 2007, : 6557 - 6559
  • [29] Quality specification and metrication, results from a case-study in a mission-critical software domain
    Trienekens, Jos J. M.
    Kusters, Rob J.
    Brussel, Dennis C.
    SOFTWARE QUALITY JOURNAL, 2010, 18 (04) : 469 - 490
  • [30] End-to-End Formal Specification, Validation, and Verification Process: A Case Study of Space Flight Software
    Bergue Alves, Miriam C.
    Drusinsky, Doron
    Michael, James Bret
    Shing, Man-Tak
    IEEE SYSTEMS JOURNAL, 2013, 7 (04): : 632 - 641