Further, even though it is intellectually accepted that we have methodological means to combat these factors and provide benefits during the evolutionary process, development managers still choose short term goals over these long term benefits. Given a choice between getting a system out as early as possible and doing a proper design that will evolve gracefully, the first is invariably chosen a...

Workflow management systems as modelling technique for monitoring, support and control of business processes are under consideration. Problems, related to the assessment of software products, used for the design and exploitation of workflow management systems are presented. The attention is drawn towards the comparison and assessment of such software tools. The results of this assessment are pr...

We propose a collaboration project to integrate the research effort and results obtained at UNU-IIST on formal techniques in component and object systems with research at TRDDC in modelling and development of tools that support object-oriented and component-based design. The main theme is an integration of verification techniques with engineering methods of modelling and design, and an integrat...

With the pervasive deployment of software in dependable systems used in everyday life, society is increasingly demanding that software used in critical systems must meet minimum safety, security and reliability standards. Certification is the procedure by which an authorized person or agency assesses and verifies characteristics of a system or product in accordance with established requirements...

In this paper, we review software development as a document-based process, with the capture of a full but ideal development history as the assumed purpose of the documents concerned. We identify generic requirements for perusal, editing and veriication of such documents, and illustrate how these requirements could be met in a software development environment based on current interaction technol...