Agile Formal Engineering Method for Software Productivity and Reliability

被引：0
|
作者：
Liu, Shaoying [1 ]
机构：
[1] Hosei Univ, Tokyo, Japan
来源：
CEE-SECR'18: PROCEEDINGS OF THE 14TH CENTRAL AND EASTERN EUROPEAN SOFTWARE ENGINEERING CONFERENCE RUSSIA | 2018年
关键词：
Agile Method; Formal Engineering Method; SOFL; Agile Formal Engineering Method; Agile-SOFL;
D O I：
10.1145/3290621.3290634
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In spite of the extensive efforts made by researchers and practitioners over the last fifty years, software engineering is still facing tremendous challenges. Several well-recognized software development paradigms have been studied and applied, but considerable difficulties and problems with software productivity and quality are still serious. In this paper, we present an Agile Formal Engineering Method called Agile-SOFL for achieving high software productivity and reliability, which is the result of our recent five-year KAKENHI research project involving four universities and one national research institute in Japan. We describe the overall idea of the method and discuss every activity involved in the method with examples to ensure the readability of our discussions.
引用
收藏
页数：6
相关论文
共 50 条
  • [1] Software reliability engineering for agile software development
    Far, Behrouz
    [J]. 2007 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-3, 2007, : 694 - 697
  • [2] Agile formal method engineering
    Paige, RR
    Brooke, PJ
    [J]. INTEGRATED FORMAL METHODS, PROCEEDINGS, 2005, 3771 : 109 - 128
  • [3] An Agile Method for Multiagent Software Engineering
    Domann, Jaschar
    Hartmann, Sindy
    Burkhardt, Michael
    Barge, Alexander
    Albayrak, Sahin
    [J]. 5TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT-2014), THE 4TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT-2014), 2014, 32 : 928 - 934
  • [4] An Agile Software Engineering Method to Design Blockchain Applications
    Marchesi, Michele
    Marchesi, Lodovica
    Tonelli, Roberto
    [J]. CEE-SECR'18: PROCEEDINGS OF THE 14TH CENTRAL AND EASTERN EUROPEAN SOFTWARE ENGINEERING CONFERENCE RUSSIA, 2018,
  • [5] Software Reliability for Agile Testing
    van Driel, Willem Dirk
    Bikker, Jan Willem
    Tijink, Matthijs
    Di Bucchianico, Alessandro
    [J]. MATHEMATICS, 2020, 8 (05)
  • [6] Engineering bioinformatics: building reliability, performance and productivity into bioinformatics software
    Lawlor, Brendan
    Walsh, Paul
    [J]. BIOENGINEERED, 2015, 6 (04) : 193 - 203
  • [7] Improving agile software development by the application of method engineering practices
    Henderson-Sellers, B.
    Serour, M. K.
    Gonzalez-Perez, C.
    Qumer, A.
    [J]. PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2007, : 55 - +
  • [8] Towards method engineering for agile software development: Theory and practice
    Serour, Magdy Kodsy
    Younessi, Houman
    [J]. MANAGING INFORMATION IN THE DIGITAL ECONOMY: ISSUES & SOLUTIONS, 2006, : 531 - +
  • [9] A software engineering curriculum incorporating an operational formal method
    Sobel, AEK
    [J]. 28TH ANNUAL FRONTIERS IN EDUCATION CONFERENCE - CONFERENCE PROCEEDINGS, VOLS 1-3, 1998, : 807 - 810
  • [10] The Essence of Software Engineering Framework-based Model for an Agile Software Development Method
    Raharjo, Teguh
    Purwandari, Betty
    Budiardjo, Eko K.
    Yuniarti, Rina
    [J]. INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2023, 14 (07) : 802 - 811
12345