Issue 3 • May 1988
The CCITT Specification and Description Language is widely accepted as a standard for use in the design of software in the telecommunications industry. The paper considers the implementation of this language on transputers using occam. This raises some common issues in the use of occam. The paper presents a novel implementation that demonstrates the performance gain that can be achieved through ju... View full abstract»
Cited by: Papers (10)
Describes an approach to the provision of tool support for two particular aspects of requirements analysis: method support by active guidance, and specification interpretation and validation by animation. Method guidance is supported by a method model used to describe the sequence of method steps that should be followed. Animation provides an indication of the dynamic behaviour of the specified sy... View full abstract»
Cited by: Papers (3)
The formal verification of low-level code is a problem largely ignored by the academic community although it is seen as a major problem in industry. The paper examines the problems associated with verification at this level and describes SPADE-8080, a verifiable sublanguage of the Intel 8080. It also shows how programs written in SPADE-8080 can be analyzed and formally verified with the SPADE soft... View full abstract»
Aims & Scope
Published from 1986-1996, Software Engineering Journal included original contributions of interest to practitioners, researchers and managers who were engaged in software engineering. It covered reports on practical experience using software engineering methods and tools, and papers on long-term research activities.