Best Research Paper Award

Advancing Repeated Research in Requirements Engineering: A Theoretical Replication of Viewpoint Merging
Nan Niu, Amy Koshoffer, Linda Newman, Charu Khatwani, Chatura Samarasinghe and Juha Savolainen
(University of Cincinnati, United States; Roche Diagnostics, Switzerland)

Best Industry Paper Award

RAMP: Requirements Authors Mentoring Program
John Terzakis, Sarah Gregory
(Intel Corporation, United States)

Best Poster and Tool Demo Award

SCCMT: A Stigmergy-based Collaborative Conceptual Modeling Tool
Yi Jiang, Shijun Wang, Kai Fu, Wei Zhang and Haiyan Zhao
(Peking University, China)

Most Influential Paper

Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, and Yves Bontemps
Feature Diagrams: A Survey and A Formal Semantics
(University of Namur, Belgium)

Download Slides( BaiduYun, GoogleDrive )

Lifetime Service Award

Martin Glinz
(University of Zurich, Switzerland)

Keynote Slides

Delivering Customer Value in the Age of Autonomous, Continuously Evolving Systems

Jan Bosch, Chalmers University Technology, Sweden
Abstract |  Biography  |  Homepage  |  Slides  | 

We are living in the most exciting time in the history of mankind. The last century has seen unprecedented improvements in the quality of the human condition and technology is at the heart of this progress. Now we are experiencing an even bigger leap as we move towards a new level of digitisation and automation. Ranging from self-driving cars to factories without workers to societal infrastructure, every sensor and actuator is becoming connected and new applications that enable new opportunities are appearing daily. The fuel of this emerging Internet of Things reality is software and the key challenge is to continuously deliver value to customers. There are three areas where the companies seeking to survive and thrive in this new world need to be world leading: speed, data and ecosystems. Speed is concerned with converting new customer insights into deployed solutions in hours and days rather than months and years. Effective use of data coming from the field, both in development as in the applications themselves, is critical to ensure that we are building the right products that can successfully act autonomously where humans were involved earlier. Finally, successfully integrating ourselves in our business and technology ecosystems such that speed and data-driven development and execution expand beyond the boundaries of the company is crucial for success. The keynote first introduces the aforementioned development, then discusses the key areas of speed, data and ecosystems and finally presents the implications for organisations that seek to continuously deliver value to their customers.

Jan Bosch is professor of software engineering and director of the Software Center at Chalmers University Technology in Gothenburg, Sweden. Earlier, he worked as Vice President Engineering Process at Intuit Inc where he also lead Intuit's Open Innovation efforts and headed the central mobile technologies team. Before Intuit, he was head of the Software and Application Technologies Laboratory at Nokia Research Center, Finland. Prior to joining Nokia, he headed the software engineering research group at the University of Groningen, The Netherlands. He received a MSc degree from the University of Twente, The Netherlands, and a PhD degree from Lund University, Sweden. His research activities include evidence-based development, software architecture, innovation experiment systems, compositional software engineering, software ecosystems, software product families and software variability management. He is the author of a book "Design and Use of Software Architectures: Adopting and Evolving a Product Line Approach" published by Pearson Education (Addison-Wesley & ACM Press), editor of several books and volumes and author of a significant number of research articles. He is editor for Journal of Systems and Software as well as Science of Computer Programming, chaired several conferences as general and program chair, served on many program committees and organized numerous workshops.

In the startup space, Jan is chairman of the board of Fidesmo in Stockholm, and Remente, in Gothenburg, Sweden. He serves on the advisory board of Assia Inc. in Redwood City, CA and Burt AB in Gothenburg, Sweden. Jan also runs a consulting firm, Boschonian AB, that offers its clients support around R&D and innovation management. More information about his background can be found at his website.

Urban Computing: Using Big Data to Solve Urban Challenges

Yu Zheng, Microsoft Research, China
Abstract |  Biography  |  Homepage  |  Slides( BaiduYun, GoogleDrive ) | 

Urban computing is a process of acquisition, integration, and analysis of big and heterogeneous data generated by a diversity of sources in cities to tackle urban challenges, e.g. air pollution, energy consumption and traffic congestion. Urban computing connects unobtrusive and ubiquitous sensing technologies, advanced data management and analytics models, and novel visualization methods, to create win-win-win solutions that improve urban environment, human life quality, and city operation systems. Urban computing is an inter-disciplinary field where computer science meets urban planning, transportation, economy, the environment, sociology, and energy, etc., in the context of urban spaces. In this talk, I will overview the framework of urban computing, discussing its key challenges and methodologies from computer science’s perspective. This talk will also present a diversity of urban computing applications, ranging from big data-driven environmental protection to transportation, from urban planning to urban economy. The research has been not only published at prestigious conferences but also deployed in the real world. More details can be found here

Dr. Yu Zheng is a research manager from Microsoft Research, passionate about using big data to tackle urban challenges. One of his project, entitled Urban Air, has been deployed with the Chinese Ministry of Environmental Protection, predicting air quality for over 300 Chinese cities. Zheng currently serves as the Editor-in-Chief of ACM Transactions on Intelligent Systems and Technology and a member of Editorial Advisory Board of IEEE Spectrum. He publishes referred papers frequently as a leading author at prestigious conferences and journals, such as KDD, VLDB, UbiComp, and IEEE TKDE, where he has received five best paper awards. His book, titled “Computing with Spatial Trajectories”, has been used as a text book in universities world-widely and awarded the Top 10 Most Popular Computer Science Book authored by Chinese at Springer. Zheng has served as chair on over 10 prestigious international conferences—most recently, as the program co-chair of ICDE 2014. In 2013, he was named one of the Top Innovators under 35 by MIT Technology Review (TR35) and featured by Time Magazine for his research on urban computing. In 2014, he was named one of the Top 40 Business Elites under 40 in China by Fortune Magazine, because of the business impact of urban computing he has been advocating since 2008. Zheng is also a Chair Professor at Shanghai Jiao Tong University, an Adjunct Professor at Hong Kong University of Science and Technology, and Hong Kong Polytechnic University.

Requirements for molecular programmed nanosystems

Robyn Lutz, Iowa State University, USA
Abstract |  Biography  |  Homepage  |  Slides  | 

Molecular programmed nanosystems combine computer science principles with the information-processing power of molecules to design self-assembling, programmable systems at the nanoscale. Molecular programming controls the behavior of molecules and is programming in the literal sense of computer science. Applications of molecular programming that are on the horizon for commercial production include targeted and personalized medical therapeutics, biosensors for air and water, molecular robots that can navigate in cells, and biocompatible computational devices.

In this talk I describe the experiences and results of our interdisciplinary team in applying goal-oriented requirements techniques, reaction network modeling, and probabilistic model checking to molecular programmed nanosystems. Requirements challenges include handling scalability to very large numbers of devices or services (roughly similar to the internet of things), dealing with probabilistic behavior, and understanding the limits of safe operation in changing (literally fluid) environments. I discuss how computational tools and thinking assist the development efforts and what limitations currently hamper our requirements analysis in practice. More broadly, I suggest that the approaches useful for molecular programming may help with understanding the requirements for other large, distributed, autonomous systems.

Robyn Lutz is a professor of computer science at Iowa State University, USA. She was also on the technical staff of Jet Propulsion Laboratory, California Institute of Technology from 1983 to 2012, most recently in the Software System Engineering group. Her research interests include software engineering of safety-critical systems, product lines, and the specification and verification of DNA nanosystems. She is an ACM Distinguished Scientist. She served as program chair of the 2014 International Requirements Engineering Conference (RE’14), is an associate editor of IEEE Transactions on Software Engineering, and is on the editorial board of the Requirements Engineering Journal.

Conference Program