Formal specification of managed objects - a case study

被引：0
|
作者：
Judge, A.J.
Wezeman, C.
机构：
来源：
British Telecom technology journal | 1993年 / 11卷 / 03期
关键词：
15;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：89 / 97
相关论文
共 50 条
  • [1] FORMAL SPECIFICATION OF MANAGED OBJECTS - A CASE-STUDY
    JUDGE, AJ
    WEZEMAN, C
    BT TECHNOLOGY JOURNAL, 1993, 11 (03): : 89 - 97
  • [2] A case study in formal design specification with CCS
    Wang, Q
    Cheng, MHM
    PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON COMPUTER APPLICATIONS IN INDUSTRY AND ENGINEERING, 1996, : 169 - 172
  • [3] A formal specification for the collaborative development of learning objects
    AlfredoSanchez, J.
    Perez-Lezama, Claudia
    Starostenko, Oleg
    4TH WORLD CONFERENCE ON EDUCATIONAL TECHNOLOGY RESEARCHES (WCETR-2014), 2015, 182 : 726 - 731
  • [4] FORMAL SPECIFICATION AND VERIFICATION OF A PROCEDURAL PROTOCOL - CASE-STUDY
    LAI, R
    SOFTWARE ENGINEERING JOURNAL, 1995, 10 (03): : 97 - 104
  • [5] A case study of the formal specification of a parallel system using CSP
    Kiyamura, S
    Roscoe, AW
    CORRECT MODELS OF PARALLEL COMPUTING, 1997, 49 : 68 - 86
  • [6] Case study: Formal specification and verification of railway interlocking system
    Hlavaty, T
    Preucil, L
    Stepan, P
    PROCEEDINGS OF THE 27TH EUROMICRO CONFERENCE - 2001: A NET ODYSSEY, 2001, : 258 - 263
  • [7] INTEGRATING A FORMAL SPECIFICATION METHOD WITH PML - A CASE-STUDY
    SA, J
    WARBOYS, B
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 635 : 106 - 122
  • [8] Synthesis of AMBA AHB from formal specification: A case study
    Godhal Y.
    Chatterjee K.
    Henzinger T.A.
    International Journal on Software Tools for Technology Transfer, 2013, 15 (5-6) : 585 - 601
  • [9] Advantages of a Formal Specification of a Case From Informal Description via Formal Specification to Realization
    de Brock, Bert
    BUSINESS MODELING AND SOFTWARE DESIGN, BMSD 2022, 2022, 453 : 158 - 181
  • [10] Formal specification of CORBA-based distributed objects and behaviors
    Ngolah, CF
    Wang, YX
    ICCI 2005: FOURTH IEEE INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS - PROCEEDINGS, 2005, : 331 - 339
12345