伪造者
发表于 2025-3-23 13:18:35
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:05
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:17
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.
发起
发表于 2025-3-24 00:59:37
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: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:50
,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:46
http://reply.papertrans.cn/16/1527/152668/152668_17.png
我的巨大
发表于 2025-3-24 18:10:53
http://reply.papertrans.cn/16/1527/152668/152668_18.png
ADORN
发表于 2025-3-24 20:55:33
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:21
http://reply.papertrans.cn/16/1527/152668/152668_20.png