Software Engineering Journal

The paper describes a general principle for program visualisation, based on the concept of structure models. We propose a specification scheme that can be used to implement the general principle without requiring a change of the program code. Two aspects of the scheme are discussed in detail; the specification of critical entities and their graphical representations. Its use is illustrated by mean... View full abstract»

The paper describes the operation of a program which enables the behaviours admitted by a specification in the Calculus of Communicating Systems (CCS) to be investigated. Two specifications in the calculus are presented to illustrate the issues under discussion, and program output from the animation of these specifications is shown, both to elucidate the program's value and limitations and to high... View full abstract»

Budgetary constraints are placing increasing pressure on project managers to effectively estimate development effort requirements at the earliest opportunity. With the rising impact of automation on commercial software development, the attention of researchers developing effort estimation models has recently been focused on functional representations of systems, in response to the assertion that d... View full abstract»

MOON is a design method suitable for real-time systems that supports concurrency and asynchronous communication. A MOON design specifies the structure of the software system, the hardware resources and the allocation of software components to hardware resources. Performance evaluation is very important throughout the development of a real-time system. Program resource mapping nets (PRM-Nets) are a... View full abstract»