From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,822d5e6c559895cf,start X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!news.glorb.com!border1.nntp.dca.giganews.com!nntp.giganews.com!atl-c02.usenetserver.com!c03.atl99!news.usenetserver.com!news.flashnewsgroups.com.POSTED!53ab2750!not-for-mail From: Joyce L Tokar Newsgroups: comp.lang.ada Subject: FREE SEMINAR: SPARK: A Safer Way to Program Message-ID: <1103_1093565601@news.alevelhigher.net> X-Abuse-Info: Please be sure to forward a copy of ALL headers X-Abuse-Info: Otherwise we will be unable to process your complaint properly. Content-Type: text/plain; charset="iso-8859-1" User-Agent: Mozilla/4.0 (compatible; MSIE 5.0; Windows 2000) Opera 6.01 [en] X-Complaints-To: abuse@flashnewsgroups.com Organization: Flash NewsGroups http://www.flashnewsgroups.com Date: Fri, 27 Aug 2004 00:12:09 GMT Xref: g2news1.google.com comp.lang.ada:3063 Date: 2004-08-27T00:12:09+00:00 List-Id: 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.