Advanced verification techniques into software development process at NASA

Guillaume Brat is employed by Carnegie-Mellon University and he conducts research in software verification within the Robust Software Engineering group in the Intelligent Systems Division at NASA Ames.
Dr. Brat received his M.Sc. and Ph.D. in Electrical & Computer Engineering in 1998 (The University of Texas at Austin, USA). His thesis defined a (max,+) algebra to model and evaluate non-stationary, periodic timed discrete event systems. Since then, he has specialized on the application of static analysis to software verification. From 1997 to June 1999, he worked at MCC where he led a project that developed static analysis tools for software verification. In June 1999, he joined the Automated Software Engineering (now Robust Software Engineering) group at the NASA Ames Research Center and focused on the application of static analysis to the verification of large software systems.

More information

Mary Poppendieck will give a keynote at QA&TEST

Mary Poppendieck, international expert in agile software, will be part of QA&TEST 2009, with a keynote on 22 October. Mary Poppendieck has a long experience in software development, and she is a specialist in managing software projects.

She wrote the award-winning book  Lean Software Development: An Agile Toolkit in 2003 to explain how the lean principles from manufacturing offer a better approach to software development.  In 2006, she published a second book based on her on-going learning; Implementing Lean Software Development: From Concept to Cash.

Mary Poppendieck is an exceptional speaker, who continues to bring fresh perspectives to the world of software development.

Derk-Jan de Grood and Chris Schotanus will give the tutorials at QA&TEST

QA&TEST is proud of present the speakers of the two tutorials that will open the Conference next October 21. Derk-Jan de Grood (Collis, The Netherlands) and Chris Schotanus (Logica, The Netherlands), will explain the best techniques to develop your testing process in an effective way, so you will reduce cost and you will gain the confidence of your partners.

The tutorial of Derk-Jan de Grood will give participants insight in the fundamentals of result-driven testing. The attendees will learn why business alignment is crucial and how to become the reliable trusted partner of business and project managers.
Chris Schotanus will explain the similarities between testing of SOA based and embedded systems: how can we learn from each other and how can we make the test process as efficient and effective as possible.
Click here to see the Programme of QA&TEST 2009 and register today!

The preliminary Programme of QA&TEST 2009 is available!

QA&TEST 2009 is proud of present the preliminary Programme of the Conference, which will be held in Bilbao, Spain, on 21, 22 and 23 October.
The 8th edition of the Conference will have speakers of the most representative companies and organisms of the industry: Derk-Jan de Grood (NL), of Collis; Alvin Sumter (USA), from Cox Enterprises; Amaya Atencia (Spain), of GMV Defense & Aerospace; Avner Engel (Israel), of Holon Institute of Technology; Luis Fernández Sanz (Spain), Proffessor of the University of Alcalá de Henares; and Doron Cherkovsky, from Israel Aircraft Industries, among others.
The best speakers will be in QA&TEST. Please, check frequently the Programme to be updated with the latest news. We hope you can join us next October in Bilbao.