An approach to applying SOFL for agile process and its application in developing a test support tool

被引：5
|
作者：
Liu S. [1 ]
机构：
[1] Department of Computer Science, Hosei University, Tokyo
来源：
Innovations in Systems and Software Engineering | 2010年 / 6卷 / 01期
基金：
中国国家自然科学基金;
关键词：
Agile process; Formal engineering methods; Semi-formal specification; SOFL;
D O I：
10.1007/s11334-009-0114-3
中图分类号：
学科分类号：
摘要：
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approach to constructing formal specifications, and specification-based inspection and testing for verification and validation. In this paper, we describe a novel approach to applying the SOFL method to achieve agile development process. This approach results from our experience in several collaboration projects with industry, and aims to strike a balance between the fast delivery of software product and the assurance of its quality. We have tested the approach in developing a prototype test support tool. © Springer-Verlag London Limited 2009.
引用
收藏
页码：137 / 143
页数：6
相关论文
共 50 条
  • [1] IT Process Improvement: Developing an Agile Model using the DSR approach
    Montenegro, Carlos
    Fonseca, Rodrigo
    Larco, Andres
    [J]. PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON SOFTWARE PROCESS IMPROVEMENT (CIMPS 2016): APPLICATIONS IN SOFTWARE ENGINEERING, 2016,
  • [2] Process and Tool Support for Integration of Privacy Aspects in Agile Software Engineering
    Huth, Dominik
    Both, Andreas
    Ahmad, Jeffrey
    Sauer, Gerhard
    Yilmaz, Fatih
    Matthes, Florian
    [J]. AMCIS 2020 PROCEEDINGS, 2020,
  • [3] APPLYING ACTIVITY PATTERNS FOR DEVELOPING AN INTELLIGENT PROCESS MODELING TOOL
    Thom, Lucineia Heloisa
    Reichert, Manfred
    Chiao, Carolina Ming
    Iochpe, Cirano
    [J]. ICEIS 2008: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL ISAS-1: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, VOL 1, 2008, : 112 - +
  • [4] The Internet as a tool with application to agile manufacturing: a web-based engineering approach and its implementation issues
    Cheng, K
    Pan, PY
    Harrison, DK
    [J]. INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2000, 38 (12) : 2743 - 2759
  • [5] An Agile Method for Developing OERs and Its Application in Serious Game Design
    Rocha, Rafaela V.
    Valle, Pedro H. D.
    Maldonado, Jose C.
    Bittencourt, Ig Ibert
    Isotani, Seiji
    [J]. HIGHER EDUCATION FOR ALL: FROM CHALLENGES TO NOVEL TECHNOLOGY-ENHANCED SOLUTIONS, 2018, 832 : 192 - 206
  • [6] Distributed Agile Development: Applying a Coverage Analysis Approach to the Evaluation of a Communication Technology Assessment Tool
    Gill, Asif Qumer
    [J]. INTERNATIONAL JOURNAL OF E-COLLABORATION, 2015, 11 (01) : 57 - 76
  • [7] KISS -: Knowledge-intensive service support:: An approach for agile process management
    Feldkamp, Daniela
    Hinkelmann, Knut
    Thoenssen, Barbara
    [J]. ADVANCES IN RULE INTERCHANGE AND APPLICATIONS, PROCEEDINGS, 2007, 4824 : 25 - 38
  • [8] An approach for developing domain specific CASE tools and its application to manufacturing process control
    Troy, D
    McQueen, R
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1997, 38 (02) : 165 - 192
  • [9] Developing and applying a consolidated evaluation framework to analyze test process improvement approaches
    Farooq, Ayaz
    Dumke, Reiner R.
    [J]. SOFTWARE PROCESS AND PRODUCT MEASUREMENT, 2008, 4895 : 114 - 128
  • [10] A Geometric Approach to Support Vector Regression and Its Application to Fermentation Process Fast Modeling
    Wang Jianlin
    Feng Xuying
    Yu Tao
    [J]. CHINESE JOURNAL OF CHEMICAL ENGINEERING, 2012, 20 (04) : 715 - 722
12345