Dave Alden

Current

Past

Education

Connections

8 connections

Industry

Information Technology and Services

Websites

Dave Alden’s Experience

Freelance Web Developer

Self-employed

(Self-Employed; Myself Only; Internet industry)

February 2007 — Present (2 years 6 months)
Scuba Instructor

Eurodivers, Zakynthos, Greece

(Leisure, Travel & Tourism industry)

November 2005 — December 2006 (1 year 2 months)

PADI Scuba Diving Instructor / Dive Centre Manager
Software Engineer

Aerosystems International

(Public Company; 201-500 employees; Airlines/Aviation industry)

September 2004 — October 2005 (1 year 2 months)

Software engineering in Ada for multi-processor real-time systems.
Object-oriented design and system architecture using UML; use case diagrams, class diagrams, package diagrams, sequence diagrams, collaboration diagrams, state diagrams, activity diagrams.
Safety critical code implementation using the SPARK Ada subset.
Algorithm development for automatic Ada code generation from UML models.
Product level test creation, execution and analysis using XML.

Software tools used: Artisan Realtime Studio, Artisan Shadow, XML Spy, SPARK, Ada 86
Freelance Scuba Instructor

various Red Sea dive schools

(Leisure, Travel & Tourism industry)

March 2004 — September 2004 (7 months)

PADI Scuba Diving Instructor in Sharm el-Sheikh, Egypt.
Scuba Instructor

Eurodivers, Zakynthos, Greece

(Leisure, Travel & Tourism industry)

May 2002 — October 2003 (1 year 6 months)

PADI Divemaster