Semiformal Design Methods

被引：0
|
作者：
Eckrich, Michael [1 ]
Fuchs, Maximilian [1 ]
机构：
[1] Forschungs- und Ing.-Zentrum, München,80788, Germany
来源：
IT - Information Technology | 1997年 / 39卷 / 03期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：29 / 33
相关论文
共 50 条
  • [21] High-quality software through semiformal specification and verification
    Stavely, AM
    12TH CONFERENCE ON SOFTWARE ENGINEERING EDUCATION AND TRAINING, PROCEEDINGS, 1999, : 145 - 155
  • [22] TRANSLATION OF RETRIEVAL REQUESTS COUCHED IN A SEMIFORMAL ENGLISH-LIKE LANGUAGE
    CHEATHAM, TE
    WARSHALL, S
    COMMUNICATIONS OF THE ACM, 1962, 5 (01) : 34 - 39
  • [23] Semiformal Verification of Temporal Properties in Automotive Hardware Dependent Software
    Lettnin, Djones
    Nalla, Pradeep K.
    Behrend, Joerg
    Ruf, Juergen
    Gerlach, Joachim
    Kropf, Thomas
    Rosenstiel, Wolfgang
    Schoenknecht, Volker
    Reitemeyer, Stephan
    DATE: 2009 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3, 2009, : 1214 - +
  • [24] Lightweight semiformal time complexity analysis for purely functional data structures
    Danielsson, Nils Anders
    ACM SIGPLAN NOTICES, 2008, 43 (01) : 133 - 144
  • [25] Lending policies of informal, formal and semiformal lenders - Evidence from Vietnam
    Pham, Thi Thu Tra
    Lensink, Robert
    ECONOMICS OF TRANSITION, 2007, 15 (02) : 181 - 209
  • [26] Semiformal Organizations and Control During the COVID-19 Crisis in China
    Jiang, Shanhe
    Zhang, Dawei
    Irwin, Darrell D.
    ASIAN JOURNAL OF CRIMINOLOGY, 2021, 16 (01) : 75 - 90
  • [27] Lightweight Semiformal Time Complexity Analysis for Purely Functional Data Structures
    Danielsson, Nils Anders
    POPL'08: PROCEEDINGS OF THE 35TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2008, : 133 - 144
  • [28] Semiformal Organizations and Control During the COVID-19 Crisis in China
    Shanhe Jiang
    Dawei Zhang
    Darrell D. Irwin
    Asian Journal of Criminology, 2021, 16 : 75 - 90
  • [29] Polysemy networks: Mapping between polysemous sense in semiformal lexical ontology
    da Rosa Alves, Isa Mara
    de Oliveira Chishman, Rove Luiza
    CALIDOSCOPIO, 2011, 9 (03): : 240 - 250
  • [30] Centralized minimalism: Semiformal governance by quasi officials and dispute resolution in China
    Huang, Philip C. C.
    MODERN CHINA, 2008, 34 (01): : 9 - 35
12345