找回密碼
 To register

QQ登錄

只需一步，快速開(kāi)始

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

打印 上一主題 下一主題

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

[復(fù)制鏈接]
查看: 49401|回復(fù): 54
樓主
發(fā)表于 2025-3-21 18:35:23 | 只看該作者 |倒序?yàn)g覽 |閱讀模式
書(shū)目名稱CASL User Manual
副標(biāo)題Introduction to Usin
編輯Michel Bidoit,Peter D. Mosses
視頻videohttp://file.papertrans.cn/221/220204/220204.mp4
概述Includes supplementary material:
叢書(shū)名稱Lecture Notes in Computer Science
圖書(shū)封面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

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




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




書(shū)目名稱CASL User Manual網(wǎng)絡(luò)公開(kāi)度




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




書(shū)目名稱CASL User Manual被引頻次




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




書(shū)目名稱CASL User Manual年度引用




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




書(shū)目名稱CASL User Manual讀者反饋




書(shū)目名稱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
您所在的用戶組沒(méi)有投票權(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) 吾愛(ài)論文網(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ī)版|小黑屋| 派博傳思國(guó)際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-11 16:32
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
图片| 汶上县| 河北省| 灵璧县| 永兴县| 北京市| 福建省| 株洲县| 简阳市| 崇明县| 全南县| 黎川县| 东平县| 浦东新区| 育儿| 桃园市| 镇康县| 大理市| 陆丰市| 安达市| 西宁市| 利川市| 家居| 乳山市| 靖州| 江陵县| 汉沽区| 牟定县| 西乌珠穆沁旗| 津南区| 修水县| 赤水市| 即墨市| 遵义县| 南开区| 仁怀市| 临沂市| 静海县| 福建省| 密云县| 梁河县|