找回密碼
 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
快速回復 返回頂部 返回列表
富顺县| 泽普县| 聂拉木县| 民县| 拉孜县| 都江堰市| 宿迁市| 漯河市| 高邑县| 左云县| 中方县| 古交市| 江门市| 中山市| 霍州市| 罗田县| 嘉义市| 庄河市| 应城市| 遵化市| 辽阳市| 邵阳县| 特克斯县| 江山市| 田林县| 手游| 同江市| 青岛市| 沁阳市| 三穗县| 遂昌县| 新沂市| 濮阳市| 丽水市| 淮安市| 伊金霍洛旗| 赤城县| 南靖县| 汉寿县| 延吉市| 余庆县|