A FRAMEWORK FOR SPECIFICATION AND DESIGN OF SOFTWARE FOR ADVANCED SENSOR SYSTEMS

被引：0
|
作者：
MUNTZ, AH
HOROWITZ, E
机构：
来源：
REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS | 1989年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：204 / 213
页数：10
相关论文
共 50 条
  • [1] An adaptive framework for the design of software specification languages
    Neto, JJ
    Silva, PSM
    [J]. ADAPTIVE AND NATURAL COMPUTING ALGORITHMS, 2005, : 349 - 352
  • [2] Design Semantic Framework for Software Requirement Specification
    Hassan, Taimoor
    Hassan, Shoaib
    [J]. 2016 6TH INTERNATIONAL CONFERENCE ON IT CONVERGENCE AND SECURITY (ICITCS 2016), 2016, : 115 - 119
  • [3] Software specification and design for imaging systems
    Laplante, PA
    Neill, CJ
    [J]. JOURNAL OF ELECTRONIC IMAGING, 2003, 12 (02) : 252 - 262
  • [4] A Framework for Evaluating Software Design Pattern Specification Languages
    Khwaja, Salman
    Alshayeb, Mohammad
    [J]. 2013 IEEE/ACIS 12TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE (ICIS), 2013, : 41 - 45
  • [5] SPECIFICATION, DESIGN, PROTOTYPING AND VERIFICATION OF SOFTWARE SYSTEMS
    DEMAN, J
    DUPONCHEEL, L
    VANPUYMBROECK, W
    DOMINGUEZ, RP
    [J]. ELECTRICAL COMMUNICATION, 1988, 62 (3-4): : 259 - 264
  • [6] SPECIFICATION AND DESIGN OF EMBEDDED HARDWARE-SOFTWARE SYSTEMS
    GAJSKI, DD
    VAHID, F
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 1995, 12 (01): : 53 - 67
  • [7] A framework for heterogeneous specification and design of electronic embedded systems in SystemC
    Herrera, Fernando
    Villar, Eugenio
    [J]. ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2007, 12 (03)
  • [8] On the specification of complex software systems
    Moxley, FI
    [J]. SECOND IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS: HELD JOINTLY WITH 6TH CSESAW, 4TH IEEE RTAW, AND SES'96, 1996, : 134 - 138
  • [9] A Formal Specification Framework for Designing and Verifying Reliable and Dependable Software for CNC Systems
    Cao, Yunan
    [J]. ADVANCES IN MECHANICAL ENGINEERING, 2014,
  • [10] SLAN-4 - A LANGUAGE FOR THE SPECIFICATION AND DESIGN OF LARGE SOFTWARE SYSTEMS
    BEICHTER, F
    HERZOG, O
    PETZSCH, H
    [J]. IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1983, 27 (06) : 558 - 576
12345