16th International Software Product Line Conference Salvador - Brazil, September 02 - 07, 2012
Bashar Nuseibeh - “The Thin Line Between Products”
Wednesday, Sep 05, 09:00 - 10:30
This talk will discuss some of the research challenges arising from the increased customisation and personalisation capabilities of many software products, and the subsequent difficulties in engineering distinct and viable product lines. The talk will explore the opportunities that the engineering of adaptive systems have to offer to address these challenges, and some ways in which software product line engineering can help structure and manage the engineering of adaptive systems. The talk will draw on examples from security and privacy - quality requirements that often cut across product boundaries, and that are heavily dependent on the variable contexts in which these products may operate.
Keynotes
Silvio Meira - Sustainable Software Houses and Factories are STARTUPS
Thursday, Sep 06, 09:00 - 10:30
The global, local and firm economies depend on software in an ever increasing way. Writing effective software on a day to day basis,for a long time (decades, maybe) depends upon agility (as a process and timing) to have, as consequences, reliability, scalability and security, in times of software and systems as services.
The only way to achieve such tense and, in most cases, opposite goals, is to try and find business models (for software ops) that are continuously searching for a repeatable, scalable business models.
Patrick Heymans - “Formal Methods for the Masses”
Friday, Sep 07, 09:00 - 10:30
Software product line engineering has brought the mass customization paradigm from manufacturing to the software industry, bearing the promise of delivering individualized software products quickly and at a low unit cost. Although many companies have already successfully achieved this objective, major challenges are still ahead. I will focus on a pressing open issue: effective quality assurance of software product lines. I will provide an overview of the recent progress made in providing sound mathematical foundations to product line verification, and in developing proof-of-concept techniques and tools. I will then elaborate on a tentative research agenda for the years to come, highlighting the main fundamental and practical obstacles yet to overcome. Hopefully, when this agenda is realized, efficient and seamless tools for verifying mass-customized software will be available to the masses.
Bio
Bashar Nuseibeh is Professor of Software Engineering at the University of Limerick and Chief Scientist of Lero - the Irish Software Engineering Research Centre. He is also a Professor of Computing at the Open University, UK, where he served as Director of Research (2002-2008), and a Visiting Professor at Imperial College London and the National Institute of Informatics, Japan. Previously he was a Reader at Imperial College London and Head of its Software Engineering Laboratory.
Bashar's research interests are in software requirements engineering and design, software process modelling and technology, security and privacy, and technology transfer. He has published over 160 refereed papers and consulted widely with industry, working with organisations such as the UK National Air Traffic Services (NATS), Texas Instruments, Praxis Critical Systems, Philips Research Labs, and NASA.
Bashar is Editor-in-Chief of IEEE Transactions on Software Engineering, Editor Emeritus of the Automated Software Engineering Journal, and a member of the Editorial Board of several other international journals. He served as programme chair of the main conferences in his area, including ASE'98, RE'01, and ICSE'05, and was Chair of the ICSE Steering Committee (2007-2009) and of IFIP Working Group 2.9 (Requirements Engineering) (2004-2010).
Bashar has received numerous awards for his research and service, including a 2002 Philip Leverhulme Prize, an ICSE'2003 Most Influential Paper award, a Senior Research Fellowship of the Royal Academy of Engineering and Leverhulme Trust (2005-2007), an IFIP Outstanding Service Award (2009), a CHI'2010 Golden Mouse award for best research video, a Microsoft Research Award (SEIF 2012), and best and distinguished paper awards at RE'10 and RE'11, respectively. Bashar was elected a Fellow of Automated Software Engineering in 2007, and is a Fellow of the BCS and IET, and is a Chartered Engineer.
For more information, see: http://mcs.open.ac.uk/ban25/
Bio
Silvio Meira is a full professor and Chair of Software Engineering at Federal University of Pernambuco, Chief Scientist at the Recife Center for Advanced Studies and Systems (C.E.S.A.R) and director of the INES - National Institute of Science and Technology for Software Engineering. In the academic world, Silvio authored more than 200 papers in important conferences and journals related to software engineering and was advisor of more than 100 Master and Ph.D. students at the University. On the industrial side, Silvio helped to create more than ten start-up companies focused on different domains and has worked as consultant and member of the advisory board for other ones.
Based on his results in academy and industry, Silvio won several awards such as two medals from the Brazilian President and was considered one of the most important people in IT in Brazil.
He earned a Ph.D. in Computer Science from the University of Kent at Canterbury (1985) and his research areas includes: service-oriented development, software reuse, and social networks.
Bio
Patrick Heymans is Professor of Software Engineering at the University of Namur, Belgium. He is a founding member and current co-director of the PReCISE research centre (50 researchers) where he leads the Requirements Engineering and Software Product Lines activities. He is the CS Faculty’s Research Commissioner. He is also a visiting professor at INRIA Lille-Nord Europe, University of Lille 1 and CNRS, France. Patrick’s main research interests are in the application of formal and visual modeling techniques to improve the quality of software products and processes. He has (co-)supervised 7 completed PhD theses and 8 more are under way. Patrick is (co-)author of over 90 peer-reviewed international scientific publications, and has managed externally funded research projects for over 10M Euros.
Patrick regularly acts as an advisor and trainer for IT companies and is a permanent scientific advisor for CETIC, Wallonia's major applied research institute in software engineering. Patrick is associate editor of IEEE Transactions on Software Engineering. He has chaired the program of the two major Requirements Engineering conferences: REFSQ (in 2007 and 2009) and RE (in 2011). He is also serving as Steering Committee Chair for REFSQ. He is a regular referee for top international journals and conferences in the field of software engineering. Patrick is the co-founder of the VaMoS workshop series, dedicated to variability modeling, of which he chaired the first and fifth edition.