Executable TMN-specifications in TIMS

被引：0
|
作者：
Eberhardt, R [1 ]
Sidou, D [1 ]
Festor, O [1 ]
Mazziotta, S [1 ]
Labetoulle, J [1 ]
机构：
[1] SWISS TELECOM PTT,RES & DEV,CH-3000 BERN 29,SWITZERLAND
来源：
NOMS '96 - 1996 IEEE NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM, VOLS. 1-4 | 1996年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：266 / 269
页数：4
相关论文
共 50 条
  • [21] From visual specifications to executable code
    Tyugu, E
    OBJECT-ORIENTED TECHNOLOGY: ECOOP'98 WORKSHOP READER, 1998, 1543 : 499 - 501
  • [22] Executable tile specifications for process calculi
    Bruni, R
    Meseguer, J
    Montanari, U
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 1999, 1577 : 60 - 76
  • [23] Executable Specifications for embedded distributed systems
    Sveda, M
    Vrba, R
    COMPUTER, 2001, 34 (01) : 138 - 140
  • [24] Ghosts for Lists: From Axiomatic to Executable Specifications
    Loulergue, Frederic
    Blanchard, Allan
    Kosmatov, Nikolai
    TESTS AND PROOFS, TAP 2018, 2018, 10889 : 177 - 184
  • [25] UMIST OBJ - A LANGUAGE FOR EXECUTABLE PROGRAM SPECIFICATIONS
    GALLIMORE, RM
    COLEMAN, D
    STAVRIDOU, V
    COMPUTER JOURNAL, 1989, 32 (05): : 413 - 421
  • [26] EXECUTABLE SPECIFICATIONS FOR DISTRIBUTED INFORMATION-SYSTEMS
    VANHEE, KM
    SOMERS, LJ
    VOORHOEVE, M
    INFORMATION SYSTEM CONCEPTS : AN IN-DEPTH ANALYSIS, 1989, : 139 - 156
  • [27] Validating Avionics Conceptual Architectures with Executable Specifications
    Fischer, Nils
    Salzwedel, Horst
    WMSCI 2011: 15TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL III, 2011, : 209 - 214
  • [28] HOARE LOGIC, EXECUTABLE SPECIFICATIONS, AND LOGIC PROGRAMS
    FUCHS, NE
    STRUCTURED PROGRAMMING, 1992, 13 (03): : 129 - 135
  • [29] EXECUTABLE HIGHER-ORDER ALGEBRAIC SPECIFICATIONS
    JOUANNAUD, JP
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 480 : 16 - 25
  • [30] Executable specifications of resource-bounded agents
    Fisher, Michael
    Ghidini, Chiara
    AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2010, 21 (03) : 368 - 396
12345