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

来源：

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：266 / 269

页数：4

共 50 条

[1] SPECIFICATIONS ARE (PREFERABLY) EXECUTABLE
FUCHS, NE
SOFTWARE ENGINEERING JOURNAL, 1992, 7 (05): : 323 - 334
[2] Executable requirements and specifications
Anderson, AH
Shaw, GA
JOURNAL OF VLSI SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 1997, 15 (1-2): : 49 - 61
[3] Reasoning with executable specifications
Bertot, Y
Fraer, R
TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, 1995, 915 : 531 - 545
[4] Executable Calculational Specifications
Chaves, Francisco
Rocha, Camilo
2015 10TH COMPUTING COLOMBIAN CONFERENCE (10CCC), 2015, : 1 - 8
[5] EXECUTABLE SPECIFICATIONS WITH PROLOG
LAZAREV, GL
DR DOBBS JOURNAL, 1989, 14 (10): : 61 - &
[6] SPECIFICATIONS ARE NOT (NECESSARILY) EXECUTABLE
HAYES, IJ
JONES, CB
SOFTWARE ENGINEERING JOURNAL, 1989, 4 (06): : 330 - 338
[7] EXECUTABLE SPECIFICATIONS AND CASE
GASKELL, C
PHILLIPS, R
SOFTWARE ENGINEERING JOURNAL, 1994, 9 (04): : 174 - 182
[8] Executable Requirements and Specifications
Allan H. Anderson
Gary A. Shaw
Journal of VLSI signal processing systems for signal, image and video technology, 1997, 15 : 49 - 61
[9] Attributed models of executable specifications
Meriste, M
Penjam, J
PROGRAMMING LANGUAGES: IMPLEMENTATIONS, LOGICS AND PROGRAMS, 1995, 982 : 459 - 460
[10] On the animation of ''not executable'' specifications by Prolog
Sterling, L
Ciancarini, P
Turnidge, T
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1996, 6 (01) : 63 - 87