咨询与建议

限定检索结果

文献类型

  • 2 篇 期刊文献
  • 2 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 3 篇 工学
    • 2 篇 计算机科学与技术...
    • 2 篇 软件工程
    • 1 篇 机械工程
    • 1 篇 电子科学与技术(可...
    • 1 篇 土木工程
    • 1 篇 船舶与海洋工程
  • 2 篇 理学
    • 1 篇 数学
    • 1 篇 海洋科学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 管理学
    • 1 篇 工商管理

主题

  • 1 篇 object oriented ...
  • 1 篇 safety
  • 1 篇 embedded systems
  • 1 篇 monitoring
  • 1 篇 contracts
  • 1 篇 pins
  • 1 篇 pipelines
  • 1 篇 unified modeling...
  • 1 篇 computer softwar...

机构

  • 1 篇 department of co...
  • 1 篇 embedded systems...
  • 1 篇 institute of emb...
  • 1 篇 dept. of compute...
  • 1 篇 usn
  • 1 篇 institute of emb...

作者

  • 1 篇 daw zamira
  • 1 篇 marcus vetter
  • 1 篇 zamira daw
  • 1 篇 boercsoek josef
  • 1 篇 josef boercsoek
  • 1 篇 turley jim
  • 1 篇 vetter marcus
  • 1 篇 paige kk
  • 1 篇 converse ra

语言

  • 4 篇 英文
检索条件"机构=Embedded Systems Programming"
4 条 记 录,以下是1-10 订阅
排序:
Tools for dummies? Don't sneer
Electronic Engineering Times
收藏 引用
Electronic Engineering Times 2005年 第1355期 46-46页
作者: Turley, Jim Embedded Systems Programming
The development tools like compilers, debuggers and integrated development environments (IDE) are getting slicker and glossier. The "Development Tools for Dummies" concept are important as talented labor is ... 详细信息
来源: 评论
Towards safe data flow processing by integration of design by contract in deterministic UML activities
Towards safe data flow processing by integration of design b...
收藏 引用
2011 23rd International Symposium on Information, Communication and Automation Technologies, ICAT 2011
作者: Daw, Zamira Vetter, Marcus Boercsoek, Josef Institute of Embedded Systems Hochschule Mannheim - University of Applied Sciences Mannheim Germany Dept. of Computer Architecture and System Programming University of Kassel Kassel Germany
Data flow processing is a common task of embedded systems which is usually modeled as a pipeline. Errors in a block of this pipeline can be propagated through it thus leading to unexpected and erroneous behaviors. For... 详细信息
来源: 评论
Towards safe data flow processing by integration of design by contract in deterministic UML activities
Towards safe data flow processing by integration of design b...
收藏 引用
XXII International Symposium on Information, Communication and Automation Technologies, ICAT
作者: Zamira Daw Marcus Vetter Josef Boercsoek Institute of Embedded Systems Hochschule Mannheim-University of Applied Sciences Mannheim Germany Department of Computer Architecture and System Programming University of Kassel Kassel Germany
Data flow processing is a common task of embedded systems which is usually modeled as a pipeline. Errors in a block of this pipeline can be propagated through it thus leading to unexpected and erroneous behaviors. For... 详细信息
来源: 评论
RATIONALE FOR AN ADA SOFTWARE ENGINEERING ENVIRONMENT FOR NAVY MISSION CRITICAL APPLICATIONS
收藏 引用
NAVAL ENGINEERS JOURNAL 1984年 第4期96卷 133-145页
作者: PAIGE, KK CONVERSE, RA USN LCdr. Kathleen K. Paige USN:graduated with a BA from the University of New Hampshire in 1970. She received her commission from Officer Candidate School in April 1971 and performed her first tour of duty with VFP-63 NAS Miramar. LCdr. Paige then received her MS from the Naval Post Graduate School in June 1976 and returned to San Diego to serve as Head Support Software Division at the Fleet Combat Direction System Support Activity. In May 1981 she reported to NA VSEA (PMS-408) where she served initially as Chairman of the NAVMAT Software Engineering Environment Working Group. She has been assigned as Deputy AN/UYK-43 Acquisition Manager since October 1981. LCdr. Paige was designated a fully qualified Engineering Duty Officer in December 1983. Robert A. Converse:is presently the Acquisition Manager for the Ada Language System/Navy (ALS/N) for the Naval Sea Systems Command Tactical Embedded Computer Resources Project. As such he is responsible for the definition and development of the ALS/N to be provided as a Navy standard computer programming system for Navy mission critical applications. Mr. Converse received a Bachelor of Science degree in Physics from Wheaton College Wheaton II. He spent fourteen years with the Naval Underwater Systems Center Newport Rhode Island during which time he designed and developed the Fortran compiler for the Navy Standard AN/UYK-7 computer. Also during that period he received a Master of Science degree in Computer Science from the University of Rhode Island. His thesis for that degree was entitled “Optimization Techniques for the NUSC Fortran Cross-Compiler”. Mr. Converse started his involvement with the Ada program in 1975 with the initial “Strawman” requirements review. Subsequently he was named as the Navy Ada Distinguished Reviewer and was intimately involved in the selection and refinement of the Ada language as it evolved to become ANSI/MIL-STD-1815A.
The U.S. Navy introduced the use of digital computers in mission critical applications over a quarter of a century ago. Today, virtually every system in the current and planned Navy inventory makes extensive use of co...
来源: 评论