咨询与建议

限定检索结果

文献类型

  • 124 篇 期刊文献
  • 14 篇 会议
  • 6 册 图书

馆藏范围

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

日期分布

学科分类号

  • 108 篇 工学
    • 81 篇 计算机科学与技术...
    • 74 篇 软件工程
    • 18 篇 电气工程
    • 14 篇 控制科学与工程
    • 4 篇 信息与通信工程
    • 3 篇 电子科学与技术(可...
    • 1 篇 仪器科学与技术
    • 1 篇 材料科学与工程(可...
  • 3 篇 理学
    • 2 篇 数学
    • 2 篇 系统科学
    • 1 篇 生物学
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 144 篇 programming supp...
  • 51 篇 software tools
  • 32 篇 software enginee...
  • 28 篇 programming envi...
  • 27 篇 software enginee...
  • 11 篇 formal specifica...
  • 10 篇 operating system...
  • 10 篇 software develop...
  • 10 篇 object-oriented ...
  • 10 篇 software managem...
  • 8 篇 high level langu...
  • 8 篇 project support ...
  • 8 篇 program testing
  • 8 篇 diagnostic, test...
  • 8 篇 artificial intel...
  • 7 篇 knowledge engine...
  • 7 篇 systems analysis...
  • 6 篇 configuration ma...
  • 6 篇 ada
  • 6 篇 real-time system...

机构

  • 4 篇 univ lancaster d...
  • 4 篇 delft university...
  • 3 篇 syst designers p...
  • 3 篇 queens univ belf...
  • 2 篇 delft univ techn...
  • 2 篇 univ york dept c...
  • 2 篇 leiden universit...
  • 2 篇 norwegian inst t...
  • 2 篇 univ bradford de...
  • 2 篇 tno-institute of...
  • 2 篇 united technol r...
  • 2 篇 univ washington ...
  • 2 篇 tno-institute of...
  • 2 篇 the generics gro...
  • 2 篇 univ calif berke...
  • 2 篇 tno institute of...
  • 2 篇 washington univ ...
  • 2 篇 univ london impe...
  • 1 篇 electrical engin...
  • 1 篇 univ british col...

作者

  • 4 篇 r.b.m. jaspers
  • 4 篇 j.m.a. sassen
  • 3 篇 sommerville i
  • 3 篇 glassman elena l...
  • 3 篇 kramer j
  • 2 篇 a. ollongren
  • 2 篇 stevenson i
  • 2 篇 magee j
  • 2 篇 kim kh
  • 2 篇 mcdermid ja
  • 2 篇 ichinco michelle
  • 2 篇 z. papp
  • 2 篇 bacellar l
  • 2 篇 griffiths g
  • 2 篇 bott mf
  • 2 篇 jaspers rbm
  • 2 篇 hartmann bjorn
  • 2 篇 bustard dw
  • 2 篇 kim miryung
  • 2 篇 sassen jma

语言

  • 78 篇 其他
  • 66 篇 英文
检索条件"主题词=Programming support"
144 条 记 录,以下是81-90 订阅
排序:
POO, a Hybrid OO Method for Real-Time SW
收藏 引用
IFAC Proceedings Volumes 1992年 第11期25卷 197-201页
作者: V. Cortés SYSTEMS DEPARTMENT ALCATEL SESA LTS DIVISION Madrid Spain
A new method/platform specially suited to develop hard real-time SW products, so as to reuse any non-specific feature (both high-level and HW-dependent), has been devised and intensively used in the Management Subsyst... 详细信息
来源: 评论
An execution environment for real-time model-based supervisory control and diagnostic systems
收藏 引用
Annual Review in Automatic programming 1992年 17卷 521-526页
作者: Z. Papp J.A. van Woerden B.J.F. Driessen TNO Institute of Applied Physics P.O. Box 155 2600 AD Delft The Netherlands
The paper presents a Lisp based programming tool and the underlying computational model, which support implementing real-time model/knowledge-based control and diagnostic systems by giving architectural and algorithmi... 详细信息
来源: 评论
Enabling Efficient Schedulability Analysis through Program Transformations and Restricted Resource Contention
收藏 引用
IFAC Proceedings Volumes 1992年 第11期25卷 269-273页
作者: Alexander D. Stoyenko Thomas J. Marlowe Wolfgang A. Halang Real-Time Computing Laboratory Computer and Information Science New Jersey Institute of Technology Newark New Jersey 07102 USA Mathematics and Computer Science Seton Hall University South Orange New Jersey 07079 USA Computing Science University of Groningen P.O. Box 800 9700 AV Groningen The Netherlands
We present polynomial-time static semantics-preserving transformations of real-time programs. Used in conjunction with schedulability analysis, the transformations significantly increase the class of real-time program... 详细信息
来源: 评论
Monitoring the Development of Real-Time Systems: the COSMOS Project
收藏 引用
IFAC Proceedings Volumes 1992年 第11期25卷 241-246页
作者: N. Fuchs R. Lockhart S. Stainer R. Whitty Alcate Austria ELIN Ruthnergasse 1-7 A-1210 wien Austria Goldsmith' College The University of London New Cross London SE14 6NW Alcatel Austria ELIN Ruthnergasse 1-7 A-1210 wien Austria Goldmiths' College The University of London New Cross London SE14 6NW
We describe the theory and use of the COSMOS static analysing tool, which has been developed under the CEC Esprit programme. The tool can be used to analyse a wide range of program languages and formal specification n... 详细信息
来源: 评论
FROM OBJECTS TO CLASSES - ALGORITHMS FOR OPTIMAL OBJECT-ORIENTED DESIGN
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1991年 第4期6卷 205-228页
作者: LIEBERHERR, KJ BERGSTEIN, P SILVALEPE, I College of Computer Science Northeastern University Boston USA
The contributions of this paper are two-fold: first, we introduce a novel, axiomatically defined, object-oriented data model called the Demeter kernel model;and secondly, we present abstraction and optimisation algori... 详细信息
来源: 评论
BUILDING YOUR OWN SOFTWARE-DEVELOPMENT ENVIRONMENT
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1991年 第5期6卷 317-331页
作者: SUGIYAMA, Y HOROWITZ, E UNIV SO CALIF DEPT COMP SCILOS ANGELESCA 90089
The full power of process programming can only be achieved by a system in which we can dynamically design and execute the software process model, as well as the environment which executes the software process model. W... 详细信息
来源: 评论
INITIAL SOFTWARE PROCESS MANAGEMENT IN EPOS
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1991年 第5期6卷 275-284页
作者: CONRADI, R OSJORD, E WESTBY, PH LIU, C NORWEGIAN INST TECHNOL DIV COMP SYST & TELEMATN-7034 TRONDHEIMNORWAY BEIJING POLYTECH UNIV BEIJINGPEOPLES R CHINA
EPOS* is an instrumentable, kernel software engineering environment (SEE), featuring change-oriented versioning to manage evolving software products or configurations, through file-based workspaces attached to a versi... 详细信息
来源: 评论
EXPOSE - AN ANIMATION TOOL FOR PROCESS-ORIENTED SPECIFICATIONS
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1991年 第6期6卷 463-475页
作者: WINSTANLEY, AC BUSTARD, DW UNIV ULSTER DEPT COMP SCICOLERAINE BT52 1SANORTH IRELAND QUEENS UNIV BELFAST DEPT COMP SCIBELFAST BT7 1NNANTRIMNORTH IRELAND CARNEGIE MELLON UNIV INST SOFTWARE ENGNPITTSBURGHPA 15213
This paper describes and evaluates EXPOSE, an animation tool for process-oriented formal specifications of concurrent systems. EXPOSE takes as input the text of a formal specification and, from it, generates static vi... 详细信息
来源: 评论
A DECISION-BASED CONFIGURATION PROCESS ENVIRONMENT
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1991年 第5期6卷 332-346页
作者: ROSE, T JARKE, M GOCEK, M MALTZAHN, C NISSEN, HW UNIV PASSAU W-8390 PASSAUGERMANY
In the context of the ESPRIT project DAIDA, we have developed an experimental environment intended to achieve consistency-in-the-large in a multi-person setting. Our conceptual model of configuration processes, the CA... 详细信息
来源: 评论
SOFTWARE ENGINEERING, THE SOFTWARE PROCESS AND THEIR support
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1991年 第5期6卷 243-258页
作者: LEHMAN, MM UNIV LONDON IMPERIAL COLL SCI & TECHNOL DEPT COMPLONDON SW7 2BZENGLAND
Computers are being applied more and more widely, penetrating ever deeper into the very fabric of society. Mankind is becoming increasingly dependent on the availability of software and its continuing validity. To ach... 详细信息
来源: 评论