STRUCTURED ALGEBRAIC SPECIFICATIONS - A KERNEL LANGUAGE

被引：46
|
作者：
WIRSING, M
机构：
[1] Univ Passau, Passau, West Ger, Univ Passau, Passau, West Ger
来源：
THEORETICAL COMPUTER SCIENCE | 1986年 / 42卷 / 02期
关键词：
D O I：
10.1016/0304-3975(86)90051-4
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
112
引用
收藏
页码：123 / 249
页数：127
相关论文
共 50 条
  • [1] Testing from structured algebraic specifications
    Machado, PDL
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2000, 1816 : 529 - 544
  • [2] Proof systems for structured algebraic specifications: An overview
    Hennicker, R
    Wirsing, M
    FUNDAMENTALS OF COMPUTATION THEORY, PROCEEDINGS, 1997, 1279 : 19 - 37
  • [3] Proof normalization of structured algebraic specifications is convergent
    Wirsing, M
    Crossley, JN
    Peterreins, H
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 1999, 1589 : 326 - 340
  • [4] Method for translating natural language program specifications into algebraic specifications
    Seki, Hiroyuki, 1600, (23):
  • [5] Structured language for specifications of quantitative requirements
    Dal Cin, M
    FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2000, : 221 - 227
  • [6] AUGMENTING ALGEBRAIC SPECIFICATIONS WITH STRUCTURED SORTS AND STRUCTURAL SUBSORTING
    SRINIVAS, YV
    PROGRAMMING CONCEPTS, METHODS AND CALCULI, 1994, 56 : 531 - 550
  • [7] A KERNEL LANGUAGE FOR ALGEBRAIC SPECIFICATION AND IMPLEMENTATION
    SANNELLA, D
    WIRSING, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1983, 158 : 413 - 427
  • [8] ALGEBRAIC-GRAMMATICAL SPECIFICATIONS AND SYNTHESIS OF STRUCTURED PROGRAM SCHEMAS
    YUSHCHENKO, EL
    TSEITLIN, GE
    GALUSHKA, AV
    CYBERNETICS, 1989, 25 (06): : 713 - 727
  • [9] Testing from Structured Algebraic Specifications: The Veritas Case Study
    Machado, Patricia D. L.
    Oliveira, Elthon A. S.
    Barbosa, Paulo E. S.
    Rodrigues, Cassio L.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 130 : 235 - 261
  • [10] INTRODUCTION TO ALGEBRAIC SPECIFICATIONS BASED ON THE LANGUAGE ACT ONE
    DEMEER, J
    ROTH, R
    VUONG, S
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1992, 23 (05): : 363 - 392
12345