XXXII Brazilian Symposium on Software Engineering

The Brazilian Symposium on Software Engineering (SBES), annually promoted by the Brazilian Computer Society (SBC), is the premier Software Engineering event in Latin America. SBES is held in conjunction with CBSoft - Brazilian Conference on Software: Theory and Practice. The CBSoft program includes technical research sessions, insightful ideas sessions, education sessions, industry sessions, invited talks, courses, tutorials, panels, demonstration of software tools, a PhD and MSc theses workshop, and several other satellite vents. It traditionally gathers nearly 600 people, including academics, practitioners, and students.

SBES 2018 will include three tracks:

  • The Research Track publishes solid results with a strong contribution to the Software Engineering community.
  • The Insightful Ideas & Emerging Results Track provides an opportunity for researchers and practitioners to submit and present innovative and promising ideas and results in early stages of research.
  • The Education Track (former FEES - Forum of Education in Software Engineering) publishes papers that address challenges, innovations, and best practices in Software Engineering education.

Research Track

This is the traditional SBES track, which publishes solid results with a strong contribution to the Software Engineering community. Papers on this track are reviewed based on its originality, relevance, technical soundness, and clarity of presentation.

Papers submitted to the SBES Research Track must not have been simultaneously submitted to any other forum (conference or journal), nor should they have already been published elsewhere.

Important Dates

Mentoring request deadline: February 2, 2018
Mentoring submission deadline: February 9, 2018
Paper registration (abstract submission) deadline: April 13, 2018 NEW! April 20, 2018 NEW! April 27, 2018
Paper upload deadline: April 20, 2018 NEW! April 27, 2018
Rebuttal period: June 4-11, 2018 NEW! June 12-17, 2018
Notification of acceptance: June 27, 2018
Camera-ready deadline: July 11, 2018

Topics of Interest

This Research Track welcomes technical research papers related (but not limited) to:

- Agent-oriented software engineering
- Agile development
- Configuration management and deployment
- CSCW and software engineering
- Experimental software engineering
- Industrial applications of software engineering
- Mining software repository
- Mobile application development
- Model-driven software development
- Requirements engineering
- Search-based software engineering
- Social aspects of software engineering
- Software architecture
- Software dependability
- Software ecosystems and systems of systems
- Software engineering education and training
- Software engineering for cloud computing
- Software engineering for the world wide web
- Software maintenance and evolution
- Software metrics and measurement
- Software modularity
- Software processes
- Software product lines
- Software reengineering
- Software reuse
- Software quality and quality models
- Software verification & validation
- Technical debt management
- Theoretical foundations and formal methods

Paper Languages and Categories

Authors of Research Track papers are asked to inform after the paper abstract one or more of the following categories. This intends to guide the authors in preparing their submissions and to establish a consistent set of expectations in the review process.

Analytical: A paper in which the main contribution relies on new algorithms or mathematical theory. Examples include new bug prediction techniques, model transformations, algorithms for dynamic and static analysis, and reliability analysis. Such a contribution must be evaluated with a convincing analysis of the algorithmic details, whether through a proof, complexity analysis, or runtime analysis, among others and depending on the objectives.

Experimental (primary study): A paper in which the main contribution is the experimental study of a software engineering technology or phenomenon. This includes controlled experiments, quasi experiments, case studies, and surveys of professionals reporting qualitative or quantitative data and analysis results. Such a contribution will be judged on its study design, appropriateness and correctness of its analysis, and threats to validity. Replications are welcome.

Literature review (secondary study): A paper in which the main contribution is the synthesis of primary studies. Examples include systematic reviews and systematic mappings. Such a contribution should follow a sound methodology and provide a comprehensive coverage of the relevant literature. Moreover, it should answer relevant research questions with a deep synthesis of the results. Contributions that only provide metadata analysis (e.g., relevant authors, publications density by year, most influential papers, etc.) are not encouraged.

Technological: A paper in which the main contribution is of a technical nature. This includes novel tools, modeling languages, infrastructures, and other technologies. Such a contribution does not necessarily need to be evaluated with humans. However, clear arguments, backed up by evidence as appropriate, must show how and why the technology is beneficial, whether it is in automating or supporting some user task, refining our modeling capabilities, improving some key system property, etc.

Methodological: A paper in which the main contribution is a coherent system of broad principles and practices to interpret or solve a problem. This includes novel requirements elicitation methods, process models, design methods, development approaches, programming paradigms, and other methodologies. The authors should provide convincing arguments, with commensurate experiences, why a new method is needed and what the benefits of the proposed method are.

Manuscript Preparation, Double-Blind Review, and Submission

Papers can be written in Portuguese or English. Submission in English is strongly encouraged since the symposium proceedings are indexed in the ACM Digital Library. The acceptance of a paper implies that at least one of its authors will register for the symposium to present it.

All submissions must be in Adobe Portable Document Format (PDF) and must comply with the ACM 2-column conference (ACM_SigConf) format available at http://www.acm.org/publications/proceedings-template. They must be no longer than 10 pages, including all figures and references.

Papers should be submitted electronically through JEMS system (http://submissoes.sbc.org.br). All technical research papers should inform after the abstract the language and one or more of the aforementioned categories. Submissions that are not in compliance with the required submission format or that are out of the scope of the symposium, or that were submitted or published in any other forum (conference or journal) will be rejected without review. All other papers will be reviewed by at least three program committee members. The review process includes a rebuttal period where authors will have access to reviews and may argue and answer questions from referees before the final acceptance/rejection decision. The rebuttal is limited to a plain text up to 4,000 characters.

DOUBLE-BLIND SUBMISSION

For the first time, SBES 2018 will follow a double-blind review process. All the submitted papers should not reveal the identity of the authors. Both author names and affiliations must be omitted. In addition to that, the following rules should be addressed:

  • You should ensure that citations to your own related work is written in the third person. For example, you must write “the previous work of Silva et al” as opposed to “our previous work”.
  • You should not mention any artifact in a repository or website in the submitted paper that allows identifying them. If you need to make available any artifact, please anonymize it and the respective repository/website.
  • If the submitted SBES paper is a follow up of your previous work, you may anonymize the reference in the submitted paper. For example, “the previous work of Silva et al” can be adapted to "based on the previous work [X]", and the reference at the end of the paper can be presented as "[X] Anonymous authors. Not presented due to double blind review"
  • After the paper acceptance, you can include all the paper information (without anonymization) in the camera ready.
  • In case you have any doubt about the preparation of your paper following the double-blind rules, send an email to the program chair (uira@dimap.ufrn.br) with the subject "SBES 2018: question about the double-blind rules"

Mentoring Program

Authors that have never published in SBES Research Track or at other international prestigious conferences in the field (on the program chair discretion), and that intend to submit a paper to the Research Track, may request to participate in the mentoring program. The program chair will assign a member of the Program Committee to make a preliminary assessment of the work and give feedback before the submission deadline, increasing the chances of less experienced authors.

Check the deadline to join the program in the Important Dates section, but we encourage the request to be made as soon as possible, since the number of papers in this program is limited and the assignment will be made in a first come first serve basis.

ATTENTION: to join this program none of the authors may have previous publication in any SBES edition or any international prestigious conferences. The request must be made exclusively by email (uira@dimap.ufrn.br) with the subject "Participation in the SBES 2018 Mentoring". You should include in the email body the title of the work, the full list of authors, and the abstract.

Journal First

SBES is partnering with international journals to incorporate Journal First papers into the SBES 2018 Research track.

The IEEE Software and Springer Journal of Software Engineering Research and Development (JSERD) have confirmed their partnership with SBES 2018. Authors of journal first papers accepted in those journals will be invited to present their research work at SBES. This offers an opportunity for authors to discuss their work with the community as well as to enrich the technical program of SBES.

The following evaluation criteria will be used to select journal first papers to SBES 2018:

  • The paper describes original results that are not extensions of previous conference papers.
  • The paper was accepted to be published in the journal no earlier than January 1st, 2016.
  • The paper has not been presented at any other conference as journal first.
  • The selected papers will be presented in the technical program of the SBES Research Track. At least one author per selected journal first paper will need to register and attend the symposium to present it.
  • Regarding journal first papers published at JSERD, we only accept submissions of papers from the following categories: Research Articles, Case Studies and Review.
  • Regarding journal-first papers published at IEEE Software, we only accept peer-reviewed research papers (not editorially-reviewed or invited papers).

Authors interested to present journal first papers at SBES 2018 need to send an email to the program chair (uira@dimap.ufrn.br) with the subject "Journal First - SBES 2018" until May 31st, 2018. The following information must be informed: (i) paper title, (ii) list of authors, (iii) the web link to access the paper; and (iv) a short statement on how the work satisfies the criteria above.

Best Paper Award

Every year the SBES Steering Committee appoints a committee to award the symposium's best papers. Awarded papers of the Research Track are announced during the event. The five best papers of the Research Track are invited to submit an extended version in English to the Research category of the Springer Journal of Software Engineering Research and Development (JSERD) http://jserd.springeropen.com/.

Organization

Program Chair
Uirá Kulesza, UFRN

Steering Committee
Eduardo Almeida, UFBA
Fabiano Cutigi Ferrari, UFSCar
Jose Carlos Maldonado, ICMC/USP
Leonardo Murta, UFF
Marco Aurélio Gerosa, Northern Arizona University
Rafael Prikladnicki, PUCRS
Uirá Kulesza, UFRN

Program Committee
Adenilso Simão (ICMC/USP)
Alessandro Garcia (PUC-Rio)
Alexandre Correa (UNIRIO)
Ana Paiva (FEUP, Universidade do Porto, Portugal)
Antonia Bertolino (CNR, Italy)
Arilo Dias Neto (UFAM)
Arndt von Staa (PUC-Rio)
Auri Marcelo Rizzo Vincenzi (UFSCar)
Christiane Gresse von Wangenheim (UFSC)
Christina Chavez (UFBA)
Christoph Treude (University of Adelaide, Australia)
Claudio Sant’Anna (UFBA)
Daniel Alencar da Costa (Queen's University, Canada)
Daniel Berry (University of Waterloo, Canada)
Daniel Lucrédio (UFSCar)
Edson Oliveira Jr (UEM)
Eduardo Almeida (UFBA)
Eduardo Figueiredo (UFMG)
Eiji Adachi Barbosa (UFRN)
Elder José Cirilo (UFSJ)
Elisa Yumi Nakagawa (ICMC/USP)
Ellen Barbosa (ICMC/USP)
Fabiano Cutigi Ferrari (UFSCar)
Fernanda Alencar (UFPE)
Fernando Castor (UFPE)
Fernando Marques Figueira Filho (UFRN)
Flavio Oquendo (UBS, France)
Franklin Ramalho (UFCG)
Glauco Carneiro (UNIFACS)
Guilherme Travassos (COPPE/UFRJ)
Gustavo Pinto (UFPA)
Gustavo Rossi (UNLP, Argentina)
Gustavo Soares (Microsoft Research, USA)
Humberto Marques Neto (PUC Minas)
Hyggo Almeida (UFCG)
Igor Steinmacher (UTFPR)
Igor Wiese (UTFPR)
Ingrid Oliveira de Nunes (UFRGS)
Itana Maria de Souza Gimenes (UEM)
Jaelson Castro (UFPE)
Jim Woodcock (University of York, UK)
Jose Carlos Maldonado (ICMC/USP)
Julio Leite (PUC-Rio)
Leonardo Murta (UFF)
Leopoldo Teixeira (UFPE)
Lincoln Rocha (UFC)
Luciano Baresi (Politecnico di Milano, Italy)
Marcelo d'Amorim (UFPE)
Marcelo de Almeida Maia (UFU)
Marcio Delamaro (ICMC/USP)
Marcio Ribeiro (UFAL)
Marco Aurélio Gerosa (Northern Arizona University, USA)
Marco Graciotto Silva (UTFPR)
Marco Tulio Valente (UFMG)
Marcos Kalinowski (PUC-Rio)
Mauricio Aniche (Delft University of Technology, Netherlands)
Marcio Barros (UNIRio)
Mehdi Bagherzadeh (Oakland University, USA)
Miguel Goulão (UNL, Portugal)
Mike Papadakis (University of Luxembourg, Luxembourg)
Mirco Franzago (University of L'Aquila, Italy)
Nabor Mendonca (UNIFOR)
Nélio Cacho (UFRN)
Oscar Pastor (Universitat Politècnica de València, Spain)
Patricia Machado (UFCG)
Paulo Borba (UFPE)
Pedro Santos Neto (UFPI)
Rafael Prikladnicki (PUCRS)
Raphael Pereira de Oliveira (IFS)
Raul Wazlawick (UFSC)
Regina Braga (UFJF)
Ricardo Terra Nunes Bueno Villela (UFLA)
Rick Rabiser (Johannes Kepler University, Austria)
Roberta Coelho (UFRN)
Rodrigo Bonifacio de Almeida (UNB)
Rodrigo Santos (UNIRIO)
Rogerio de Lemos (University of Kent, UK)
Rohit Gheyi (UFCG)
Rosana Braga (ICMC/USP)
Rossana Andrade (UFC)
Sérgio Soares (UFPE)
Silvia Abrahão (Universitat Politècnica de València, Spain)
Silvia Vergílio (UFPR)
Simone Souza (ICMC/USP)
Tayana Conte (UFAM)
Thais Vasconcelos Batista (UFRN)
Tiago Massoni (UFCG)
Toacy Oliveira (COPPE/UFRJ)
Valter Camargo (UFSCar)
Vander Alves (UnB)
Viviane Torres da Silva (IBM Research)
W. Eric Wong (University of Texas at Dallas, USA)

Insightful Ideas & Emerging Results Track

This track focuses on new and inspiring ideas with promising future results, as well as on research work in progress with preliminary and interesting results. The track welcomes innovative new software engineering approaches – methods, techniques, tools – in early stages of research. Papers on this track are reviewed based on its novelty, relevance, technical soundness, and clarity of presentation. The track has been organized since SBES 2015 and the previous proceedings are available at the IEEE (2015) or ACM (2016 and 2017) digital libraries.

Topics of Interest

We invite submissions from academia, government, and industry presenting novel research and ideas on all aspects of software engineering, including but not limited to the topics listed in the main research track.

Manuscript Preparation and Submission

Papers can be written in Portuguese or English. Submission in English is strongly encouraged since the symposium proceedings will be indexed by the ACM Digital Library. Submitted papers must not have been simultaneously submitted to any other forum (conference or journal), nor should they have already been published elsewhere. At least one author of each accepted paper must register for the conference and present the paper in person during the event or the paper will not be included in the proceedings.
All submissions must be in Adobe Portable Document Format (PDF) and must comply with the ACM 2-column conference (ACM_SigConf) format available at http://www.acm.org/publications/proceedings-template They must be no longer than 6 pages, including all figures and references. Papers should be submitted electronically through JEMS system (http://submissoes.sbc.org.br). All submitted papers should inform after the abstract the language in which the paper was written. Submissions that are not in compliance with the required submission format or that are out of the scope of the symposium will be rejected without reviewing. All other papers will be reviewed by at least three Program Committee members.

Important Dates

Paper registration (abstract submission) deadline: May 18 May 25
Paper upload deadline: May 25
Notification of acceptance: July 11
Camera-ready deadline: July 25

Organization

Program Chairs

Rafael Prikladnicki, PUCRS
Marco Aurélio Gerosa, Northern Arizona University

Program Committee

Adenilso Simao (ICMC-USP)
Alessandro Garcia (PUC-Rio)
Alfredo Goldman (IME-USP)
Arndt von Staa (PUC-Rio)
Christina Chavez (UFBA)
Claudia Melo (UnB)
Claudio Sant'Anna (UFBA)
Daniel Alencar da Costa (Queen’s University)
Eduardo Guerra (INPE)
Fabiano Ferrari (UFSCar)
Fernando Figueira Filho (UFRN)
Gustavo Pinto (UFPA)
Igor Steinmacher (NAU / UTFPR)
Igor Wiese (UTFPR)
José Maldonado (ICMC-USP)
Leonardo Murta (UFF)
Leonardo Tizzei (IBM Research)
Manoel Mendonça (UFBA)
Marcelo de Almeida Maia (UFU)
Marco Tulio Valente (UFMG)
Mauricio Aniche (TU Delft)
Nabor Mendonca (UNIFOR)
Rodrigo Bonifacio (UnB)
Sabrina Marczak (PUCRS)
Sergio Soares (UFPE)
Valter Camargo (UFSCar)

Steering Committee

Eduardo Almeida, UFBA 
Fabiano Cutigi Ferrari, UFSCar 
Jose Carlos Maldonado, ICMC/USP 
Leonardo Murta, UFF 
Marco Aurélio Gerosa, Northern Arizona University 
Rafael Prikladnicki, PUCRS 
Uirá Kulesza, UFRN 

Education Track

In 2018, for the second time, SBES will include an Education Track. Quality submissions covering curriculum development, empirical studies, best practices, personal or institutional experiences, and conceptual or theoretical work are particularly invited. Papers on this track are reviewed based on their originality, relevance, technical soundness, and clarity of presentation.

Papers submitted to the SBES Education Track must not have been simultaneously submitted to any other forum (conference or journal), nor should they have already been published elsewhere.

Important Dates

Paper registration (abstract submission) deadline: May 18th, 2018 May 25th, 2018
Paper upload deadline: May 25th, 2018
Rebuttal period: June 27th - July 4th, 2018
Notification of acceptance: July 11th, 2018
Camera-ready deadline: July 25th, 2018

Topics of Interest

The Education Track welcomes technical research papers related (but not limited) to:

  • New and innovative best practices for software engineering education;
  • Innovative curriculum or course formats;
  • Teaching of Software Engineering in Computer Science courses, Information Systems courses, Information Technology courses and others;
  • Teaching of methods, techniques and tools for the development of software;
  • Software engineering education in non-traditional settings such as hackathons;
  • Emerging educational settings for software engineering such as online learning;
  • Teaching/learning experiences using approaches of new practical scenarios of Software Engineering, such as: agile methods, open source, distributed software development, cloud computing, big data, mobile devices, embedded systems, robotics and others;
  • Tools and methods for the evaluation of software engineering learning;
  • Ways of teaching/learning that consider the knowledge of social, professional, legal, ethic, political, and human issues on Software engineering;
  • Integration of practical experiences in teaching Software Engineering;
  • Integration between research on Software Engineering and teaching/learning Software Engineering;
  • Use of new technology in Software engineering education;
  • Interdisciplinarity in Software Engineering: relationship with other disciplines and courses, such as arts, music, administration, economics and psychology;
  • Innovative methods that promote studying and stimulating learning of professors, keeping them updated for the teaching of Software Engineering;
  • Education in Software Engineering that stimulates entrepreneurship, specially startups creation; and
  • Open source in education.

Manuscript preparation and Submission

Papers must be written in Portuguese or English. Submissions in English are strongly encouraged since the symposium proceedings are indexed in the ACM Digital Library. The acceptance of a paper implies that at least one of its authors will register for the symposium to present it.

All submissions must be in Adobe Portable Document Format (PDF) and must comply with the ACM 2-column conference format available at http://www.acm.org/publications/article-templates/proceedings-template.html. Papers must be no longer than 10 pages, including all figures and references.

Papers should be electronically submitted through the JEMS system ((http://submissoes.sbc.org.br). Submissions that are not in compliance with the required submission format or that are out of the scope of the Education Track will be rejected without reviewing. All other papers will be reviewed by at least three Program Committee members.

The review process includes a rebuttal period in which the authors will have access to the reviewers’ comments and may argue and answer questions from the reviewers before the final acceptance/rejection decision. The rebuttal is limited to a plain text up to 4,000 characters (including spaces).

Organization

Program Co-Chair
Claudia Werner, COPPE/UFRJ
Rossana Andrade, UFC

Steering Committee
Eduardo Almeida, UFBA
Fabiano Cutigi Ferrari, UFSCar
Jose Carlos Maldonado, ICMC/USP
Leonardo Murta, UFF
Marco Aurélio Gerosa, Northern Arizona University
Rafael Prikladnicki, PUCRS
Uirá Kulesza, UFRN

Technical Program Committee
Ana Paula Bacelo, Pontifícia Universidade Católica do Rio Grande do Sul
Ana Regina Rocha, COPPE/Universidade Federal do Rio de Janeiro
Andreia Malucelli, Pontifícia Universidade Católica do Paraná
Carla Silva, Universidade Federal de Pernambuco
Christiane Gresse von Wangenheim, Universidade Federal de Santa Catarina
Christina Chavez, Universidade Federal da Bahia
Daltro Nunes, Universidade Federal do Rio Grande do Sul
Edmundo Spoto, UFG – Universidade Federal de Goiás
Edson Oliveira Jr, Universidade Estadual de Maringá
Eduardo Figueiredo, Universidade Federal de  Minas Gerais
Emily Oh Navarro, University of California, USA
Francisco Dantas, Universidade Estadual do Rio Grande do Norte
Gleison Santos, Universidade Federal do Estado do Rio de Janeiro
Heitor Costa, Universidade Federal de Lavras
Igor Steinmacher, Universidade Tecnológica Federal do Paraná
Igor Wiese, Universidade Tecnológica Federal do Paraná
Itana Gimenes, Universidade Estadual de Maringá
Jaejoon Lee, Lancaster University, UK
Jair Leite, Universidade Federal do Rio Grande do Norte
José Carlos Maldonado, USP São Carlos
Julio Leite, Pontifícia Universidade Católica do Rio de Janeiro
Leila Ribeiro, Universidade Federal do Rio Grande do Sul
Lincoln Souza Rocha, Universidade Federal do Ceará
Marcelo Yamaguti, Pontifícia Universidade Católica do Rio Grande do Sul
Márcio Barros, Universidade Federal do Estado do Rio de Janeiro
Maria Augusta Vieira Nelson, Pontifícia Universidade Católica de Minas Gerais
Milene Serrano, Universidade de Brasília
Monalessa Perini Barcellos, Universidade Federal do Espírito Santo
Paulo Meirelles, Universidade de Brasília
Pedro Santos Neto, Universidade Federal do Piauí
Rafael Capilla, University Rey Juan Carlos, Spain
Roberta Coelho, Universidade Federal do Rio Grande do Norte
Rodolfo Resende, Universidade Federal de Minas Gerais
Rodrigo Reis, Universidade Federal do Pará
Rodrigo Santos, Universidade Federal do Estado do Rio de Janeiro
Rodrigo Spínola, Universidade de Salvador
Sabrina Marczak, Pontifícia Universidade Católica do Rio Grande do Sul
Sheila Reinehr, Pontifícia Universidade Católica do Paraná
Tayana Conte, Universidade Federal do Amazonas
Valter Camargo, Universidade Federal de São Carlos

Keynotes

Massimiliano Di Penta, University of Sannio, Italy


Massimiliano Di Penta is associate professor at the University of Sannio, Italy. His research interests include software maintenance and evolution, mining software repositories, empirical software engineering, software testing, search-based software engineering, and service-centric software engineering. He authored over 250 papers appeared in international journals, conferences, and workshops, and has received ACM SIGSOFT Distinguished Paper Awards at ICSE, FSE, and ASE, and best/distinguished papers in other conferences, including ICSME, ICPC, CSMR, and WCRE.

He serves and has served in the organizing and program committees of more than 100 conferences, including ICSE, FSE, ASE, ICSME. He his member of the steering committee of ASE and MSR, and has previously served the steering committee of ICSME, PROMISE, SSBSE, WCRE, CSMR, SCAM, and IWPSE. He is in the editorial board of the Empirical Software Engineering Journal edited by Springer, and of the Journal of Software: Evolution and Processes edited by Wiley, and has served the editorial board of the IEEE Transactions on Software Engineering.

Title: On the Different Flavors of Software (bad) Smells
Keynote Abstract: Beck and Fowler define code (bad) smell as "a surface indication that usually corresponds to a deeper problem in the system." In the past 20 years, researchers have developed different kinds of approaches to detect code smells, and have studied the presence, the evolution and the developers' perception of such smells. While in some cases such studies confirmed researchers' common wisdom, in other cases they also showed how such a phenomenon (code bad smells) is, if not overrated, at least requiring a more careful interpretation. Nowadays, the complexity and heterogeneity of environments in which software is being used require looking at a wider range of problems, including code readability, performance/energy consumption, up to the presence of poor choices in infrastructure-as-code or continuous delivery pipelines. This keynote will start by overviewing some main achievements in the area of software smell detection and analysis, highlighting positive but also negative research results. After that, the talk will outline the "different flavors" of software bad smells, explaining how the concept of code bad smells is being extended to further areas of investigation. Finally, the last part of the keynote will aim at discussing open challenges and future directions in software smell analysis, as well as the extent to which one can exploit smell detectors to develop effective recommender systems for software engineers.

Mik Kersten, TaskTop Technologies, Canada


Dr. Mik Kersten spent a decade creating open source developer tools before realizing that programing was not the bottleneck of large-scale software delivery. Since that time, he has been working on creating a model and tools for connecting the end-to-end software value stream.

He has been named a JavaOne Rock Star speaker and one of the IBM developerWorks Java top 10 writers of the decade. He was selected as one of the 2012 Business in Vancouver 40 under 40 and has been a World Technology Awards finalist in the IT Software category. Kersten is the editor of the IEEE Software Department on DevOps. Prior to founding Tasktop, Mik created the Eclipse Mylyn open source project as part of his PhD in Computer Science, pioneering the integration of development tools with the delivery pipeline. As the CEO of Tasktop and loves working with IT leaders on transforming how software is built.

Title: How Value Stream Networks Will Transform Software Delivery
Keynote Abstract: Projects, org charts and software architecture are the best representations of value creation we have today. They are insufficient to support the scale and complexity of the software that is powering more and more of the world economy. In this talk, Dr. Kersten will propose a new set of abstractions for understanding and improving how software is built. He will introduce the concept of Value Stream Networks, which provide a set of models that span beyond the software architecture to include all of the artifacts involved in building software, from business idea to customer support. He will then show how we can visualize and operate on this new model in order to gain insights into the ground truth of what flows through organizations delivering software, and how we can improve that flow using the Flow Framework. Kersten will summarize his experiences from open source, building a successful startup, and supporting some of the larges Agile and DevOps transformations in order to propose ideas for the research and practices still needed to better understand and manage software delivery at scale.

Augusto Sampaio, CIn/UFPE, Brazil


Augusto Sampaio is an Oxford PhD, 1993. Since 2007 he is a Software Engineering Full Professor at Centro de Informática of UFPE. In 2010 he received the title of Comendador da Ordem Nacional do Mérito Científico (Commander of the National Order of Scientific Merit) awarded by the Brazilian Presidency. In 2016, he was awarded the title of Doctor Honoris Causa of the University of York. He is a member of the Formal Methods Europe Fellowship Award Committee and editorial board member of Formal Aspects of Computing, Science of Computer Programming and the Journal of the Brazilian Computer Society.

His main area of interest is Software Engineering, with emphasis on Formal Methods. He has contributed with semantics, refinement and transformation of concurrent and object oriented models and programs; compositional techniques for model checking; integration of formal and semi-formal methods (including UML and SysML); component models; automatic test case generation from natural language requirements, and, more recently, to the modelling, simulation and verification of robotic applications. He was the Brazilian PI of several national and international projects, including three projects jointly funded by NSF (USA) and CNPq (Brazil), and the COMPASS project (http://www.compass-research.eu), under an FP7 call. He has also significantly focused on cooperation with industry: particularly, since 2002 he is the PI of a long term collaboration with Motorola, on the development and application of formal testing and analysis techniques to mobile phone applications.

Title: Modelling, Simulation and Analysis of Robotic Applications
Keynote Abstract: The overall context of this work is the engineering of safe robotic systems. The particular focus of this talk is on verified simulations. I will present an approach to the systematic construction of correct simulations of robotic applications from more abstract design models in a UML-based notation. Whereas the design models are event-based and are not constrained by any explicit notion of cyclic execution, the simulation model is cyclic and captures interaction with the environment by explicit, low-level, input, via register readings, and output via writing to actuators. We show that a conformance notion for a simulation is not obvious, and present some assumptions that allow establishing a connection between the design and simulation models. We use a simple robotic model as a running example to illustrate the overall approach and then discuss the modeling and simulation of more elaborate case studies. We explore several scenarios of correct and mistaken simulations, and emphasise how it can be extremely subtle achieving conformance without a proper framework as the one that is presented. Tool support for the construction and verification of simulations is also discussed. (This is a joint effort with Ana Cavalcanti and her group at York in the context of the RoboCalc project: https://www.cs.york.ac.uk/circus/RoboCalc/