用户名  找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Reliable Software Technologies - Ada-Europe ‘99; 1999 Ada-Europe Inte Michael González Harbour,Juan A. Puente Conference proceedings 1999 S

[复制链接]
楼主: Eisenhower
发表于 2025-3-25 06:37:18 | 显示全部楼层
发表于 2025-3-25 08:31:00 | 显示全部楼层
Mapping Object-Oriented Designs to Adaatever the method, UML or Fusion, are not programming-language specific, and there is therefore a gap between the design models and the implementation. This paper is a comprehensive study of all of these gaps for the Ada programming language. The approach is illustrated by an example, complete enoug
发表于 2025-3-25 12:06:23 | 显示全部楼层
发表于 2025-3-25 19:18:24 | 显示全部楼层
Report on the VERA Experimentystems demanded by current and future applications. The Marconi Research Centre devised a software testing experiment called VERA with the aim of .nding a cost-e.ective veri.cation process. Four mainstream techniques were selected: code review, Fagan inspection, static analysis and automated test-ca
发表于 2025-3-25 21:03:42 | 显示全部楼层
Acceptance Testing of Object Oriented Systems-effect graphing for the design of test cases. The formal characteristics of this approach guarantee a complete functional coverage not easily found in the state of the practice “adhoc manner” acceptance testing. This approach was applied in an object oriented application developed for the financial
发表于 2025-3-26 02:11:38 | 显示全部楼层
发表于 2025-3-26 07:13:36 | 显示全部楼层
Interprocedural Symbolic Evaluation of Ada Programs with Aliasesn [.] to support interprocedural symbolic evaluation. Our data-flow framework utilizes a novel approach based on an array algebra to handle aliases induced by procedure calls. It serves as as a basis for static program analysis (e.g. reaching definitions-, alias analysis, worst-case performance esti
发表于 2025-3-26 11:27:04 | 显示全部楼层
发表于 2025-3-26 14:49:03 | 显示全部楼层
Translating Time Petri Net Structures in Ada 95 Statementsuse models of the Ada 95 tasking statements. Using reduction rules the model of the statement is reduced in order to make it recognizeable in the net which models the systems. Thus, we can build a catalogue of the reduced models of the Ada 95 tasking statements so that they can be used in the transl
发表于 2025-3-26 17:25:16 | 显示全部楼层
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-7-4 00:13
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表