FREE SEMINAR: SPARK: A Safer Way to Program

FREE SEMINAR: SPARK: A Safer Way to Program

[Joyce L Tokar]

                            SPARK:  A Safer Way to Program
                                    Friday 1 Oct 2004
                                      13:00-16:00
                          Mustang Library Discussion Room
                                    10101 N 90th St
                                   Scottsdale, AZ  85258


There is an increasing need to produce software that is safe, secure, and reliable.  As systems become more 
complex and safety and security issues gain ground in the world of real-time applications, there is a greater 
demand for tools and techniques that will enable the generation of robust software in a cost-effective and timely 
manner. Much of the emphasis on the development of high integrity software is placed on the testing cycle near 
the end of the development process.  This methodology results in the need for a large amount of time at the end 
of the development process to test components as well as integrated systems.

Yet, it is well known and documented that the best time to find errors is at the start of the development cycle 
when the problems are smaller and better understood.  The cost of correcting errors that are discovered early in 
the software life cycle is considerably less expensive than those that are found during integration and test.
The SPARK approach to developing software provides the tools and technology needed to construct correct software 
from the start of the process.  This methodology reduces the cost of development because the components are built 
correctly from the start leading to a shorter integration and test cycle with fewer bugs discovered in this 
phase.

This free seminar will provide an overview of the SPARK language and the tools in the SPARK toolset that 
facilitate the generation of safe and secure software.  The course is suitable for senior software and systems 
engineers; the seminar does not presume prior knowledge of SPARK.  The seminar is also useful to software and 
systems managers responsible for the development and integration of complex critical systems.   The attendees 
should have an understanding of the fundamentals of the development of complex, critical real-time software 
applications.

If you would like to join us for a three-hour presentation by Dr. Joyce L Tokar, please complete the registration 
form on our website and email it to training@pyrrhusoft.com.

See our website for other dates and locations of the seminar www.pyrrhusoft.com.