Minikin
发表于 2025-3-26 22:51:24
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
破译密码
发表于 2025-3-27 03:56:26
http://reply.papertrans.cn/23/2203/220204/220204_32.png
宣誓书
发表于 2025-3-27 06:04:40
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
发表于 2025-3-27 11:07:05
http://reply.papertrans.cn/23/2203/220204/220204_34.png
桉树
发表于 2025-3-27 14:02:02
https://doi.org/10.1007/b11968C programming language; CASL; Turing; common algebraic specification language; design; development; formal
Cupping
发表于 2025-3-27 20:12:32
978-3-540-20766-5Springer-Verlag Berlin Heidelberg 2004
芦笋
发表于 2025-3-28 01:24:53
http://reply.papertrans.cn/23/2203/220204/220204_37.png
collagen
发表于 2025-3-28 02:31:06
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.
祝贺
发表于 2025-3-28 09:54:35
https://doi.org/10.1007/978-3-658-14439-5This appendix provides an overview of the (concrete) syntax of each part of ..
Accomplish
发表于 2025-3-28 11:48:35
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.