標題: Titlebook: Algebraic Methods II: Theory, Tools and Applications; J. A. Bergstra,L. M. G. Feijs Conference proceedings 1991 Springer-Verlag Berlin Hei [打印本頁] 作者: Jurisdiction 時間: 2025-3-21 18:13
書目名稱Algebraic Methods II: Theory, Tools and Applications影響因子(影響力)
書目名稱Algebraic Methods II: Theory, Tools and Applications影響因子(影響力)學科排名
書目名稱Algebraic Methods II: Theory, Tools and Applications網(wǎng)絡公開度
書目名稱Algebraic Methods II: Theory, Tools and Applications網(wǎng)絡公開度學科排名
書目名稱Algebraic Methods II: Theory, Tools and Applications被引頻次
書目名稱Algebraic Methods II: Theory, Tools and Applications被引頻次學科排名
書目名稱Algebraic Methods II: Theory, Tools and Applications年度引用
書目名稱Algebraic Methods II: Theory, Tools and Applications年度引用學科排名
書目名稱Algebraic Methods II: Theory, Tools and Applications讀者反饋
書目名稱Algebraic Methods II: Theory, Tools and Applications讀者反饋學科排名
作者: ANN 時間: 2025-3-21 22:57 作者: FIG 時間: 2025-3-22 01:49
Algebraic Methods II: Theory, Tools and Applications作者: 彎曲道理 時間: 2025-3-22 04:43
https://doi.org/10.1007/978-3-319-90303-3We argue that the verification of parallel programs can be considerably simplified by using program transformations. We illustrate this approach by proving correctness of two parallel programs under the assumption of fairness: asynchronous fixed point computation and parallel zero search.作者: 十字架 時間: 2025-3-22 12:28 作者: 中世紀 時間: 2025-3-22 12:53 作者: lipids 時間: 2025-3-22 19:46
https://doi.org/10.1007/978-3-540-72943-3The specification language PSF. is used to give a formal specification of a transit node, a common case study in ESPRIT project METEOR. The design of the specification derived from the informal text and the ERAE specification is included. A short discussion on the relation to the specification in ERAE is provided.作者: 高調(diào) 時間: 2025-3-22 23:21 作者: 記憶法 時間: 2025-3-23 02:23
Using transformations to verify parallel programs,We argue that the verification of parallel programs can be considerably simplified by using program transformations. We illustrate this approach by proving correctness of two parallel programs under the assumption of fairness: asynchronous fixed point computation and parallel zero search.作者: GET 時間: 2025-3-23 06:42
,Norman’s database modularised in COLD-K,In this paper we present a COLD specification of a database, originally presented in VDM, discussing various aspects of modularisation.作者: 偽造者 時間: 2025-3-23 13:18
A process specification formalism based on static COLD,PSF/C is a formal specification language, based on COLD, a wide spectrum specification language developed at Philips Research, Eindhoven. In PSF/C, we can specify concurrent communicating processes. The process syntax and semantics is based on the algebraic concurrency language ACP.作者: 展覽 時間: 2025-3-23 17:51
Specification of the transit node in PSFd,The specification language PSF. is used to give a formal specification of a transit node, a common case study in ESPRIT project METEOR. The design of the specification derived from the informal text and the ERAE specification is included. A short discussion on the relation to the specification in ERAE is provided.作者: 止痛藥 時間: 2025-3-23 18:09
Design of a specification language by abstract syntax engineering,In this paper, we design a specification language in an entirely algebraic style. We describe the language in terms of abstract syntax only. We argue that this is the correct approach in language design.作者: 發(fā)起 時間: 2025-3-24 00:59
ViewPoint oriented software development: Methods and viewpoints in requirements engineering,ort for requirements expression; modelling requirements elicitation. A central thread in this work the -concept of "ViewPoint"- is examined, motivated and systematically characterised. The implications for methods to support the construction of formal specifications are considered. A framework for further work is outlined.作者: 最高點 時間: 2025-3-24 06:14
Introducing formal requirements into industry,xperiments and comment on such issues as the typical deficiencies of current practices, misconceptions about the nature of requirements, our approach to technology transfer, the importance of methodological guidance, and the role of tools. One of the applications, a complete television set, is analysed in more detail.作者: tenosynovitis 時間: 2025-3-24 08:18
,Where can I get gas round here? — an application of a design methodology for distributed systems,ification of a gas station. The methodology which is based on streams of actions is explained for this example, problems arising are discussed. Special attention is paid to the structuring of specifications.作者: 核心 時間: 2025-3-24 13:19 作者: 我的巨大 時間: 2025-3-24 18:10 作者: ADORN 時間: 2025-3-24 20:55
https://doi.org/10.1007/978-3-319-90303-3mbination of existing formalisms could meet the needs. The motivations for combining a VDM specification language with a language of temporal logic, for translating the resulting language, called VVSL, to an extended COLD-K and for translating it also (partially) to the language of the logic MPL. ar作者: exclamation 時間: 2025-3-25 00:11 作者: 健談 時間: 2025-3-25 04:23
Deep Space Flight and Communicationsification of a gas station. The methodology which is based on streams of actions is explained for this example, problems arising are discussed. Special attention is paid to the structuring of specifications.作者: multiply 時間: 2025-3-25 11:17 作者: 聽寫 時間: 2025-3-25 12:44 作者: Ancestor 時間: 2025-3-25 19:48
Magnifying the nearby stellar systems The inheritance mechanism goes beyond that of traditional object-oriented languages in that it applies to single-sorted, dynamic classes as well as to many-sorted and static classes. It will be incorporated in a user-oriented language version of COLD defined on top of COLD-K, thus providing full su作者: 不可救藥 時間: 2025-3-25 21:51 作者: Colonnade 時間: 2025-3-26 00:50 作者: BOLT 時間: 2025-3-26 08:22 作者: Ordeal 時間: 2025-3-26 10:51
Humans Versus Machine: Who Will Mine Space?,ort for requirements expression; modelling requirements elicitation. A central thread in this work the -concept of "ViewPoint"- is examined, motivated and systematically characterised. The implications for methods to support the construction of formal specifications are considered. A framework for further work is outlined.作者: LUT 時間: 2025-3-26 16:30 作者: 掃興 時間: 2025-3-26 17:05 作者: CAMEO 時間: 2025-3-27 00:11 作者: NOTCH 時間: 2025-3-27 04:22 作者: Shuttle 時間: 2025-3-27 05:17
0302-9743 aic methods provide techniques for data abstraction and the structured specification, validation and analysis of data structures. This volume originates from a workshop organized within ESPRIT Project 432 METEOR, An Integrated Formal Approach to Industrial Software Development, held in Mierlo, The N作者: 手工藝品 時間: 2025-3-27 10:42
https://doi.org/10.1007/978-3-319-90303-3ughly. Thus, it is still one of the main sources for inconsistencies between the wishes of the customer and the program finally delivered. Some problems to be solved during formalization are identified and illustrated with a real-world example.作者: ARIA 時間: 2025-3-27 14:47
Genetics aboard relativistic spaceshipswing designs and re-adapting them to external-context modifications. Although the notion of a design is part of the language COLD, the presentation in this paper is given independent of that, in a general setting.作者: allude 時間: 2025-3-27 21:30
Magnifying the nearby stellar systemso many-sorted and static classes. It will be incorporated in a user-oriented language version of COLD defined on top of COLD-K, thus providing full support for the methodology of object-oriented design. The mechanism is believed to be applicable to other languages as well.作者: GIDDY 時間: 2025-3-27 22:03
Formalizing informal requirements some aspects,ughly. Thus, it is still one of the main sources for inconsistencies between the wishes of the customer and the program finally delivered. Some problems to be solved during formalization are identified and illustrated with a real-world example.作者: 熒光 時間: 2025-3-28 06:02 作者: 鑲嵌細工 時間: 2025-3-28 10:15
Inheritance in COLD,o many-sorted and static classes. It will be incorporated in a user-oriented language version of COLD defined on top of COLD-K, thus providing full support for the methodology of object-oriented design. The mechanism is believed to be applicable to other languages as well.作者: 悶熱 時間: 2025-3-28 10:33
Conference proceedings 1991erog, and H.A. Partsch. Ten further papers by members of the METEOR team are based on talks given at the workshop. The workshop was a successor to an earlier one held in Passau, Germany, June 1987, the proceedings of which were published as Lecture Notes in Computer Science, Vol. 394.作者: 轎車 時間: 2025-3-28 16:35
https://doi.org/10.1007/978-3-540-72943-3icular specification language and the ideas behind it can be used for other languages as well. The pictorial language POLAR as discussed in this paper, were found to be very useful in several large-scale case studies.作者: acrobat 時間: 2025-3-28 22:02 作者: 沉積物 時間: 2025-3-28 23:58 作者: Systemic 時間: 2025-3-29 04:06
From an ERAE requirements specification to a PLUSS algebraic specification: A case study,c specifications, with emphasis on modularity and structuring concepts. This paper investigates the transition between these two formalisms, which takes place when the requirements specification is found satisfactory. As an example, we use the specification of a transit node in a telephonic network.作者: 討人喜歡 時間: 2025-3-29 09:48 作者: –LOUS 時間: 2025-3-29 13:00
https://doi.org/10.1007/978-3-319-90303-3e briefly outlined. The main experiences from this work on combination and transformation of formalisms are presented. Some important experiences with the application of VVSL to the formal specification of the PCTE interfaces and otherwise are also mentioned.作者: 歡呼 時間: 2025-3-29 15:35
Experiences with combining formalisms in VVSL,e briefly outlined. The main experiences from this work on combination and transformation of formalisms are presented. Some important experiences with the application of VVSL to the formal specification of the PCTE interfaces and otherwise are also mentioned.作者: 人造 時間: 2025-3-29 23:33 作者: 極力證明 時間: 2025-3-30 03:12
ViewPoint oriented software development: Methods and viewpoints in requirements engineering,ort for requirements expression; modelling requirements elicitation. A central thread in this work the -concept of "ViewPoint"- is examined, motivated and systematically characterised. The implications for methods to support the construction of formal specifications are considered. A framework for f作者: 煤渣 時間: 2025-3-30 04:19
Experiences with combining formalisms in VVSL,mbination of existing formalisms could meet the needs. The motivations for combining a VDM specification language with a language of temporal logic, for translating the resulting language, called VVSL, to an extended COLD-K and for translating it also (partially) to the language of the logic MPL. ar作者: PARA 時間: 2025-3-30 08:45
Introducing formal requirements into industry,xperiments and comment on such issues as the typical deficiencies of current practices, misconceptions about the nature of requirements, our approach to technology transfer, the importance of methodological guidance, and the role of tools. One of the applications, a complete television set, is analy
