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

轎車

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

沉積物

Systemic

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.

討人喜歡

–LOUS

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.

歡呼

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.

人造

極力證明

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

煤渣

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