Dezyne: Paving the way to practical formal software engineering

被引：0
|
作者：
van Beusekom, Rutger [1 ]
de Jonge, Bert [1 ]
Hoogendijk, Paul [1 ]
Nieuwenhuizen, Jan [1 ]
机构：
[1] Verum Software Tools B.V, Netherlands
来源：
Electronic Proceedings in Theoretical Computer Science, EPTCS | 2021年 / 338卷
关键词：
721.1 Computer Theory; Includes Computational Logic; Automata Theory; Switching Theory; Programming Theory - 723.1 Computer Programming - 723.1.1 Computer Programming Languages - 723.5 Computer Applications;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Concurrency control
引用
收藏
页码：19 / 30
相关论文
共 50 条
  • [1] Dezyne: Paving the Way to Practical Formal Software Engineering
    van Beusekom, Rutger
    de Jonge, Bert
    Hoogendijk, Paul
    Nieuwenhuizen, Jan
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (338): : 19 - 30
  • [2] PAVING THE WAY FOR CONCURRENT ENGINEERING
    MADDUX, GA
    MARTIN, P
    FARRINGTON, PA
    INDUSTRIAL ENGINEERING, 1994, 26 (09): : 50 - 52
  • [3] Paving the way for concurrent engineering
    Maddux, Gary A.
    Martin, Patricia
    Farrington, Philip A.
    Industrial engineering Norcross, Ga., 1994, 26 (09): : 50 - 52
  • [4] From practical CASE to formal verification: Software engineering using Java']Java
    Clayton, PG
    Stiles, GS
    INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PROCEEDINGS, 1999, : 81 - 87
  • [5] Software engineering and formal methods
    Bernhard Aichernig
    Bernhard Beckert
    Software & Systems Modeling, 2008, 7 : 255 - 256
  • [6] Formal Methods and Software Engineering
    Serna Montoya, Edgar
    REVISTA VIRTUAL UNIVERSIDAD CATOLICA DEL NORTE, 2010, 30 : 158 - 184
  • [7] Software engineering and formal methods
    Hinchey, Mike
    Jackson, Michael
    Cousot, Patrick
    Cook, Byron
    Bowen, Jonathan P.
    Margaria, Tiziana
    COMMUNICATIONS OF THE ACM, 2008, 51 (09) : 54 - 59
  • [8] Software engineering and formal methods
    Aichernig, Bernhard
    Beckert, Bernhard
    SOFTWARE AND SYSTEMS MODELING, 2008, 7 (03): : 255 - 256
  • [9] FORMAL METHODS IN SOFTWARE ENGINEERING
    LEVESON, NG
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (09) : 929 - 931
  • [10] FORMAL OR INFORMAL, PRACTICAL OR IMPRACTICAL - TOWARDS INTEGRATING FORMAL METHODS WITH INFORMAL PRACTICES IN SOFTWARE ENGINEERING-EDUCATION
    TSE, TH
    SOFTWARE ENGINEERING EDUCATION, 1993, 40 : 189 - 197
12345