找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(qū)

打印 上一主題 下一主題

Titlebook: 5th Refinement Workshop; Proceedings of the 5 Cliff B. Jones,Roger C. Shaw,Tim Denvir Conference proceedings 1992 Springer-Verlag London 19

[復制鏈接]
查看: 34665|回復: 66
樓主
發(fā)表于 2025-3-21 18:05:36 | 只看該作者 |倒序瀏覽 |閱讀模式
期刊全稱5th Refinement Workshop
期刊簡稱Proceedings of the 5
影響因子2023Cliff B. Jones,Roger C. Shaw,Tim Denvir
視頻videohttp://file.papertrans.cn/102/101035/101035.mp4
學科分類Workshops in Computing
圖書封面Titlebook: 5th Refinement Workshop; Proceedings of the 5 Cliff B. Jones,Roger C. Shaw,Tim Denvir Conference proceedings 1992 Springer-Verlag London 19
影響因子Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations. The value of formal methods in producing reliable hard- and software is widely appreciated by academics and workers in industry, despite the fact that certain research areas, such as the application to industrial-scale problems, are still in their infancy. This volume contains the papers presented at the 5th Refinement Workshop held in London, 8-10 January 1992. Its theme was the theory and practice of software specifications, which is the transformation of formal software specifications into more correct specifications, designs and codes. This has been an important area of research for the last 5 years and the workshop addressed specific issues and problems related to it. Among the topics discussed in this volume are: the role of refinement in software development, parallel designs and implementations, methods and tools for verification of critical properties, refinement and confidentiality, concurrent processes as objects, the compliance of Ada programs with Z specifications and a tactic driven refinement tool
Pindex Conference proceedings 1992
The information of publication is updating

書目名稱5th Refinement Workshop影響因子(影響力)




書目名稱5th Refinement Workshop影響因子(影響力)學科排名




書目名稱5th Refinement Workshop網(wǎng)絡公開度




書目名稱5th Refinement Workshop網(wǎng)絡公開度學科排名




書目名稱5th Refinement Workshop被引頻次




書目名稱5th Refinement Workshop被引頻次學科排名




書目名稱5th Refinement Workshop年度引用




書目名稱5th Refinement Workshop年度引用學科排名




書目名稱5th Refinement Workshop讀者反饋




書目名稱5th Refinement Workshop讀者反饋學科排名




單選投票, 共有 1 人參與投票
 

0票 0.00%

Perfect with Aesthetics

 

0票 0.00%

Better Implies Difficulty

 

1票 100.00%

Good and Satisfactory

 

0票 0.00%

Adverse Performance

 

0票 0.00%

Disdainful Garbage

您所在的用戶組沒有投票權限
沙發(fā)
發(fā)表于 2025-3-21 21:25:01 | 只看該作者
板凳
發(fā)表于 2025-3-22 04:12:54 | 只看該作者
Concurrent Processes as Objects,covers everything you need to know to get up-to-speed with JavaScript development and add dynamic enhancements to web pages, right from the basics. As well as focusing on client-side JavaScript, you will also learn how to work with the Browser Object Model, the Document Object Model (DOM), how to us
地板
發(fā)表于 2025-3-22 06:51:46 | 只看該作者
5#
發(fā)表于 2025-3-22 08:58:13 | 只看該作者
Methods and Tools for the Verification of Critical Properties,che is a practicing developer and user of Java technologies .Google App Engine is one of the key technologies to emerge in recent years to help you build scalable web applications even if you have limited previous experience. If you are a Java programmer, this book offers you a Java approach to begi
6#
發(fā)表于 2025-3-22 14:39:27 | 只看該作者
7#
發(fā)表于 2025-3-22 19:17:13 | 只看該作者
Classification of Refinements in VDM,dobe Flex framework with Java technologies like Spring, Hibe.Over the past few years, the now-open source Adobe Flex framework has been adopted by the Java community as the preferred framework for Java rich Internet applications (RIAs) using Flash for the presentation layer. Flex helps Java develope
8#
發(fā)表于 2025-3-23 00:19:37 | 只看該作者
9#
發(fā)表于 2025-3-23 02:28:58 | 只看該作者
10#
發(fā)表于 2025-3-23 08:57:38 | 只看該作者
A Window Inference Tool for Refinement, .Dan Rahmel.‘s bestselling .Beginning Joomla!, From Novice to Professional. have made it so that all you have to do is read a single book to learn how to build sites that take community–authored content and turn it instantly into published web pages with features like rich templating, content manag
 關于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學 Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點評 投稿經(jīng)驗總結 SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學 Yale Uni. Stanford Uni.
QQ|Archiver|手機版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-6 21:12
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權所有 All rights reserved
快速回復 返回頂部 返回列表
诏安县| 阿克苏市| 铜陵市| 桐柏县| 博兴县| 台州市| 江安县| 华安县| 沾化县| 淮南市| 赣榆县| 垫江县| 环江| 台北市| 宝坻区| 芦山县| 会泽县| 彝良县| 普宁市| 绥宁县| 蒙山县| 来凤县| 安龙县| 宁明县| 通榆县| 西乌珠穆沁旗| 射洪县| 工布江达县| 陇西县| 聊城市| 龙口市| 泗洪县| 巫山县| 九龙城区| 太康县| 庄河市| 蚌埠市| 布尔津县| 全州县| 瑞丽市| 天水市|