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 条
  • [41] PAVING THE WAY
    GOLITZ, P
    ANGEWANDTE CHEMIE-INTERNATIONAL EDITION IN ENGLISH, 1989, 28 (01): : 107 - 108
  • [42] Paving the way
    Chief Engineer, 1998, 63 (03):
  • [43] Paving the Way
    Ackermann, Thomas
    Prevost, Thibault
    Vittal, Vijay
    Roscoe, Andrew J.
    Matevosyan, Julia
    Miller, Nicholas
    IEEE POWER & ENERGY MAGAZINE, 2017, 15 (06): : 61 - 69
  • [44] PAVING THE WAY
    LYTLE, D
    PHOTONICS SPECTRA, 1992, 26 (09) : 223 - 223
  • [45] Paving the Way
    Andracsek, Robynn
    POWER ENGINEERING, 2011, 115 (03) : 6 - 6
  • [46] Paving the way
    Cooner, Tonya
    Timber Harvesting, 2004, 52 (03): : 30 - 32
  • [47] SOFTWARE ENGINEERING - FORMAL METHODS .1.
    DEMAN, J
    MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 361 - 361
  • [48] Formal foundations for software engineering methods - Introduction
    Hussmann, H
    FORMAL FOUNDATIONS FOR SOFTWARE ENGINEERING METHODS, 1997, 1322 : 1 - +
  • [49] Using Deep Ontologies in Formal Software Engineering
    Brucker, Achim D.
    Ait-Sadoune, Idir
    Meric, Nicolas
    Wolff, Burkhart
    RIGOROUS STATE-BASED METHODS, ABZ 2023, 2023, 14010 : 15 - 32
  • [50] Including practical software evolution in software engineering education
    Postema, M
    Miller, J
    Dick, M
    14TH CONFERENCE ON SOFTWARE ENGINEERING EDUCATION AND TRAINING, PROCEEDINGS, 2001, : 127 - 135
12345