EDUCATION IN FORMAL METHODS FOR SOFTWARE ENGINEERING

被引：5
|
作者：
WORDSWORTH, J
机构：
来源：
INFORMATION AND SOFTWARE TECHNOLOGY | 1987年 / 29卷 / 01期
关键词：
D O I：
10.1016/0950-5849(87)90017-6
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：27 / 32
页数：6
相关论文
共 50 条
  • [21] Formal methods: Mathematics, computer science or software engineering?
    Tremblay, G
    [J]. IEEE TRANSACTIONS ON EDUCATION, 2000, 43 (04) : 377 - 382
  • [22] Formal Methods in Agent-Oriented Software Engineering
    El Fallah-Seghrouchni, Amal
    Gomez-Sanz, Jorge J.
    Singh, Munindar P.
    [J]. AGENT-ORIENTED SOFTWARE ENGINEERING X, 2011, 6038 : 213 - +
  • [23] Pinnacles of software engineering: 25 years of formal methods
    Bjorner, D
    [J]. ANNALS OF SOFTWARE ENGINEERING, 2000, 10 : 11 - 66
  • [24] Special issue on 'Software Engineering and Formal Methods' Preface
    不详
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2023, 225
  • [25] SoSyM Special Section on Software Engineering and Formal Methods
    Jorge Cuellar
    Zhiming Liu
    [J]. Software & Systems Modeling, 2007, 6 : 37 - 38
  • [26] On Complementing an Undergraduate Software Engineering Course with Formal Methods
    Westphal, Bernd
    [J]. 2020 IEEE 32ND CONFERENCE ON SOFTWARE ENGINEERING EDUCATION AND TRAINING (CSEE&T), 2020, : 219 - 228
  • [27] Empirical Software Engineering and formal Methods for IoT Systems
    Basile, Davide
    ter Beek, Maurice
    Broccia, Giovanna
    Ferrari, Alessio
    [J]. ERCIM NEWS, 2022, (131): : 34 - 35
  • [28] SoSyM special section on software engineering and formal methods
    Cuellar, Jorge
    Liu, Zhiming
    [J]. SOFTWARE AND SYSTEMS MODELING, 2007, 6 (01): : 37 - 38
  • [29] Agile methods in software engineering education
    Bunse, C
    Feldmann, RL
    Dörr, J
    [J]. EXTREME PROGRAMMING AND AGILE PROCESSES IN SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3092 : 284 - 293
  • [30] Formal Methods for Interactive Systems: A Research Field in Between HCI, Formal Methods and Software Engineering
    Ait-Ameur, Yamine
    Palanque, Philippe
    [J]. SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS, 2018, 11176 : 202 - 204
12345