找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Reliable Software Technologies - Ada-Europe ‘98; 1998 Ada-Europe Inte Lars Asplund Conference proceedings 1998 Springer-Verlag Berlin Heide

[复制链接]
查看: 19428|回复: 67
发表于 2025-3-21 18:19:55 | 显示全部楼层 |阅读模式
书目名称Reliable Software Technologies - Ada-Europe ‘98
副标题1998 Ada-Europe Inte
编辑Lars Asplund
视频video
丛书名称Lecture Notes in Computer Science
图书封面Titlebook: Reliable Software Technologies - Ada-Europe ‘98; 1998 Ada-Europe Inte Lars Asplund Conference proceedings 1998 Springer-Verlag Berlin Heide
描述This book presents the refereed proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe‘98, held in Uppsala, Sweden, in June 1998..The 23 revised full papers presented together with two invited contributions were carefully selected by the program committee. The papers address all current aspects of the Ada programming language; they are organized in sections on Ada 95 and Java, Ada 95 language and tools, distributed systems, real-time systems, case studies and experiments, software quality, software development, software architectures, and high integrity systems.
出版日期Conference proceedings 1998
关键词Action; Ada; Ada 95; Java; Java Virtual Machine; distributed systems; inheritance; object; programming langu
版次1
doihttps://doi.org/10.1007/BFb0054988
isbn_softcover978-3-540-64536-8
isbn_ebook978-3-540-69802-9Series ISSN 0302-9743 Series E-ISSN 1611-3349
issn_series 0302-9743
copyrightSpringer-Verlag Berlin Heidelberg 1998
The information of publication is updating

书目名称Reliable Software Technologies - Ada-Europe ‘98影响因子(影响力)




书目名称Reliable Software Technologies - Ada-Europe ‘98影响因子(影响力)学科排名




书目名称Reliable Software Technologies - Ada-Europe ‘98网络公开度




书目名称Reliable Software Technologies - Ada-Europe ‘98网络公开度学科排名




书目名称Reliable Software Technologies - Ada-Europe ‘98被引频次




书目名称Reliable Software Technologies - Ada-Europe ‘98被引频次学科排名




书目名称Reliable Software Technologies - Ada-Europe ‘98年度引用




书目名称Reliable Software Technologies - Ada-Europe ‘98年度引用学科排名




书目名称Reliable Software Technologies - Ada-Europe ‘98读者反馈




书目名称Reliable Software Technologies - Ada-Europe ‘98读者反馈学科排名




单选投票, 共有 0 人参与投票
 

0票 0%

Perfect with Aesthetics

 

0票 0%

Better Implies Difficulty

 

0票 0%

Good and Satisfactory

 

0票 0%

Adverse Performance

 

0票 0%

Disdainful Garbage

您所在的用户组没有投票权限
发表于 2025-3-21 22:21:57 | 显示全部楼层
发表于 2025-3-22 04:13:15 | 显示全部楼层
PINROB: A portable API for industrial robots,ication software is dissociated from the low-level robot controller software. The interaction between these two pieces of software is achieved by a portable application programming interface (API) for industrial robots. We discuss the requirements for such an API, and propose a design called PINROB.
发表于 2025-3-22 07:28:10 | 显示全部楼层
Quality-for-ASIS: A portable testing facility for ASIS,ific problems and requirements are presented. After a section about the basic concepts of ASIS and after a short introduction to testing, the designs and implementations for testing important subsets of ASIS are described. Finally, adequacy coverage statistics for a test set based on the ACVC compiler validation suite are provided.
发表于 2025-3-22 10:14:53 | 显示全部楼层
978-3-540-64536-8Springer-Verlag Berlin Heidelberg 1998
发表于 2025-3-22 15:53:12 | 显示全部楼层
Reliable Software Technologies - Ada-Europe ‘98978-3-540-69802-9Series ISSN 0302-9743 Series E-ISSN 1611-3349
发表于 2025-3-22 21:05:41 | 显示全部楼层
Embedded opportunities,This is a modest attempt at unveiling forthcoming opportunities in the embedded computing sector. The final talk will also explain how Ada 95 offers a competitive advantage in the new embedded marketplace.
发表于 2025-3-23 00:43:28 | 显示全部楼层
发表于 2025-3-23 03:23:01 | 显示全部楼层
Ten years of tool based Ada compiler validations an experience report,This paper summarizes IABG‘s experience as an Ada Validation Facility from the last decade. The paper puts an emphasis on the improvement of the validation process by evolving tool support.
发表于 2025-3-23 08:48:59 | 显示全部楼层
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-6-17 22:29
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表