Deriving occam programs through the refinement of unity-like specifications

被引：0
|
作者：
Brown, N.
Mery, D.
机构：
来源：
Proceedings of the European Workshops on Parallel Computing | 1992年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
下载
收藏
相关论文
共 25 条
  • [1] Deriving programs from their Z specifications
    Cruz, Ricardo Calderon
    CERMA2006: ELECTRONICS, ROBOTICS AND AUTOMOTIVE MECHANICS CONFERENCE VOL 2, PROCEEDINGS, 2006, : 297 - 302
  • [2] Data refinement of mixed specifications - A generalization of UNITY
    Sanders, BA
    ACTA INFORMATICA, 1998, 35 (02) : 91 - 129
  • [3] Data refinement of mixed specifications. A generalization of UNITY
    Sanders, B. A.
    Acta Informatica, 35 (02):
  • [4] Deriving Specifications of Control Programs for Cyber Physical Systems
    Burns, Alan
    Hayes, Ian J.
    Jones, Cliff B.
    COMPUTER JOURNAL, 2020, 63 (05): : 774 - 790
  • [5] REUSING SPECIFICATIONS THROUGH REFINEMENT LEVELS
    DEANTONELLIS, V
    PERNICI, B
    DATA & KNOWLEDGE ENGINEERING, 1995, 15 (02) : 109 - 133
  • [6] DERIVING PARALLEL PROGRAMS FROM SPECIFICATIONS USING COST INFORMATION
    SKILLICORN, DB
    SCIENCE OF COMPUTER PROGRAMMING, 1993, 20 (03) : 205 - 221
  • [7] Deriving specifications from requirements through problem reduction
    Rapanotti, L.
    Hall, J. G.
    Li, Z.
    IEE PROCEEDINGS-SOFTWARE, 2006, 153 (05): : 183 - 198
  • [8] Developing logic programs from specifications using stepwise refinement
    Colvin, R
    Groves, L
    Hayed, IJ
    Hemer, D
    Nickson, R
    Strooper, P
    PROGRAM DEVELOPMENT IN COMPUTATIONAL LOGIC: A DECADE OF RESEARCH ADVANCES IN LOGIC-BASED PROGRAM DEVELOPMENT, 2004, 3049 : 66 - 89
  • [9] Deriving Efficient Cache Coherence Protocols Through Refinement
    Ratan Nalumasu
    Ganesh Gopalakrishnan
    Formal Methods in System Design, 2002, 20 : 107 - 125
  • [10] Deriving efficient cache coherence protocols through refinement
    Nalumasu, R
    Gopalakrishnan, G
    FORMAL METHODS IN SYSTEM DESIGN, 2002, 20 (01) : 107 - 125
123