A FORMAL APPROACH TO LARGE SOFTWARE CONSTRUCTION

被引：0
|
作者：
ABRIAL, JR
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 375卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：1 / 20
页数：20
相关论文
共 50 条
  • [31] Formal and informal communication in a projectorganisation: The case of a large construction project
    Henrik, Bjorklund
    Goram, Lindahl
    Laurentio, Dobrescu
    Kristian, Holm
    Anna-Klara, Jonsson
    Erik, Ullmar
    Proceedings of IRNOP VII Project Research Conference, 2006, : 435 - 441
  • [32] A formal approach to software architecture of agent-base systems
    Reza, H
    Grant, E
    ITCC 2004: INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: CODING AND COMPUTING, VOL 1, PROCEEDINGS, 2004, : 591 - 595
  • [33] Towards a Formal Approach for the Verification of SCA/BPEL Software Architectures
    Taoufik, Sakka Rouis
    Tahar, Bhiri Mohamed
    Layth, Sliman
    Mourad, Kmimech
    2017 8TH INTERNATIONAL CONFERENCE ON INFORMATION, INTELLIGENCE, SYSTEMS & APPLICATIONS (IISA), 2017, : 487 - 492
  • [34] Specifying software architectures using a formal-based approach
    Hemer, David
    Ding, Yulin
    ASWEC 2008: 19TH AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2008, : 279 - 288
  • [35] Developing an ROV software control architecture: a formal specification approach
    de Assis, Fabio Henrique
    Takase, Fabio Kawaoka
    Maruyama, Newton
    Miyagi, Paulo Eigi
    38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012), 2012, : 3107 - 3112
  • [36] Integrating formal methods into medical software development: The ASM approach
    Arcaini, Paolo
    Bonfanti, Silvia
    Gargantini, Angelo
    Mashkoor, Atif
    Riccobene, Elvinia
    SCIENCE OF COMPUTER PROGRAMMING, 2018, 158 : 148 - 167
  • [37] An integral software process formal model based on the SOCCA approach
    Acuña, ST
    Sosa, MD
    XX INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY - PROCEEDINGS, 2000, : 162 - 171
  • [38] A formal approach to AADL model-based software engineering
    Mkaouar, Hana
    Zalila, Bechir
    Hugues, Jerome
    Jmaiel, Mohamed
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2020, 22 (02) : 219 - 247
  • [39] Formal approach to software testing process based on UML models
    Barisas, Dominykas
    Bareisa, Eduardas
    INFORMATION TECHNOLOGIES' 2008, PROCEEDINGS, 2008, : 195 - 199
  • [40] A formal approach to AADL model-based software engineering
    Hana Mkaouar
    Bechir Zalila
    Jérôme Hugues
    Mohamed Jmaiel
    International Journal on Software Tools for Technology Transfer, 2020, 22 : 219 - 247
12345