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

被引:0
|
作者
BEHRMANNPOITIERS, J
ELIXMANN, M
LEMKE, F
机构
关键词
D O I
暂无
中图分类号
T [工业技术];
学科分类号
08 ;
摘要
引用
收藏
页码:87 / 109
页数:23
相关论文
共 50 条
  • [1] A method for the generation of HDL code at the RTL level from a high-level formal specification language
    Kountouris, AA
    Wolinski, C
    40TH MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1 AND 2, 1998, : 1095 - 1098
  • [2] A high-level policy description language for the network ACL
    Kim, J
    Lee, K
    Kim, S
    Seo, J
    Lee, E
    Joo, M
    PARALLEL AND DISTRIBUTED COMPUTING: APPLICATIONS AND TECHNOLOGIES, PROCEEDINGS, 2004, 3320 : 748 - 751
  • [3] A language for high-level description of adaptive web systems
    Sadat-Mohtasham, S. Hossein
    Ghorbani, Ali A.
    JOURNAL OF SYSTEMS AND SOFTWARE, 2008, 81 (07) : 1196 - 1217
  • [4] The liberty structural specification language: A high-level modeling language for component reuse
    Vachharajani, M
    Vachharajani, N
    August, DI
    ACM SIGPLAN NOTICES, 2004, 39 (06) : 195 - 206
  • [5] PML: Toward a High-Level Formal Language for Biological Systems
    Chang, Bor-Yuh Evan
    Sridharan, Manu
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 180 (03) : 15 - 30
  • [6] A co-design methodology based on formal specification and high-level estimation
    Carreras, C
    Lopez, JC
    Lopez, ML
    DelgadoKloos, C
    Martinez, N
    Sanchez, L
    FOURTH INTERNATIONAL WORKSHOP ON HARDWARE/SOFTWARE CO-DESIGN (CODES/CASHE '96), PROCEEDINGS, 1996, : 28 - 35
  • [7] An extension of discrete event high level specification DECM formal language
    Giambiasi, N
    Paillet, JL
    Jumpamule, W
    SIMULATION IN INDUSTRY 2001, 2001, : 73 - 77
  • [8] A PROTOCOL SPECIFICATION LANGUAGE WITH A HIGH-LEVEL PETRI-NET SEMANTICS
    ZOUARI, B
    HADDAD, S
    TAGHELIT, M
    DECENTRALIZED AND DISTRIBUTED SYSTEMS, 1993, 39 : 225 - 241
  • [9] On the Ontological Expressiveness of the High-Level Constraint Language for Product Line Specification
    Villota, Angela
    Mazo, Raul
    Salinesi, Camille
    SYSTEM ANALYSIS AND MODELING: LANGUAGES, METHODS, AND TOOLS FOR SYSTEMS ENGINEERING, SAM 2018, 2018, 11150 : 46 - 66
  • [10] A Metric Extraction Framework Based on a High-Level Description Language
    Alikacem, El Hachemi
    Sahraoui, Houari A.
    2009 NINTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2009, : 159 - +