westley%planck.uucp@acsu.buffalo.edu (Terry J. Westley) (03/18/91)
This is a reminder that your reservations for the April 20 Ada Professional Development Seminar being held at Xerox near Rochester must be in by Wednesday, March 20. Come on out and join us. Get a free lunch!!! Here is the full text of the announcement: A d a P r o f e s s i o n a l D e v e l o p m e n t S e m i n a r ----------------------------------------------------------------------- Date: Saturday, April 20, 1991 10:00 AM - 3:00 PM Location: Xerox Corporation Webster, NY (see directions on reverse) Purpose: To provide useful information to Ada practitioners and encourage discussion concerning formation of an Ada users' group in Western/Upstate New York. Speakers: George Cherry Thought**Tools Topic: "Stimulus-Response Machines: An Ada-Based Graphic Notation for Developing State-Rich and Safety-Critical Systems" Mitch Van Duyn Xerox Corporation Topic: "Commercial use of Ada at Xerox" Terry Westley Calspan Corporation Topic: "Status report on Ada 9X" Agenda: 9:30 - 10:00 Coffee 10:00 - 12:00 Morning session 12:00 - 1:00 Lunch 1:00 - 3:00 Afternoon session Cost: This seminar is presented free of charge and is partially sponsored by national ACM SIGAda and the Xerox Corporation. Reservations: Please call one of the following by March 20: Kamal Escalona Xerox Corporation Rochester, NY 716-427-1082 Terry Westley Calspan Corporation Buffalo, NY 716-631-6887 George W. Cherry Mr. Cherry's professional experience includes nine years at MIT's Draper Laboratory where he was Associate Directory of the laboratory and project manager of the Apollo Lunar Module Navigation, Guidance, and Control system, designed by MIT, under a prime contract to NASA. In 1970, Neil Armstrong persuaded him to take an appointment at NASA headquarters, where he managed a $200 million per year research and technology program. In 1985, he founded Thought**Tools, which provides software development methods, tools, and education to the Ada embedded software industry. His fourth book, "Parallel Programming in ANSI-Standard Ada," was published by Prentice-Hall in 1984. His latest book, "Software Construction by Object-Oriented Pictures: Specifying Reactive and Interactive Systems," was published by Thought**Tools in 1990. His talk will describe Stimulus-Response (S-R) Machines, a visual formalism based on Ada's semantics. S-R Machines are an Ada-Based alternative to Dataflow Diagrams, State Transition Diagrams, and Statecharts. They allow the Ada developer to use the same language semantics during all phases of the development life-cycle. S-R Machines are useful when developing state-rich, safety-critical systems or whenever understanding and communication are problematical or critical (e.g., software inspections of saftety-critical systems and widely distributed products). The speaker wil illustrate S-R Machines with several case studies. He will also demonstrate a formal but intuitive way to prove S-R Machine's correctness. Mitch Van Duyn Mr. Van Duyn received a B.S. degree in Computer Science from the Michigan Technological University in 1980. In 1982, he was awarded the M.S. degree in Computer Science. His thesis topic was "Compact Isomorphic Representation of Lisp Programs." Mr. Van Duyn's work in software tools has included porting a C compiler to the HP1000, rewriting the AP meta assembler (parent of other well known meta assemblers such as UNIVAC's MASM) in Mesa. He was part of the Sequel (an Ada/Mesa subset) Language Development Team and managed the 5090 product family sequel transition. While 5090 Family System Architect from 1984-1989, Mr. Van Duyn established "source only" software development process, developed patented fault tolerant control system error recovery procedures, developed patented graphical control system diagnostic functions, managed development of library of system software functions, and instituted configuration management process. In the Ada office of technology Acquisition since 1989, Mr. Van Duyn has served on committee seeking common language for future use and developed initial Ada transition models and prototype Ada subsystems. His professional interests include language design and implementation, Software Reuse enablement, Ada design methodologies, and concurrent software design methodologies. Terry J. Westley Mr. Westley is a Principal Computer Scientist at the Arvin/Calspan Advanced Technology Center in Buffalo, NY. He is currently a lead software engineer responsible for design and development of system services software and architecture for a large, real-time radar simulation being designed and coded in Ada to DOD-STD-2167A standards. Prior to joining Calspan, Mr. Westley was a Senior Engineer with Moog, Inc. He has been teaching Ada programming and design seminars since 1985. Mr. Westley has more than ten years of experence designing and building real-time, embedded systems in Ada, C, and assembler. He has served as project manager, system designer, programmer, and tester on numerous real-time systems. Previously, he had designed and implemented commercial and data processing applications in COBOL and FORTRAN. In 1977, Mr. Westley was awarded the B.A. in Computer Science from SUNY at Buffalo. Directions to Webster Xerox site Webster is a suburb Northeast of Rochester, NY From Buffalo: 1) Take the N.Y. Thruway East to the 390 (North & South) exit 2) Take 390 North to 590 North 3) Take 590 North to 104 East 4) Stay on 104 East and get off at the exit for Phillips Road 5) Turn left onto Phillips Road 6) Turn right onto San Jose Road 7) Turn left onto Euston Road 8) Turn left onto Seine Drive 9) Drive down and park in the lot for Building 335 From Syracuse: 1) Take the N.Y. Thruway West to the 490 (West & East) exit 2) Take 490 West 3) Follow the above instructions from 3) on The seminar will be held in the cafeteria for Building 335. -- Terry J. Westley Calspan Corporation, P.O. Box 400, Buffalo, NY 14225 westley%planck.uucp@acsu.buffalo.edu | "planck!hercules!westley"@acsu.buffalo.edu