OPTRAN - A LANGUAGE SYSTEM FOR THE SPECIFICATION OF PROGRAM TRANSFORMATIONS - SYSTEM OVERVIEW AND EXPERIENCES

被引：0
|
作者：
LIPPS, P
MONCKE, U
WILHELM, R
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 371卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：52 / 65
页数：14
相关论文
共 50 条
  • [1] AN OVERVIEW OF THE OPTRAN SYSTEM
    LIPPS, P
    MONCKE, U
    WILHELM, R
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 545 : 505 - 506
  • [2] SYSTEM SPECIFICATION WITH THE SPECCHARTS LANGUAGE
    NARAYAN, S
    VAHID, F
    GAJSKI, DD
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 1992, 9 (04): : 6 - 13
  • [3] METAL, A SPECIFICATION LANGUAGE FOR THE MENTOR SYSTEM
    MELESE, B
    [J]. TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1982, 1 (04): : 275 - 285
  • [4] ASSL - Autonomic System Specification Language
    Vassev, Emil
    Paquet, Joey
    [J]. 31ST IEEE SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS, 2007, : 300 - 309
  • [5] AN OVERVIEW OF SPECIFICATION LANGUAGE UNIVERSE
    ZHU, MY
    WANG, CW
    [J]. IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 12 : 42 - 48
  • [6] TL: A system-level specification language for system analysis
    Benders, LPM
    [J]. IEEE SYMPOSIUM AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 1996, : 244 - 251
  • [7] GCCS: A graphical coordination language for system specification
    Cleaveland, R
    Du, XQ
    Smolka, SA
    [J]. COORDINATION LANGUAGES AND MODELS, PROCEEDINGS, 2000, 1906 : 284 - 298
  • [8] An XML definition language for software system specification
    Della Penna, G
    Intrigila, B
    Laurenzi, AR
    Orefice, S
    [J]. 6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL I, PROCEEDINGS: INFORMATION SYSTEMS DEVELOPMENT I, 2002, : 311 - 315
  • [9] Editor for system configuration and experiment program specification
    Kühner, G
    Heimann, P
    Heinzel, S
    Hennig, C
    Kühntopf, H
    Kroiss, H
    Maier, J
    Reetz, J
    Zilker, M
    [J]. FUSION ENGINEERING AND DESIGN, 2004, 71 (1-4) : 225 - 230
  • [10] PROBLEM SPECIFICATION AND PROGRAM SYNTHESIS IN THE SYSTEM SPORA
    BABAEV, IO
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1990, 9 (2-3): : 141 - 157
12345