Automated Software Specification and Design Using the SOFL Formal Engineering Method

被引：2
|
作者：
Liu, Shaoying [1 ]
Xue, Xiang [2 ]
机构：
[1] Hosei Univ, Tokyo, Japan
[2] Shanghai Jiao Tong Univ, Shanghai, Peoples R China
来源：
2009 WRI WORLD CONGRESS ON SOFTWARE ENGINEERING, VOL 4, PROCEEDINGS | 2009年
关键词：
D O I：
10.1109/WCSE.2009.43
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The Structured Object-Oriented Formal Language (SOFL) offers a formal engineering method for effectively incorporating formal specifications into system architectures in order to improve the quality of software design, but faces a challenge in tool support. This paper describes the techniques for building an effective software tool to support the construction of design specifications using SOFL. The techniques include (1) enforcing error detection and prevention in specification construction, (2) offering an "intelligent" and systematic guidance for decomposing operations and for completing specifications, and (3) supplying inter-related navigation among different representations of a SOFL specification. The tool has been applied in our several projects.
引用
收藏
页码：283 / +
页数：2
相关论文
共 50 条
  • [41] Software Testing Based on Formal Specification
    Gaudel, Marie-Claude
    TESTING TECHNIQUES IN SOFTWARE ENGINEERING, 2010, 6153 : 215 - 242
  • [42] Integration of design method software for concurrent engineering using axiomatic design
    Chen, Ke-Zhang
    Integrated Manufacturing Systems, 1998, 9 (04): : 242 - 252
  • [43] Experience integrating a formal method into a software engineering course
    Kelley Sobel, Ann E.
    SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education), 1996, : 271 - 274
  • [44] Agile Formal Engineering Method for Software Productivity and Reliability
    Liu, Shaoying
    CEE-SECR'18: PROCEEDINGS OF THE 14TH CENTRAL AND EASTERN EUROPEAN SOFTWARE ENGINEERING CONFERENCE RUSSIA, 2018,
  • [45] A software engineering curriculum incorporating an operational formal method
    Sobel, AEK
    28TH ANNUAL FRONTIERS IN EDUCATION CONFERENCE - CONFERENCE PROCEEDINGS, VOLS 1-3, 1998, : 807 - 810
  • [46] Requirements-Related Fault Prevention Mechanism for SOFL Formal Specification-Based Programming
    Li, Jiandong
    Liu, Shaoying
    2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY, AND SECURITY COMPANION, QRS-C, 2022, : 359 - 367
  • [47] Formal specification and representation of design patterns using RTPA
    Huang, Jian
    Wang, Yingxu
    PROCEEDINGS OF THE FIFTH IEEE INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS, VOLS 1 AND 2, 2006, : 370 - 379
  • [48] Formal Modeling and Specification of Design Patterns Using RtPA
    Wang, Yingxu
    Huang, Jian
    INTERNATIONAL JOURNAL OF COGNITIVE INFORMATICS AND NATURAL INTELLIGENCE, 2008, 2 (01) : 100 - 111
  • [49] Formal specification of design pattern combination using BPSL
    Taibi, T
    Ngo, DCL
    INFORMATION AND SOFTWARE TECHNOLOGY, 2003, 45 (03) : 157 - 170
  • [50] Formal analysis and design for engineering security automated derivation of formal software security specifications from goal-oriented security requirements
    Hassan, R.
    Eltoweissy, M.
    Bohner, S.
    El-Kassas, S.
    IET SOFTWARE, 2010, 4 (02) : 149 - 160
12345