咨询与建议

限定检索结果

文献类型

  • 114 篇 会议
  • 9 篇 期刊文献

馆藏范围

  • 123 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 42 篇 工学
    • 42 篇 软件工程
    • 41 篇 计算机科学与技术...
    • 10 篇 电气工程
    • 8 篇 控制科学与工程
    • 7 篇 机械工程
    • 6 篇 电子科学与技术(可...
    • 2 篇 信息与通信工程
    • 2 篇 建筑学
    • 2 篇 土木工程
    • 2 篇 水利工程
    • 2 篇 测绘科学与技术
    • 1 篇 动力工程及工程热...
    • 1 篇 交通运输工程
    • 1 篇 航空宇航科学与技...
  • 11 篇 管理学
    • 11 篇 管理科学与工程(可...
    • 8 篇 工商管理
  • 9 篇 理学
    • 8 篇 数学
    • 3 篇 物理学
    • 1 篇 统计学(可授理学、...
  • 2 篇 经济学
    • 2 篇 应用经济学
  • 1 篇 教育学
    • 1 篇 教育学

主题

  • 35 篇 software tools
  • 23 篇 computer aided s...
  • 17 篇 software enginee...
  • 16 篇 design automatio...
  • 14 篇 computer aided e...
  • 10 篇 real time system...
  • 10 篇 computer softwar...
  • 8 篇 software require...
  • 8 篇 software reliabi...
  • 8 篇 system analysis ...
  • 6 篇 simulation
  • 6 篇 computer aided i...
  • 5 篇 computer science...
  • 5 篇 user interfaces
  • 4 篇 knowledge based ...
  • 4 篇 software package...
  • 4 篇 automatic progra...
  • 4 篇 systems engineer...
  • 4 篇 digital control
  • 4 篇 software quality

机构

  • 2 篇 logica cambridge...
  • 2 篇 cambridge consul...
  • 2 篇 british telecomm...
  • 2 篇 stc defence cont...
  • 2 篇 xilinx inc san j...
  • 1 篇 ascent logic cor...
  • 1 篇 british telecomm...
  • 1 篇 dept. of comput....
  • 1 篇 grove consultant...
  • 1 篇 vision software ...
  • 1 篇 iee computing & ...
  • 1 篇 department of co...
  • 1 篇 staffordshire un...
  • 1 篇 department of el...
  • 1 篇 univ of paisley ...
  • 1 篇 department of co...
  • 1 篇 qcc training ltd...
  • 1 篇 department of el...
  • 1 篇 department of ma...
  • 1 篇 m/a-com limited ...

作者

  • 4 篇 anon
  • 2 篇 t.w. abernethy
  • 1 篇 smith p.
  • 1 篇 i.m.d. smith
  • 1 篇 j.a. mcdermid
  • 1 篇 g. reiss
  • 1 篇 rodd m.g.
  • 1 篇 p. nixon
  • 1 篇 p.w. rush
  • 1 篇 i. toyn
  • 1 篇 parker j.e.
  • 1 篇 d.h. south
  • 1 篇 t.s. moran
  • 1 篇 j.f. dawson
  • 1 篇 a.c. worley
  • 1 篇 e. bradley
  • 1 篇 wood a.p.
  • 1 篇 talbot d.e.
  • 1 篇 wichmann b.a.
  • 1 篇 dunnett graham

语言

  • 123 篇 英文
检索条件"任意字段=IEE Colloquium on Application of Computer Aided Software Engineering Tools"
123 条 记 录,以下是41-50 订阅
排序:
An illustration of the Yourdon method with Ward/Mellor and Hatley/Pirbhai real time extensions and a review of workstation hosted CASE tools that support the methodology
An illustration of the Yourdon method with Ward/Mellor and H...
收藏 引用
iee colloquium on computer aided software engineering tools for Real-Time Control
作者: P.F. Tippell Thames Valley College of Higher Education
Describes work carried out for Thorn Security Ltd to illustrate the application of Ward/Mellor structured analysis methods to the analysis of fire monitoring systems. Typical target systems are embedded using a real t... 详细信息
来源: 评论
GAMBITS - from requirements capture to C++ code generation
GAMBITS - from requirements capture to C++ code generation
收藏 引用
作者: Powell, D. DRA Fort Halstead Kent United Kingdom
GAMBITS (Graphical Approach to Modeling and Building Interactively a Technical System) provides support for the progressive realization and traceability of functional and non-functional requirements from initial conce... 详细信息
来源: 评论
The Z environment
The Z environment
收藏 引用
iee colloquium on application of computer aided software engineering tools
作者: K.P. Ishaq J.J. Masterson C.B. Rich British Telecommunications Research Laboratories Ipswich UK
A major ongoing development is the Z environment (ZEN) project which provides a support environment for the creation and animation of specifications written using the Z technique. A prototype has been completed and wo... 详细信息
来源: 评论
application of a CASE tool to a high integrity engine control system
Application of a CASE tool to a high integrity engine contro...
收藏 引用
iee colloquium on computer aided software engineering tools for Real-Time Control
作者: L. Gaffing Electronic Systems Division LUCAS AEROSPACE Birmingham
The Teamwork computer aided software engineering (CASE) tool provides an environment for structured analysis and design. This environment incorporates a number of graphical and textual editors with facilities for erro... 详细信息
来源: 评论
Static and dynamic testing of the Channel Tunnel's control and communication software
收藏 引用
iee colloquium (Digest) 1996年 第96期 varpaging页
作者: Wood, A.P. Cent for Software Engineering United Kingdom
Automatic static and dynamic analysis tools were employed to test the software used for the Channel Tunnel which is equipped with a complex set of control and communications computer systems involving a large amount o... 详细信息
来源: 评论
Realistic approach to the test of safety critical software for aerospace applications
收藏 引用
iee colloquium (Digest) 1996年 第96期 varpaging页
作者: Dolman, W.C. Chandler, J.R. Wells, C. Betts, A. Lucas Aerospace United Kingdom
Lucas Aerospace has created a special proprietary language, called LUCOL, which it uses to develop the software for producing safety critical control systems for aerospace applications. Lucas Aerospace employs several... 详细信息
来源: 评论
Review of CASE experience on the BART ICS project
Review of CASE experience on the BART ICS project
收藏 引用
iee colloquium on application of computer aided software engineering tools
作者: J.R. Jones Logica Cambridge Limited London UK
BART is a rapid transit system for the San Francisco Bay Area. The ICS project will provide an integrated control system to enable the train service to be upgraded. The ICS system has a strong real time element and it... 详细信息
来源: 评论
The application of tools to an IPSE
The application of tools to an IPSE
收藏 引用
iee colloquium on application of CASE tools
作者: J.M. Pratt STC Defence Contracts Unit
An IPSE (integrated project support environment), is a generalisation of computer aided software engineering techniques to include all the activities and information within a project. It is implemented on a distribute... 详细信息
来源: 评论
engineering the tools for the job and the job for the tools
收藏 引用
iee colloquium (Digest) 1996年 第96期 varpaging页
作者: Quentin, Geoff QCC Training Ltd United Kingdom
Problems often arise during tool and process integration when tool vendors have a different view of what is needed from the developer and the tester. If the development and testing activities are not well integrated, ... 详细信息
来源: 评论
Overview of CAST tools
收藏 引用
iee colloquium (Digest) 1996年 第96期 varpaging页
作者: Graham, Dorothy R. Grove Consultants United Kingdom
A review of the different types of software packages used for software testing is presented. The most popular type is the test execution tool which runs tests and compares the output of the software under test with th... 详细信息
来源: 评论