Deriving programs from their Z specifications

被引：0
|
作者：
Cruz, Ricardo Calderon [1 ]
机构：
[1] Inst Invest Elect, Temixco 62490, Morelos, Mexico
来源：
CERMA2006: ELECTRONICS, ROBOTICS AND AUTOMOTIVE MECHANICS CONFERENCE VOL 2, PROCEEDINGS | 2006年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper proposes techniques for deriving programs from their abstract specifications, more specifically proposes refinement techniques for the schema calculus of Z specification language. These techniques are based on a theory for specification refinement and program development.
引用
下载
收藏
页码：297 / 302
页数：6
相关论文
共 50 条
  • [21] Deriving liveness goals from temporal logic specifications
    Caleiro, C
    Saake, G
    Sernadas, A
    JOURNAL OF SYMBOLIC COMPUTATION, 1996, 22 (5-6) : 521 - 553
  • [22] Deriving specifications from requirements through problem reduction
    Rapanotti, L.
    Hall, J. G.
    Li, Z.
    IEE PROCEEDINGS-SOFTWARE, 2006, 153 (05): : 183 - 198
  • [23] Deriving protocol specifications from service specifications written as Predicate/Transition-nets
    Yamaguchi, Hirozumi
    El-Fakih, Khaled
    Bochmann, Gregor v.
    Higashino, Teruo
    COMPUTER NETWORKS, 2007, 51 (01) : 258 - 284
  • [24] From functional specifications to logic programs
    Gelfond, M
    Gabaldon, A
    LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 355 - 369
  • [25] From XML specifications to parallel programs
    Pelaez, Ignacio
    Almeida, Francisco
    Gonzalez, Daniel
    PARALLEL AND DISTRIBUTED PROCESSING AND APPLICATIONS, 2006, 4330 : 267 - +
  • [26] FROM RELATIONAL SPECIFICATIONS TO LOGIC PROGRAMS
    Near, Joseph P.
    TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10), 2010, 7 : 144 - 153
  • [27] Deriving concurrent synchronous EFSMs from protocol specifications in LOTOS
    Kitajima, A
    Yasumoto, K
    Higashino, T
    Taniguchi, K
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1999, E82A (03) : 487 - 494
  • [28] Discovering and Deriving Service Variants from Business Process Specifications
    Ponnalagu, Karthikeyan
    Narendra, Nanjangud C.
    SERVICE-ORIENTED COMPUTING - ICSOC 2008, PROCEEDINGS, 2008, 5364 : 691 - 707
  • [29] Requirement progression in problem frames: deriving specifications from requirements
    Seater, Robert
    Jackson, Daniel
    Gheyi, Rohit
    REQUIREMENTS ENGINEERING, 2007, 12 (02) : 77 - 102
  • [30] Requirement progression in problem frames: deriving specifications from requirements
    Robert Seater
    Daniel Jackson
    Rohit Gheyi
    Requirements Engineering, 2007, 12 : 77 - 102
12345