Software Product Families: Towards Compositionality

- Static Analysis and Abstract Interpretation I (Chair: Sophia Drossopulou, room: Multicert) • FASE - Specification (Chair: Marsha Chechik, room: Cisco) • TACAS - Specification Languages (Chair: Marsha Chechik, room: Enabler-Wipro) 12:30 - 14:30 Lunch 14:30 - 15:40 SESSION 3A • Unifying Invited Talk (Chair: Jo˜ao Saraiva, room: Enabler-Wipro) Contract-Driven Development Bertrand Meyer (ETH Z¨urich, Switzerland) 15:40 - 15:50 Break 15:50 - 16:50 SESSION 3B - Static Analysis and Abstract Interpretation II (Chair: Sophia Drossopulou, room: Multicert) • TACAS - Security (Chair: Michael Huth, room: Enabler-Wipro) 

• Type: Conference
• Year: 2007
• Where: FASE
• Authors: Jan Bosch
• Keywords: Abstract Interpretation, FASE 2007, Marsha Chechik, Software Engineering, Static Analysis