On the specification of complex software systems

被引：0
|
作者：
Moxley, FI
机构：
来源：
SECOND IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS: HELD JOINTLY WITH 6TH CSESAW, 4TH IEEE RTAW, AND SES'96 | 1996年
关键词：
software architecture; design specification; requirements specification; users manual;
D O I：
10.1109/ICECCS.1996.558399
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：134 / 138
页数：5
相关论文
共 50 条
  • [1] Architecture specification of multimedia software systems
    Tsai, JJP
    Xu, K
    [J]. IEEE INTERNATIONAL CONFERENCE ON MULTIMEDIA COMPUTING AND SYSTEMS, PROCEEDINGS VOL 1, 1999, : 97 - 102
  • [2] Software specification and design for imaging systems
    Laplante, PA
    Neill, CJ
    [J]. JOURNAL OF ELECTRONIC IMAGING, 2003, 12 (02) : 252 - 262
  • [3] On Formal Specification of Software Components and Systems
    Flynn, Sharon
    Hamlet, Dick
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 161 : 91 - 107
  • [4] A new specification of software components for embedded systems
    Azumi, Takuya
    Yamamoto, Masanari
    Kominami, Yasuo
    Takagi, Nobuhisa
    Oyama, Hiroshi
    Takada, Hiroaki
    [J]. 10TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT AND COMPONENT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2007, : 46 - +
  • [5] Discovering Specification Violations in Networked Software Systems
    Walls, Robert J.
    Brun, Yuriy
    Liberatore, Marc
    Levine, Brian Neil
    [J]. 2015 IEEE 26TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2015, : 496 - 506
  • [6] 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
  • [7] Specification driven design of complex systems
    Tanir, O
    [J]. WESCON - 96, CONFERENCE PROCEEDINGS, 1996, : 327 - 332
  • [8] Applying specification methods to complex systems
    Sahraoui, N
    [J]. SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 4488 - 4491
  • [9] Formal Specification and Analysis of Timing Properties in Software Systems
    AlTurki, Musab
    Dhurjati, Dinakar
    Yu, Dachuan
    Chander, Ajay
    Inamura, Hiroshi
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 5503 : 262 - +
  • [10] SPECIFICATION AND DESIGN OF EMBEDDED HARDWARE-SOFTWARE SYSTEMS
    GAJSKI, DD
    VAHID, F
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 1995, 12 (01): : 53 - 67
12345