Titlebook: Algebraic Methods II: Theory, Tools and Applications; J. A. Bergstra,L. M. G. Feijs Conference proceedings 1991 Springer-Verlag Berlin Hei

偽造者

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.

展覽

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.

止痛藥

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ā)起

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.

最高點(diǎn)

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

,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.

核心

我的巨大

ADORN

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