A Review of System Development Systems

The requirements for a system development system are defined and used as guidelines to review six such systems: SAMM, SREM, SADT, ADS / SODA, PSL/PSA and Systematics. It is found that current system development systems emphasise only validation and user verification. They can perform relatively little on automatic file optimisation, process optimisation and maintenance.postprin

On the engineering of crucial software

The various aspects of the conventional software development cycle are examined. This cycle was the basis of the augmented approach contained in the original grant proposal. This cycle was found inadequate for crucial software development, and the justification for this opinion is presented. Several possible enhancements to the conventional software cycle are discussed. Software fault tolerance, a possible enhancement of major importance, is discussed separately. Formal verification using mathematical proof is considered. Automatic programming is a radical alternative to the conventional cycle and is discussed. Recommendations for a comprehensive approach are presented, and various experiments which could be conducted in AIRLAB are described

Enterprise modelling and its application to organisational requirements, capture and definition

PhD ThesisComputers have gone from being solely large number crunching machines to small devices capable of performing a myriad of functions in a very small space of time. Computers are now used to control just about every facet of daily life; they can now be found in automobiles, washing machines and home heating systems. This rapid diversification brings a great many problems. Traditional software engineering methodologies are failing to meet and address these new problems. The goal of this thesis is to develop a new approach to organisational requirements engineering. A new modelling approach to representing organisations will be developed which will draw upon the concepts of a systems architecture, modelling the life cycle of responsibilities and the execution of conversations. Using this architecture an organisation will be able to embed social and cultural aspects within the modelling notation. From the modelling of responsibilities a clearer picture of the organisation's aims, objectives and policies will be developed along with a definition of what objects and access rights are required in order for the organisation to function. Using speech act and Petri net based models to model conversations a clearer understanding of the dynamics and constraints governing organisational behaviour can be developed. These modelling approaches are then applied to two real life case studies in order to demonstrate and evaluate their performance and usefulness