A FORMAL SPECIFICATION OF A HIGH-LEVEL LANGUAGE FOR THE DESCRIPTION OF WORK PRACTICES IN OFFICES

被引：0
|
作者：
BEHRMANNPOITIERS, J
ELIXMANN, M
LEMKE, F
机构：
来源：
PHILIPS JOURNAL OF RESEARCH | 1990年 / 45卷 / 02期
关键词：
D O I：
暂无
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
引用
收藏
页码：87 / 109
页数：23
相关论文
共 50 条
  • [21] Verbalization of high-level formal proofs
    Holland-Minkley, AM
    Barzilay, R
    Constable, RL
    SIXTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-99)/ELEVENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE (IAAI-99), 1999, : 277 - 284
  • [22] Formal Verification of High-Level Synthesis
    Herklotz, Yann
    Pollard, James D.
    Ramanathan, Nadesh
    Wickerson, John
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5 (OOPSLA):
  • [23] Formal Verification of GCSE in the Scheduling of High-level Synthesis: Work-in-Progress
    Hu, Jian
    Hu, Yongyang
    Yu, Long
    Wang, Wentao
    Yang, Haitao
    Kang, Yun
    Cheng, Jie
    PROCEEDINGS OF THE 2020 INTERNATIONAL CONFERENCE ON HARDWARE/SOFTWARE CODESIGN AND SYSTEM SYNTHESIS (CODES+ISSS), 2019, : 1 - 2
  • [24] TOOL FOR SPECIFICATION OF SYNCHRONIZATION IN HIGH-LEVEL LANGUAGES
    PULOU, J
    RAIRO-INFORMATIQUE-COMPUTER SCIENCE, 1978, 12 (04): : 291 - 306
  • [25] Use of formal specification and design language for protocol description -: Field report
    Prüssner, M
    Gemici, A
    FIELDBUS TECHNOLOGY: SYSTEMS INTEGRATION, NETWORKING, AND ENGINEERING, 1999, : 146 - 151
  • [26] High-level specification and animation of communicative gestures
    Gibet, S
    Lebourque, T
    Marteau, PF
    JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2001, 12 (06): : 657 - 687
  • [27] HIGH-LEVEL MICROCOMPUTER LANGUAGE
    FERGUSON, DF
    GIBBONS, AJ
    MINI-MICRO SYSTEMS, 1978, 11 (10): : 90 - &
  • [28] A high-level specification for mediators (virtual providers)
    Altenhofen, M
    Böger, E
    Lemcke, J
    BUSINESS PROCESS MANAGEMENT WORKSHOPS, 2006, 3812 : 116 - 129
  • [29] METACSL: Specification and Verification of High-Level Properties
    Robles, Virgile
    Kosmatov, Nikolai
    Prevosto, Virgile
    Rilling, Louis
    Le Gall, Pascale
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT I, 2019, 11427 : 358 - 364
  • [30] A Methodology for High-level Software Specification Construction
    Ying, J. et al.
    Software Engineering Notes, 20 (02):
12345