Prosync is situated between Woking and Guildford it has experience in requirements We use a lifecycle approach to ensure proper design and implementation; the lifecycle has to be supported by a comprehensive set of tools for system specification, design, verification and testability