SEMANTIC NETS FOR REQUIREMENTS ANALYSIS AND DESIGN OF EDP SYSTEMS

被引：0
|
作者：
MITTERMEIR, R
机构：
来源：
ANGEWANDTE INFORMATIK | 1981年 / 10期
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：421 / 428
页数：8
相关论文
共 50 条
  • [1] UML and Petri Nets for design and analysis of distributed systems
    Bordbar, B
    Giacomini, L
    Holding, DJ
    [J]. PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS, 2000, : 610 - 615
  • [2] ON THE PURPOSE AND ANALYSIS OF EDP USER SYSTEMS
    PILGRIM, J
    [J]. INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1986, 24 (05): : 435 - 452
  • [3] Requirements specification and analysis of digital systems using fuzzy and marked Petri nets
    Shen, VRL
    Lai, FP
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 1998, 28 (05): : 748 - 754
  • [4] Recovering semantic traceability between requirements and design for change impact analysis
    Kchaou, Dhikra
    Bouassida, Nadia
    Mefteh, Mariam
    Ben-Abdallah, Hanene
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2019, 15 (02) : 101 - 115
  • [5] Recovering semantic traceability between requirements and design for change impact analysis
    Dhikra Kchaou
    Nadia Bouassida
    Mariam Mefteh
    Hanêne Ben-Abdallah
    [J]. Innovations in Systems and Software Engineering, 2019, 15 : 101 - 115
  • [6] Requirements and languages for the semantic representation of manufacturing systems
    Negri, Elisa
    Fumagalli, Luca
    Garetti, Marco
    Tanca, Letizia
    [J]. COMPUTERS IN INDUSTRY, 2016, 81 : 55 - 66
  • [7] Programmable timed Petri nets in the analysis and design of hybrid control systems
    Koutsoukos, XSD
    Antsaklis, PJ
    He, KXY
    Lemmon, MD
    [J]. PROCEEDINGS OF THE 37TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1998, : 1617 - 1622
  • [8] Petri Nets in measuring systems design
    Lukaszewski, Robert
    Winiecki, Wieslaw
    [J]. IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, 2008, 57 (05) : 952 - 962
  • [9] Petri nets in Measuring Systems design
    Lukaszewski, Robert
    Winiecki, Wieslaw
    [J]. 2006 IEEE INSTRUMENTATION AND MEASUREMENT TECHNOLOGY CONFERENCE PROCEEDINGS, VOLS 1-5, 2006, : 1564 - +
  • [10] CONSTRAINT NETS - A SEMANTIC MODEL FOR HYBRID DYNAMIC-SYSTEMS
    ZHANG, Y
    MACKWORTH, AK
    [J]. THEORETICAL COMPUTER SCIENCE, 1995, 138 (01) : 211 - 239
12345