找回密碼
 To register

QQ登錄

只需一步，快速開始

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

打印 上一主題 下一主題

Titlebook: CASL User Manual; Introduction to Usin Michel Bidoit,Peter D. Mosses Book 2004 Springer-Verlag Berlin Heidelberg 2004 C programming languag

[復(fù)制鏈接]
查看: 49391|回復(fù): 54
樓主
發(fā)表于 2025-3-21 18:35:23 | 只看該作者 |倒序?yàn)g覽 |閱讀模式
書目名稱CASL User Manual
副標(biāo)題Introduction to Usin
編輯Michel Bidoit,Peter D. Mosses
視頻videohttp://file.papertrans.cn/221/220204/220204.mp4
概述Includes supplementary material:
叢書名稱Lecture Notes in Computer Science
圖書封面Titlebook: CASL User Manual; Introduction to Usin Michel Bidoit,Peter D. Mosses Book 2004 Springer-Verlag Berlin Heidelberg 2004 C programming languag
描述.CASL, the Common Algebraic Specification Language, was designed by the?members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design. CASL is already regarded as a de facto standard, and various sublanguages and extensions are available for specific tasks. ...This book illustrates and discusses how to write CASL specifications. The authors first describe the origins, aims and scope of CoFI, and review the main concepts of algebraic specification languages. The main part of the book explains CASL specifications, with chapters on loose, generated and free specifications, partial functions, sub- and supersorts, structuring specifications, genericity and reusability, architectural specifications, and version control. The final chapters deal with tool support and libraries, and present a realistic case study involving the standard benchmark for comparing specification frameworks. The book is aimed at software researchers and professionals, and follows a tutorial style with highlighted points, illustrative examples, and a full specificat
出版日期Book 2004
關(guān)鍵詞C programming language; CASL; Turing; common algebraic specification language; design; development; formal
版次1
doihttps://doi.org/10.1007/b11968
isbn_softcover978-3-540-20766-5
isbn_ebook978-3-540-44397-1Series ISSN 0302-9743 Series E-ISSN 1611-3349
issn_series 0302-9743
copyrightSpringer-Verlag Berlin Heidelberg 2004
The information of publication is updating

書目名稱CASL User Manual影響因子(影響力)




書目名稱CASL User Manual影響因子(影響力)學(xué)科排名




書目名稱CASL User Manual網(wǎng)絡(luò)公開度




書目名稱CASL User Manual網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱CASL User Manual被引頻次




書目名稱CASL User Manual被引頻次學(xué)科排名




書目名稱CASL User Manual年度引用




書目名稱CASL User Manual年度引用學(xué)科排名




書目名稱CASL User Manual讀者反饋




書目名稱CASL User Manual讀者反饋學(xué)科排名




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

0票 0%

Perfect with Aesthetics
 

0票 0%

Better Implies Difficulty
 

0票 0%

Good and Satisfactory
 

0票 0%

Adverse Performance
 

0票 0%

Disdainful Garbage
您所在的用戶組沒有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 23:10:02 | 只看該作者
3 Getting Starteds values of particular types as arguments, and always returns a well-defined value. Total functions correspond to software whose execution always terminates normally. The types of values are named by simple symbols called ...In practice, a realistic software specification involves . as well as total
板凳
發(fā)表于 2025-3-22 02:59:00 | 只看該作者
地板
發(fā)表于 2025-3-22 05:44:30 | 只看該作者
6 Structuring Specifications but relatively simple, specifications. The aim of this chapter is to discuss and illustrate how to assemble simple pieces of specifications into more complex, structured ones. In particular we explain how to extend specifications, make the union of several specifications, as well as how to rename o
5#
發(fā)表于 2025-3-22 09:04:45 | 只看該作者
6#
發(fā)表于 2025-3-22 13:39:50 | 只看該作者
7#
發(fā)表于 2025-3-22 20:59:42 | 只看該作者
8#
發(fā)表于 2025-3-22 23:39:33 | 只看該作者
10 Foundationscussed the typical ways in which the language concepts and constructs are expected to be used in the course of building system specifications. Thus, the presentation in Part II focused on . the constructs and concepts of . are ., and . they should (and should not) be used. We tried to make these poi
9#
發(fā)表于 2025-3-23 02:33:16 | 只看該作者
11 Toolsthe whole of .. Proof tools are available but are less mature... has been designed with the goal of subsuming many previous specification languages. Most of these languages come with specific tools, and of course, these tools should be reusable in the context of .. Hence, a central issue is to build
10#
發(fā)表于 2025-3-23 09:34:47 | 只看該作者
12 Basic Librarieswn things. This can be compared to standard libraries in programming languages. While this book often discusses several styles of specification with ., the basic datatypes consistently follow a specific style described in [20].
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評(píng) 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-11 12:03
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
龙井市| 葵青区| 河东区| 长葛市| 富锦市| 台江县| 孝感市| 左贡县| 宽城| 水富县| 当涂县| 甘南县| 桐庐县| 抚州市| 汤原县| 珠海市| 黎川县| 石泉县| 和平县| 庆元县| 依兰县| 峡江县| 金堂县| 四子王旗| 资阳市| 广州市| 池州市| 紫阳县| 华亭县| 河间市| 平阴县| 枝江市| 陇西县| 乌拉特后旗| 龙胜| 娄烦县| 乡宁县| 安新县| 榆社县| 东乌珠穆沁旗| 怀柔区|