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 条
  • [11] Combining graphical representations and formal notations in software specification: A case study
    Dascalu, S
    Hitchcock, P
    Vert, G
    SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 483 - 489
  • [12] Specification of an automatic manufacturing system: A case study in using integrated formal methods
    Wehrheim, H
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 2000, 1783 : 334 - 348
  • [13] Validation of a Security Policy by the Test of its Formal B Specification - a Case Study
    Ledru, Yves
    Idani, Akram
    Richier, Jean-Luc
    2015 IEEE/ACM 3RD FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING, 2015, : 6 - 12
  • [14] FORMAL SPECIFICATION METHODS AND NUMERICAL SOFTWARE - A CASE-STUDY USING Z
    LUCENA, CJP
    QIAN, YM
    UTILITAS MATHEMATICA, 1993, 44 : 85 - 114
  • [15] FORMAL SPECIFICATION
    BROKATE, K
    COMPUTER JOURNAL, 1988, 31 (02): : 190 - 190
  • [16] EMPIRICAL-STUDY OF FORMAL PROCEDURE SPECIFICATION
    BELL, DA
    CONTEMPORARY EDUCATIONAL PSYCHOLOGY, 1978, 3 (02) : 163 - 168
  • [17] CASE-STUDY - THE USE OF FORMAL SPECIFICATION AND RAPID PROTOTYPING TO ESTABLISH PRODUCT FEASIBILITY
    ALEXANDER, H
    POTTER, B
    INFORMATION AND SOFTWARE TECHNOLOGY, 1987, 29 (07) : 388 - 394
  • [18] Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API
    Li, Guodong
    Palmer, Robert
    DeLisi, Michael
    Gopalakrishnan, Ganesh
    Kirby, Robert M.
    SCIENCE OF COMPUTER PROGRAMMING, 2011, 76 (02) : 65 - 81
  • [19] FORMAL SPECIFICATION AND VERIFICATION OF MULTI-AGENT ROBOTICS SOFTWARE SYSTEMS A Case Study
    Akhtar, Nadeem
    Le Guyadec, Yann
    Oquendo, Flavio
    ICAART 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, 2009, : 475 - +
  • [20] Objects: A Study in Kantian Formal Epistemology
    Boniolo, Giovanni
    Valentini, Silvio
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2012, 53 (04) : 457 - 478
12345