Requirements

New Ideas and Emerging Results Track
When: Wednesday, May 25 1:45PM
Location: Coral Ballroom 1
Process
Alberto Sillitti, Giancarlo Succi, and Jelena Vlasenko
Borislava I. Simidchieva and Leon J. Osterweil
Nicolas Mangano, Harold Ossher, Ian Simmonds, Matthew Callery, Michael Desmond, and Sophia Krasikov
Kenneth M. Anderson and Aaron Schram
Requirements
Yang Li, Nitesh Narayan, Jonas Helming, and Maximilian Koegel
Felix Bott, Stephan Diehl, and Rainer Lutz
Rafael V. Borges, Artur D'Avila Garcez, Luis C. Lamb, and Bashar Nuseibeh
David Cuddeback, Alex Dekhtyar, Jane Huffman Hayes, Jeff Holden, and Wei-Keat Kong
Verification 1
Alexander Nöhrer, Alexander Reder, and Alexander Egyed
Grigore Roşu and Andrei Ştefănescu