標(biāo)題: Titlebook: CASL User Manual; Introduction to Usin Michel Bidoit,Peter D. Mosses Book 2004 Springer-Verlag Berlin Heidelberg 2004 C programming languag [打印本頁(yè)] 作者: 選民 時(shí)間: 2025-3-21 18:35
書(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é)科排名
作者: 情感 時(shí)間: 2025-3-21 23:10
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作者: antecedence 時(shí)間: 2025-3-22 02:59 作者: 柳樹(shù)；枯黃 時(shí)間: 2025-3-22 05:44
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作者: harmony 時(shí)間: 2025-3-22 09:04 作者: 壓迫 時(shí)間: 2025-3-22 13:39 作者: 壓迫 時(shí)間: 2025-3-22 20:59 作者: 含糊 時(shí)間: 2025-3-22 23:39
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作者: expdient 時(shí)間: 2025-3-23 02:33
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作者: 知識(shí)分子 時(shí)間: 2025-3-23 09:34
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].作者: assail 時(shí)間: 2025-3-23 12:28 作者: Acclaim 時(shí)間: 2025-3-23 16:45 作者: investigate 時(shí)間: 2025-3-23 20:17 作者: landmark 時(shí)間: 2025-3-23 23:41 作者: 漸強(qiáng) 時(shí)間: 2025-3-24 04:53 作者: 騷動(dòng) 時(shí)間: 2025-3-24 10:09 作者: 辮子帶來(lái)幫助 時(shí)間: 2025-3-24 12:42 作者: fiction 時(shí)間: 2025-3-24 15:33
Nachhaltigkeit in Nonprofit-Organisationen complex, structured ones. In particular we explain how to extend specifications, make the union of several specifications, as well as how to rename or hide symbols when assembling specifications. Parametrization and instantiation of generic specifications are explained in the next chapter.作者: 百科全書(shū) 時(shí)間: 2025-3-24 19:00
6 Structuring Specifications complex, structured ones. In particular we explain how to extend specifications, make the union of several specifications, as well as how to rename or hide symbols when assembling specifications. Parametrization and instantiation of generic specifications are explained in the next chapter.作者: 本能 時(shí)間: 2025-3-25 03:01 作者: 食料 時(shí)間: 2025-3-25 03:44
Nachhaltigkeit in Nonprofit-Organisationens stage, where the focus is on the expected overall properties of the system under consideration..In contrast, the aim of architectural specifications is . of the system. Architectural specifications provide the means for specifying the various . from which the system will be built, and describing h作者: 直言不諱 時(shí)間: 2025-3-25 10:09
Julia R?mhild,Rebecca Heinzelmannng the support tools presented in Chap. 11..By no means, however, should this book be regarded as a complete presentation of the . specification formalism – this is given in the accompanying volume, the .. [20].作者: Embolic-Stroke 時(shí)間: 2025-3-25 14:33
,Nachhaltigkeit – die Herausforderung,l the tools and experiment with them (and to convince her/him that this is rather easy). More detailed descriptions of the tools, as well as their latest versions and other tools that may be developed in the future, are available by following the links on the . tools home page [21]: ...The analysis 作者: 賞心悅目 時(shí)間: 2025-3-25 18:33 作者: choleretic 時(shí)間: 2025-3-25 22:46
7 Generic Specificationsnstantiations in the previous chapters. In more complicated cases, however, explicit fitting symbol maps may be required to determine the exact relationship between parameters and arguments in instantiations, and so-called . should be separated from the bodies of generic specifications.作者: Archipelago 時(shí)間: 2025-3-26 00:27
8 Specifying the Architecture of Implementationss stage, where the focus is on the expected overall properties of the system under consideration..In contrast, the aim of architectural specifications is . of the system. Architectural specifications provide the means for specifying the various . from which the system will be built, and describing h作者: ingenue 時(shí)間: 2025-3-26 04:50 作者: 起來(lái)了 時(shí)間: 2025-3-26 08:57 作者: 開(kāi)始發(fā)作 時(shí)間: 2025-3-26 15:53
13 Case Study: The Steam-Boiler Control Systemry precisely in the formal specification where they lead to specific axioms, thereby taking care of the traceability issues. We also explain how the . specification is obtained in a stepwise way by successive analysis of various parts of the problem description. Finally we discuss the validation of 作者: vasospasm 時(shí)間: 2025-3-26 17:36
Book 2004with 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作者: Minikin 時(shí)間: 2025-3-26 22:51
0302-9743 mparing specification frameworks. The book is aimed at software researchers and professionals, and follows a tutorial style with highlighted points, illustrative examples, and a full specificat978-3-540-20766-5978-3-540-44397-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 破譯密碼 時(shí)間: 2025-3-27 03:56 作者: 宣誓書(shū) 時(shí)間: 2025-3-27 06:04
9 Librariesins how a collection of named specifications can itself be named, as a .. The creation of libraries facilitates the . of specifications. For practical applications, it is important to be able to reuse (at least) existing specifications of basic datatypes, such as those described in Chap. 12.作者: Control-Group 時(shí)間: 2025-3-27 11:07 作者: 桉樹(shù) 時(shí)間: 2025-3-27 14:02
https://doi.org/10.1007/b11968C programming language; CASL; Turing; common algebraic specification language; design; development; formal作者: Cupping 時(shí)間: 2025-3-27 20:12
978-3-540-20766-5Springer-Verlag Berlin Heidelberg 2004作者: 蘆筍 時(shí)間: 2025-3-28 01:24 作者: collagen 時(shí)間: 2025-3-28 02:31
https://doi.org/10.1007/978-3-658-24288-6....Many examples naturally involve subsorts and supersorts. . provides means for the declaration of a sort as a subsort of another one when the values of the subsort are regarded a special case of those in the other sort. The aim of this chapter is to discuss and illustrate how to handle subsorts and supersorts in . specifications.作者: 祝賀 時(shí)間: 2025-3-28 09:54
https://doi.org/10.1007/978-3-658-14439-5This appendix provides an overview of the (concrete) syntax of each part of ..作者: Accomplish 時(shí)間: 2025-3-28 11:48
1 IntroductionThis chapter first explains the background and aims of ., the Common Framework Initiative for algebraic specification and development of software. It then gives an overview of the main features of ., the Common Algebraic Specification Language.作者: 擔(dān)心 時(shí)間: 2025-3-28 16:35 作者: Liability 時(shí)間: 2025-3-28 19:09 作者: Basal-Ganglia 時(shí)間: 2025-3-29 00:02 作者: spondylosis 時(shí)間: 2025-3-29 06:56 作者: comely 時(shí)間: 2025-3-29 07:26
Nachhaltigkeit in Nonprofit-Organisationenins how a collection of named specifications can itself be named, as a .. The creation of libraries facilitates the . of specifications. For practical applications, it is important to be able to reuse (at least) existing specifications of basic datatypes, such as those described in Chap. 12.作者: occurrence 時(shí)間: 2025-3-29 12:17
,Künstliche Intelligenz und Diskriminierung,wn 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].作者: Creditee 時(shí)間: 2025-3-29 18:13
Nachhaltigkeit im Eventmanagement language constructs and models of specifications (i.e., algebras), and indicates the differences between basic, structured, and architectural specifications..The focus here is on concepts that are relevant to ., and which will be needed in later chapters..For comprehensive presentations of concepts作者: 帳單 時(shí)間: 2025-3-29 23:16
Nachhaltigkeit im Projektmanagements 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作者: 性別 時(shí)間: 2025-3-30 01:09
https://doi.org/10.1007/978-3-658-20500-3definition, and more generally the specification of system properties involving partial functions. The aim of this chapter is to discuss and illustrate how to handle partial functions in . specifications.作者: endure 時(shí)間: 2025-3-30 06:42
Nachhaltigkeit in Nonprofit-Organisationen 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作者: 不足的東西 時(shí)間: 2025-3-30 09:54
Martina Daniel,Franziska Müllerons, and/or predicates that are deliberately left loosely specified, to be determined when the datatype is used. For instance, datatypes of lists and sets are generic regarding the sort of elements. . allow the genericity of a datatype to be made explicit by declaring . when the specification is nam作者: 幼稚 時(shí)間: 2025-3-30 12:45 作者: intercede 時(shí)間: 2025-3-30 17:35 作者: FUSE 時(shí)間: 2025-3-30 22:46 作者: giggle 時(shí)間: 2025-3-31 01:08
