Articles

Prof. Dr. Salinesi is an active academic who teaches topics in relation with software design such as Requirements Engineering, and Software Product Lines. He was involved in many funded research projects (FP4, FP5, H2020, ANR) and was the leader for collaborations and consultancy works for various companies such as France Télécom, SNCF, Renault, EDF or REXEL). He has been General Chair of SPLC, CAiSE, REFSQ international conferences, and was Organizing Chair of the 13th IEEE International Conference on Requirements Engineering.

At IREB, Prof Salinesi has acted for 2 mandates as Second Chair of the Executive Committee. He is now Full Member, member of the Editorial Board, and WG Member.

• Conversation with an Artificial Intelligence

For more than twenty years, Rainer Grau has accompanied companies on their way enterprise agility. He supports companies in their efforts to continuously develop and create sustainable value for customers and employees. For him, it is particularly exciting to find out which methods, techniques and approaches are suitable for scaling agility and building the right product and the right service for the customer. Business analysis and requirements engineering are two essential disciplines in this context, which also generate high value in an agile setup - even if perhaps lived completely differently compared to a classic project approach.

Rainer's background of experience in business agility is based on his consulting work with companies from various industries. Stages of his professional life include Distinguished Consultant and Partner at Zühlke Engineering, Head of Business Development at digitec Galaxus, responsible for courses at universities of applied sciences on the topic of agility, founder of the Swiss Agile Leaders Circle, founder of Denkplan Verein and active involvement in communities around agility, business analysis and requirements engineering.

If there is still time left, Rainer Grau likes to spend it with his family, doing sports, playing his guitar and reading novels.

• Mission Possible
• Innovation Arena

Gil Regev has been a researcher at EPFL since 1997 in the fields of enterprise information systems, requirements engineering, change management and knowledge management. Since 2008 he is also manager and consultant at Itecor, a boutique consultancy firm. Previously Gil developed software for computer peripherals at Logitech, in Switzerland and California.

• A General Systems Thinking Perspective on the CPRE

Alain Wegmann is a full professor at the School of Computer and Communication Sciences, EPFL, Switzerland. He worked 14 years for Logitech (Switzerland, Taiwan, US) in positions ranging from software developer, IS manager, manufacturing engineering to VP of engineering and OEM marketing before joining the EPFL in 1997. His teaching, consulting and research are in the fields of enterprise architecture, requirements engineering and service engineering.

• A General Systems Thinking Perspective on the CPRE

Olivier Hayard has been a consultant and in charge of IT and Knowledge Management at Itecor, a boutique consultancy firm, since 1993. Olivier’s main interests are business analysis and requirements management, as practitioner, trainer and researcher.

• A General Systems Thinking Perspective on the CPRE

Project manager since 2008, certified Scrum Product Owner, Agile Project Manager, with foundations of PRINCE2. Over six years of experience as a UX designer and researcher. Worked in digital agencies as a digital project manager, then switched to the client's side. Head of Product in iTaxi, then in Pergamin (e-signature). Worked also for libraries and museums in Poland to help improve the accessibility of digital products.

Awarded by Innovation Ad Award for the prototype for Sensodyne and by nomination in Mobile Trends for the mobile app for drivers. An author of articles about product management, user experience, and accessibility.

• The Potential of User Tests for Requirements Engineering

Freelance trainer and consultant in Software Engineering. 20 years of work experience, including 7 years as consultant and project manager, 10 years in research and university teaching, and two guest professorships. Associate member at IREB, co-author of syllabus and handbook for the CPRE Advanced Level in Requirements Management. www.herrmann-ehrlich.de

• Requirements Engineering in Job Offers

Maya Daneva, PhD, is Senior Member of Scientific Staff in the Services and Cybersecurity group at the University of Twente, the Netherlands. Her research interests are requirements engineering for large systems, security requirements engineering, requirements-based project estimation, user feedback analytics, and empirical research methods. Maya has a strong international exposure having spent two years of her career in Germany at the University of Saarbruecken and in the IDS Scheer, and 9 years as a business process analyst for SAP Enterprise Recourse Planning projects at TELUS Corporation, Canada’s second largest telecommunication company.

• Requirements Engineering in Job Offers

Chong Wang is an assistant professor at Wuhan University. She has over 10 years of work experience in research and university teaching. Her research interests include requirements engineering, software engineering, and service computing.

• Requirements Engineering in Job Offers

Nelly Condori-Fernandez is an assistant professor at the Universidade da Coruna (Spain) and research associate of the Vrije Universiteit Amsterdam (The Netherlands). Her research focuses on topics related to quality requirements prioritization and sustainability. She has published 85 articles in indexed journals and ranked conferences. Besides, she has been involved in several European projects.

• Requirements Engineering in Job Offers

Luisa Mich is an Associate Professor of Computer Science at the University of Trento, Italy. Her research interests include requirements engineering, creativity and web strategies. She is an author of more than 150 papers.
 

• Interview with John Mylopoulos
• Requirements Elicitation (ReqElic) in My Company

Daniel Méndez is an Associate Professor for Software Engineering at the Blekinge Institute of Technology, Sweden and Senior Scientist at fortiss, the research institute of the Free State of Bavaria for software-intensive systems and services. His research is on Empirical Software Engineering with a particular focus on interdisciplinary, qualitative research in Requirements Engineering and its quality improvement. He regularly publishes in various software engineering publications and has occupied several key positions in venues of the empirical software engineering community. He is a member of the ACM, the IEEE Computer Society, and the German association of university professors and lecturers, and he serves as the representative to ISERN, the International Empirical Software Engineering Research Network. Further information is provided at www.mendezfe.org.

• What is the Relevance of Requirements Engineering Research to Practitioners?
• Modeling Requirements and Context as a means for Automated Requirements Validation

Xavier Franch is Professor at the Universitat Politècnica de Barcelona (UPC-BarcelonaTech), Spain. He is Council Member and Full Member of the IREB association. He has published over 200 peer-reviewed papers in conferences and journals, many of them related to requirements engineering. He was Program Co-Chair of the RE’16 and REFSQ’11 conferences, and he belongs to the Editorial Board of the Requirements Engineering Journal (Springer) and Information Software and Technology (IST) journals, among others. He is coordinator of the Q-Rapids project and participates in the OpenReq project, both in the H2020 programme. He organizes workshops concerning requirements engineering for NLP4RE, CrowdRE, JIT-RE and others.

• What is the Relevance of Requirements Engineering Research to Practitioners?
• Modeling Requirements and Context as a means for Automated Requirements Validation

Andreas Vogelsang is a post-doc researcher in the software & systems engineering group at the Technical University of Munich. He works on model-based requirements engineering and participated in several research collaborations with industrial partners especially from the automotive industry. His research published was published in relevant international conferences like RE, REFSQ, or ICSE.

• What is the Relevance of Requirements Engineering Research to Practitioners?
• Modeling Requirements and Context as a means for Automated Requirements Validation

David Gilbert has worked in various operational and strategic Digital Design roles since 2007. Previously, he completed his studies as Diploma Mediamanager at the Wiesbaden University of Applied Sciences.

Until 2015, he worked for various design agencies such as Scholz & Volkmer, Pixelpark, Mutabor or SinnerSchrader. The projects he has worked in have received over 25 international and national design awards. - Since 2015 he is working in the IT department of the Deutsche Bahn Group, where he holds the role of Chief Architect User Experience at the intersection of classic system-oriented and user-oriented software conception.

From 2011 - 2016, he was a lecturer in UX Design at the RheinMain University of Applied Sciences, and has published various contributions to the topics of strategic UX design and digital design.

In addition to his engagement within the "Digital Design" working group, he is chairing the Bitkom "Digital Design" working group as well as he is a member of the "Designforum Digital Experience" of the German Design Council.

• Mastering Business Requirements

Dirk Röder has been working in software engineering since 1992. At DB Systel GmbH, he has been chief software architect since 2007, taking care of the employees involved in IT conception.

Since 2010, he has played a leading role in setting up and further developing the internal training program for the conceptual design of software. He has been driving the integration of UX design and classic software engineering since 2015. He is currently working on the conversion of concept work to agile implementation and new production models such as DevOps.

• Mastering Business Requirements

Rana Siadati is currently a PhD student in Software Requirements Engineering and also a visiting lecturer by the School of Computer Science at the University of Hertfordshire. Alongside these roles, Rana has many years of academic and industrial experience, also at managerial level, gained in the UK and abroad.

• Learning from history: The case of Software Requirements Engineering

Paul Wernick is a Senior Lecturer in Computer Science at the University of Hertfordshire. Dr Wernick has taken leading roles in the ProSim series of software process simulation workshops, and the IEEE Workshop on Software Evolvability. Dr Wernick’s current research interests cover the high-level human environment within which software processes occur and their simulation, and computer security.

• Learning from history: The case of Software Requirements Engineering

Vito Veneziano is a Senior Lecturer in Computer Science at the University of Hertfordshire, and his interests range from software engineering, HCI, requirements analysis and system modelling, to how software systems impact on organisations. Previously Dr Veneziano worked in IT and project management, business application development, software design and consultancy.

• Learning from history: The case of Software Requirements Engineering

Priyank Arora is a Senior Business Analyst working in the digital IT space for 12+ years. He is a CBAP certified professional with a Core Credential in Business Analytics from Harvard Business School. He works on large scale digital transformation projects for the world’s leading travel group, where he helped to transition the requirement engineering processes from traditional to Agile working methodologies. He was also involved with a machine learning initiative within his organisation and is a data science enthusiast with an interest in applying analytical thinking and decision automation for business growth.

• Data Science – the expanding frontier for Business Analysts

Grigory Grin is a Chief Software Architect at Axinom – software supplier for Media- and In-Flight Entertainment solutions based in Germany and Estonia.
Grigory studied mathematics and graduated from the Ural State University in Russia in 1995. During his 25 years career on the software development field, Grigory had responsibilities in a broad range of roles – Development, Architecture, Business Analysis, Project Management. His main strengths are in alignment between the customer needs and contractors technical capabilities and solution portfolio to deliver the highest business value.
As a practitioner, Grigory has successfully led multiple multi-million euro projects for world-known brands in the aerospace industry with significant challenges on the field of Requirements Engineering.

• When the rubber hits the road

Jason Hansen obtained a BS in Chemical Engineering from Michigan Tech. He left the work force in 2005 to focus on raising an adopted special needs daughter. In 2015, he decided to return to school and obtained his AAAS in Network Admin. He is working as a tutor at GRCC while pursuing a Master’s Degree in Computer Software Engineering at GVSU.

• Challenges in the elicitation and determination of precise requirements from animal stakeholders

Hans van Loenhoud MSc is a consultant and teacher at Taraxacum in the Netherlands. He has been working in software development for more than 35 years, starting as a Cobol programmer and later on specialized in test and quality management.
In this role, he has been teaching various ISTQB test courses and has been chair of TestNet, the Dutch association of professional software testers. In recent years, he joined IREB to build a bridge between software testing and requirements engineering. He gives various Business Analysis, Requirements Engineering and Software Testing trainings. Hans is also a lecturer at the Amsterdam University of Applied Sciences for these topics and participates in the IREB advanced level Elicitation working group.

• On the right track
• The goal is to solve the problem
• Translating Exam Questions

Thijmen works as IT architect at Kommuninvest acting as technical lead for its digitalization initiative and growing CI/CD and Agile practice in the company. His work on the mini-QAW started in his role as researcher at ABB, where he worked on software architectures with colleagues around the globe. He authored publications at leading international software conferences, receiving two best paper awards. Thijmen graduated cum-laude in software engineering from VU University in the Netherlands and Malardalen University in Sweden.

• Discover Quality Requirements with the Mini-QAW

Michael Keeling is a software engineer at LendingHome and the author of Design It! From Programmer to Software Architect. In his career so far, he has worked on a variety of interesting software systems including IBM Watson, enterprise search applications, financial platforms, and Navy combat systems. Michael has a master’s degree in software engineering from Carnegie Mellon University and a bachelor’s degree in computer science from the College of William and Mary. Contact him via Twitter @michaelkeeling or his website, https://www.neverletdown.net

• Discover Quality Requirements with the Mini-QAW

Will Chaparro is a software development manager in IBM’s Watson Group. He spent over 5 years designing and building complex enterprise search solutions as a managing consultant. Prior to IBM he spent 11 years as a software engineer. He has a BS in Computer Science from the University of Pittsburgh.

• Discover Quality Requirements with the Mini-QAW

Hans van Loenhoud MSc is a consultant and teacher at Taraxacum in the Netherlands. He has been working in software development for more than 35 years, starting as a Cobol programmer and later on specialized in test and quality management.
In this role, he has been teaching various ISTQB test courses and has been chair of TestNet, the Dutch association of professional software testers. In recent years, he joined IREB to build a bridge between software testing and requirements engineering. He gives various Business Analysis, Requirements Engineering and Software Testing trainings. Hans is also a lecturer at the Amsterdam University of Applied Sciences for these topics and participates in the IREB advanced level Elicitation working group.

• The goal is to solve the problem

Dr. Kim Lauenroth is Chief Requirements Engineer and leads a competence centre for requirements engineering at adesso AG.

He has over 10 years of experience in software and requirements engineering in different domains. He regularly speaks at internal conferences in the topic of RE. Within IREB, he is involved in the development of the advanced level module Elicitation & Consolidation.

Kim received his PhD in the field of requirements engineering from the University of Duisburg-Essen and studied computer science, business administration and psychology at the University of Dortmund.

• The goal is to solve the problem

Dr. Patrick Steiger, based in Switzerland, leads the requirements engineering activities of Infometis AG and is a part-time teacher at the MAS HCID (Human-Computer Interaction Design) which is provided as a cooperation of University of Basle and HSR Hochschule für Technik Rapperswil.
Since more than 20 years he works as a consultant in software engineering projects, focusing on requirements engineering. His PhD was on the topic of “Personal Risk Management”, which already at that time addressed problems and goals of individuals.

• The goal is to solve the problem

Karol Frühauf is co-founder of INFOGEM AG in Switzerland, since 1987 consulting in the field of software project and quality management (http://www.infogem.ch). He worked 12 years for BBC Brown Boveri & Cie and helped since 1987 many companies to improve their processes and products. He co-authored two books and is a frequent speaker, tutor and teacher in the field of software engineering. His main interests are test and quality management and requirements engineering.
He initiated and directs the "Bridge Guard Art / Science Residence Centre" in Štúrovo, Slovakia (http://www.bridgeguard.org).

• Sharing My Doubts on the Focus of Requirements
• Sharing My Doubts on Goals and Requirements
• Sharing My Doubts on Shall / Should / Will etc.
• Sharing My Doubts on Acceptance Criteria

Harry M. Sneed has a Master’s Degree in Information Sciences from the University of Maryland, 1969. He has been working in the IT field since 1967 when he started as a FORTRAN programmer for the US Navy Department. He migrated to Germany in 1971 and worked first for the Federal University Administration and then for Siemens in the database area. In 1978 he set up the first commercial software test laboratory in Budapest. There he developed the first German requirements engineering tool SoftSpec in 1982. That tool was used to document the requirements in many large German organizations, including BMW, Bertelsmann, Thyssen Steel and the German Railways. That tool was used not only to collect and store the requirements on the mainframe, but also to check the completeness and consistency of the requirements, as well as to generate a system design.

At the end of the 1980’s Sneed moved over to the field of reverse and reengineering and became involved in projects throughout Europe. In 2009 he received the Stevens Award from the IEEE Computer Society for his pioneering achievements in that field. He conducts courses at two technical colleges and two universities. He has published over 400 technical articles and written 23 books on the subjects of software testing, maintenance, migration and measurement. His work in requirement engineering is mainly in connection with reverse engineering, change management and test, three areas in which he still works as freelance consultant.

• Tracing Change Requests

Dr.-Ing. Birgit Demuth has over 20 years experience as researcher and educator in software engineering.
Amongst other lectures, she teaches students in requirements engineering.

Her interests are how to apply model-based techniques in the continuous software life cycle.
In a large-scale software project course, she coaches students and student tutors to elicit and model (often real)
user requirements before they start to implement.

• Tracing Change Requests

Karol Frühauf is co-founder of INFOGEM AG in Switzerland, since 1987 consulting in the field of software project and quality management (http://www.infogem.ch). He worked 12 years for BBC Brown Boveri & Cie and helped since 1987 many companies to improve their processes and products. He co-authored two books and is a frequent speaker, tutor and teacher in the field of software engineering. His main interests are test and quality management and requirements engineering.
He initiated and directs the "Bridge Guard Art / Science Residence Centre" in Štúrovo, Slovakia (http://www.bridgeguard.org).

• Sharing My Doubts on the Focus of Requirements
• Sharing My Doubts on Goals and Requirements
• Sharing My Doubts on Shall / Should / Will etc.
• Sharing My Doubts on Acceptance Criteria

Karol Frühauf is co-founder of INFOGEM AG in Switzerland, since 1987 consulting in the field of software project and quality management (http://www.infogem.ch). He worked 12 years for BBC Brown Boveri & Cie and helped since 1987 many companies to improve their processes and products. He co-authored two books and is a frequent speaker, tutor and teacher in the field of software engineering. His main interests are test and quality management and requirements engineering.
He initiated and directs the "Bridge Guard Art / Science Residence Centre" in Štúrovo, Slovakia (http://www.bridgeguard.org).

• Sharing My Doubts on the Focus of Requirements
• Sharing My Doubts on Goals and Requirements
• Sharing My Doubts on Shall / Should / Will etc.
• Sharing My Doubts on Acceptance Criteria

Albert Tort is the Research&Innovation Solutions Lead in Sogeti Spain. During the last years, he has been working as Quality Assurance and Software Control & Testing specialist in several projects for customers in different sectors (banking, airlines, insurance, procurement, etc.). Furthermore, he has been the lead of research&innovation projects developed at Sogeti. He was the winner of the “Capgemini-Sogeti Testing Innovation Awards 2015” for the submission of the best individual entry "Recover: Reverse Modeling and Up-To-Date Evolution of Functional Requirements in Alignment with Tests. He is also a member of the SogetiLabs community.

Previously, he served as a professor and researcher at the Services and Information Systems Engineering Department of the Universitat Politècnica de Catalunya-Barcelona Tech. As a member of the Information Modeling and Processing (MPI) research group, he focused his research on conceptual modeling, software engineering methodologies, OMG standards, knowledge management, requirements engineering, service science, semantic web and software quality assurance. Currently, he is also the coordinator of the postgraduate degree in Software Quality Assurance of the School of Professional & Executive Development of the Technical University Of Catalunya (BarcelonaTech).

He obtained his Computer Science degree in 2008 and he received his M.Sc. in Computing in 2009. In 2012 he presented the PhD thesis “Testing and Test-Driven Development of Conceptual Schemas”. He is the author of several publications in software engineering journals and conferences.

• KCycle: Knowledge-Based & Agile Software Quality Assurance
• The Recover Approach

Karol Frühauf is co-founder of INFOGEM AG in Switzerland, since 1987 consulting in the field of software project and quality management (http://www.infogem.ch). He worked 12 years for BBC Brown Boveri & Cie and helped since 1987 many companies to improve their processes and products. He co-authored two books and is a frequent speaker, tutor and teacher in the field of software engineering. His main interests are test and quality management and requirements engineering.
He initiated and directs the "Bridge Guard Art / Science Residence Centre" in Štúrovo, Slovakia (http://www.bridgeguard.org).

• Sharing My Doubts on the Focus of Requirements
• Sharing My Doubts on Goals and Requirements
• Sharing My Doubts on Shall / Should / Will etc.
• Sharing My Doubts on Acceptance Criteria

Bastian Tenbergen is an Assistant Professor for Computer Science at the State University of New York at Oswego. He has co-authored articles and contributed to several books in the area of Software Engineering. Bastian’s main research focus is on Model-Based Requirements Engineering, Context Analysis, and Safety of Embedded and Cyber-Physical Systems. He has many years of project and consulting experience and has worked closely with industry.

• Modeling Requirements and Context as a means for Automated Requirements Validation

Andreas Vogelsang is a post-doc researcher in the software & systems engineering group at the Technical University of Munich. He works on model-based requirements engineering and participated in several research collaborations with industrial partners especially from the automotive industry. His research published was published in relevant international conferences like RE, REFSQ, or ICSE.

• Modeling Requirements and Context as a means for Automated Requirements Validation

Thorsten Weyer is a research group leader at the University of Duisburg-Essen. He has been a member of organization committees, program committees and reviewer for scientific conferences and journals. Thorsten gives regular lectures at the University and is an experienced conference speaker. He has also held several leading positions in research projects and technology transfer projects. He is member of the IREB council and head of the IREB working group Requirements Modeling.

• Modeling Requirements and Context as a means for Automated Requirements Validation

Andreas Froese works as a research assistant in the working group Software Systems Engineering (Prof. Dr. Klaus Pohl) at the University of Duisburg-Essen. He worked in several research projects where he was able to expand his knowledge in the domain of Requirements Engineering for software-intensive Embedded Systems, as well as in those of model-based Context Analysis and context-based Quality Assurance.

• Modeling Requirements and Context as a means for Automated Requirements Validation

Jan Christoph Wehrstedt works as a mathematician at the Technology Field Automation & Control at Siemens Corporate Technology. Currently he is Senior Key Expert for Efficient Simulation Driven System Development. He is the project manager of several business (Siemens internal) and public funded projects dealing with the integration of simulation and modeling approaches towards a simulation based engineering of technical systems and plants and it’s embedding into PLM lifecycle and tools.

• Modeling Requirements and Context as a means for Automated Requirements Validation

Veronika Brandstetter is a mathematician in the Technology Field Automation & Control at Siemens Corporate Technology. She is developing methods for seamless engineering and improved operation of technical systems based on simulation. Recently, she focused on simulation based design for manufacturing technologies. She has been working in various Siemens internal research projects as well as in publicly funded projects also managing part of them in different groups within the Technology Field.

• Modeling Requirements and Context as a means for Automated Requirements Validation

After studying physics in Germany and New Zealand, Gunnar Harde worked as software engineer, later as IT consultant and project manager for IT and business consultancies and research institutes. Since 2007 he is responsible for the development of several IT systems of the Group Quality Assurance at Volkswagen and shapes the cooperation between IT and business department strategically and methodically. Harde is Certified Scrum Product Owner and expert in agile management.

• Managing the Invisible
• Agility and Obligation
• Agility and Obligation

Dr. Christof Ebert is managing director at Vector Consulting Services. He supports clients around the world to improve product strategy and product development and to manage organizational changes. A trusted advisor for companies around the world, member of industry boards, he lectures at the Universities of Stuttgart and at the Sorbonne in Paris. He authored several books including the popular “Systematic Requirements Engineering”. Contact him at christof.ebert@vector.com

• Cyber Security Requirements Engineering
• Product Management

Edward van Deursen has over 25 years of experience in ICT-projects. He started as programmer and tester, later specialized in quality assurance. In the last few years he specialized in security. He, for among other things, is responsible for the development of the security services within SYSQA B.V. He also elicitated security requirements in different project.

• Building in security instead of testing it in

Jan Jaap Cannegieter has over 20 years of experience in ICT. Jan Jaap started as tester, specialized in Quality Assurance and has over 12 years of experience in requirements elicitation, requirements validation and requirements management. Jan Jaap is the co-author of two well sold Dutch books about requirements: ‘Succes met de requirements’ and ‘Grip op requirements’. He is also very active in the Dutch IREB community and Supporting Member of IREB.

• Building in security instead of testing it in

After studying physics in Germany and New Zealand, Gunnar Harde worked as software engineer, later as IT consultant and project manager for IT and business consultancies and research institutes. Since 2007 he is responsible for the development of several IT systems of the Group Quality Assurance at Volkswagen and shapes the cooperation between IT and business department strategically and methodically. Harde is Certified Scrum Product Owner and expert in agile management.

• Managing the Invisible
• Agility and Obligation
• Agility and Obligation

After studying physics in Germany and New Zealand, Gunnar Harde worked as software engineer, later as IT consultant and project manager for IT and business consultancies and research institutes. Since 2007 he is responsible for the development of several IT systems of the Group Quality Assurance at Volkswagen and shapes the cooperation between IT and business department strategically and methodically. Harde is Certified Scrum Product Owner and expert in agile management.

• Managing the Invisible
• Agility and Obligation
• Agility and Obligation

Brett Bicknell is an engineer at Critical Software Technologies and has played a key role in a number of formal methods initiatives, including the FP7 ADVANCE project. His software engineering experience encompasses varying levels of criticality and verification and validation activities. His previous work includes embedded systems, solutions for data acquisition and analysis, and a number of European-funded R&D ventures. He holds a BSc degree in Physics.

• Advance
• Rigorous Verification

Karim Kanso has worked within the field of formal methods and software engineering for many years, on various projects in the domains of transportation and aerospace. He has received a PhD in theoretical computer science, and is actively interested in the question of how requirement engineering can be applied to new disciplines, such as autonomous system engineering? He is currently working on the ADVANCE programme at Critical Software Technologies.

• Advance
• Rigorous Verification

Brett Bicknell is an engineer at Critical Software Technologies and has played a key role in a number of formal methods initiatives, including the FP7 ADVANCE project. His software engineering experience encompasses varying levels of criticality and verification and validation activities. His previous work includes embedded systems, solutions for data acquisition and analysis, and a number of European-funded R&D ventures. He holds a BSc degree in Physics.

• Rigorous Verification

Karim Kanso has worked within the field of formal methods and software engineering for many years, on various projects in the domains of transportation and aerospace. He has received a PhD in theoretical computer science, and is actively interested in the question of how requirement engineering can be applied to new disciplines, such as autonomous system engineering? He is currently working on the ADVANCE programme at Critical Software Technologies.

• Rigorous Verification

Daniel McLeod has worked on a variety of imaging sensor systems in the Airborne, Land and Naval domains. His previous work includes algorithm development, system design, requirements analysis and verification and project management. He is currently working within the smart energy domain on a Low Voltage monitoring system and a system for automated control of low voltage transformers in response to customer demand and distributed generation.

• Rigorous Verification

Harry M. Sneed has a Master’s Degree in Information Sciences from the University of Maryland, 1969. He has been working in the IT field since 1967 when he started as a FORTRAN programmer for the US Navy Department. He migrated to Germany in 1971 and worked first for the Federal University Administration and then for Siemens in the database area. In 1978 he set up the first commercial software test laboratory in Budapest. There he developed the first German requirements engineering tool SoftSpec in 1982. That tool was used to document the requirements in many large German organizations, including BMW, Bertelsmann, Thyssen Steel and the German Railways. That tool was used not only to collect and store the requirements on the mainframe, but also to check the completeness and consistency of the requirements, as well as to generate a system design.

At the end of the 1980’s Sneed moved over to the field of reverse and reengineering and became involved in projects throughout Europe. In 2009 he received the Stevens Award from the IEEE Computer Society for his pioneering achievements in that field. He conducts courses at two technical colleges and two universities. He has published over 400 technical articles and written 23 books on the subjects of software testing, maintenance, migration and measurement. His work in requirement engineering is mainly in connection with reverse engineering, change management and test, three areas in which he still works as freelance consultant.

• Tracing Change Requests
• Automated Quality Assurance

Founder of the consulting company “Crescendo Technologies”, Joseph Aracic is a System Engineering Consultant, focusing on requirements management techniques and processes, product line engineering and model driven engineering.

Prior to this, Joseph has been the manager of the Telelogic (Now an IBM Rational brand) French Professional Services team for requirements management and architecture modeling. Joseph has been involved in various system engineering projects (mainly in the defense industry) as consultant/coach in system engineering techniques deployment.

• A key technique