Articles

Michael Mey, Managing Consultant at Obvious Works, holds a diploma in Computer Science from Furtwangen University, Germany, where he first explored AI and neural networks. With extensive experience in international software projects, particularly in the financial industry, Michael has held key roles at major corporations and launched a crypto startup through an incubation program, blending corporate and entrepreneurial insights. An Agile coach and trainer, he specializes in Requirements Engineering and AI integration. Michael is engaged in the IREB Special Interest Group AI and regularly speaks at conferences like REConf, REFSQ, and Scrum Day. As co-creator of the AIxRE Masterclass, he is dedicated to helping organizations optimize their processes by integrating AI into Requirements Engineering practices.

• AI Assistants in Requirements Engineering | Part 1

Nuno Santos is currently a Senior Business Analyst at Natixis Portugal. He holds a PhD in Technologies and Information Systems, and is also certified from Agile Alliance as CSPO, and from the IIBA as CCBA, AAC and POA. He has also written articles about requirements, agility and product ownership at RE Magazine, BA Digest, Analyst Catalyst, Medium, and in several scientific conferences.

• Requirements Elicitation in Modern Product Discovery
• Inputs to requirements engineering in agile projects

Gareth is an experienced business analyst and product owner who has been working in the telecoms and other industries for longer than he’d like to be specific about. He has been an active member of IREB for some years and is a co-author and examiner within the RE@Agile working group. He lives and works in Germany having successfully escaped from a small, slightly uncooperative island.

• Splitting Requirements at Scale
• RE in Agile Projects: Survey Results
• RE in Agile Projects: a Survey
• How agile can Requirements Engineers really be?

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

Howard Podeswa is a thought leader in the intersection of agile and business analysis. For over twenty years, he has been helping large organizations optimize their analysis and planning practices for agile software development approaches. He has authored a number of books that have become staple references for practitioners, most recently: The Agile Guide to Business Analysis and Planning: From Strategic Plan to Continuous Value Delivery - How Product Owners and Business Analysts (BAs) maximize the value of the product developed by the team, by integrating BA competencies with agile methodologies (Addison-Wesley Professional; 1st edition, 2021). Other works include UML for the IT Business Analyst (2009), and The Business Analyst’s Handbook (2008).

At Noble Inc., he has provided agile and business analysis services to clients worldwide, including the International Standards Organization (ISO), Moody’s, the Mayo Clinic, TELUS, TD Bank, LabCorp, the U.S. Food and Drug Administration (FDA), Mawer Investment Management Ltd., Bell Nexia, and REI Coop. He is currently advising IIBA on its Nimble initiative.

To contact Howard for in-house and public training and coaching services, please email howardpodeswa@nobleinc.ca or find him on LinkedIn @howardpodeswa

• Why Your Agile Organization Needs a High-Performing Requirements Engineering Competency
• The Business Case for Agile Business Analysis
• Five Questions

Thorsten von Ramsch is Director Engineering at QAULITEST Group. He is an IREB Certified Requirements Engineer, ISTQB Certified Tester Full Advanced Level, ASQF Project Manager, Professional Scrum Master and iNTCCM Certified Professional for Configuration Management. His focus is on the banking and insurance sector, which he advises in the areas of requirements elicitation, test management and test analysis.

• Classical requirements and test analysis a discontinued model?

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

Suzanne Robertson is having a stellar career in information technology and systems engineering. Suzanne is a pioneer in adapting ideas from other domains for automated solutions. She has collaborated in workshops using experts from fields as diverse as modern music, visualization, and cookery. Ideas from these domains were adapted to make major breakthroughs in creative ideas for domains ranging from air traffic control to local government. She is co-author of the best-selling Mastering the Requirements Process, among other books and courses. She is co-creator of the Volere requirements techniques. She was the founding editor of the Requirements Column in IEEE Software.

• Integrating Business Events into your Agile Framework
• How Will It Work?

As a principal and founder of The Atlantic Systems Guild, James Robertson is known for his work in implementing systems engineering principles that link business specialists with solution specialists. James is a consultant, lecturer, author, project leader whose area of concern is the requirements for software, and the contribution that good business analysis makes to successful projects. James is co-author of 5 books that have been influential in the business analysis world. His training as an architect has led to his work on good design principles and to his focus on how innovation can be integrated with business analysis.

• Integrating Business Events into your Agile Framework
• How Will It Work?

Nuno Santos is currently a Senior Business Analyst at Natixis Portugal. He holds a PhD in Technologies and Information Systems, and is also certified from Agile Alliance as CSPO, and from the IIBA as CCBA, AAC and POA. He has also written articles about requirements, agility and product ownership at RE Magazine, BA Digest, Analyst Catalyst, Medium, and in several scientific conferences.

• Inputs to requirements engineering in agile projects

Nuno Ferreira is currently the head of research at i2S Insurance Knowledge, invited professor at ISEP of Porto's Polytechnique Institute and researcher at ALGORITMI research center of Minho’s University in Portugal. He holds a PhD in Software Engineering. He has a strong background in software engineering, project management and process management. His re-search interests are requirements elicitation, process-to-product transitions, logical architectures derivation, and process maturity models.

• Inputs to requirements engineering in agile projects

Ricardo J. Machado is a full professor of Information Systems Engineering and Technology in the Dept. of Information Systems at the University of Minho (UMinho), School of Engineering. Within the Information Systems Engineering domain, his primary research interests are in modelling and requirements for systems analysis and design and in process and project management life-cycles. He has supervised 50 completed PhD and MSc theses in these areas. He has published over 150 scientific publications and 4 industrial patents, and has acted as coordinator (PI) and senior researcher of over 50 R&D projects. Currently, at UMinho he is the vice-rector for institutional development, the director of the ALGORITMI Research Centre, the scientific coordinator of the EPMQ Laboratory at the CCG/ZGDV Institute, the director of the Doctoral Program in Advanced Engineering Systems for Industry, and member of the Board of the UM-Cities Platform.

• Inputs to requirements engineering in agile projects

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

Till-J. Faßold is Expert Strategic Planning at 1&1, Germany. In this role – besides other responsibilities – he coaches professionals from various departments and is responsible for the requirements engineering processes. Till-J. Faßold hold a master’s degree in information management from the University of Koblenz and is certified to the IREB CPRE Expert Level.

• Requirements Engineering and Domain Knowledge

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

Suzanne Robertson is having a stellar career in information technology and systems engineering. Suzanne is a pioneer in adapting ideas from other domains for automated solutions. She has collaborated in workshops using experts from fields as diverse as modern music, visualization, and cookery. Ideas from these domains were adapted to make major breakthroughs in creative ideas for domains ranging from air traffic control to local government. She is co-author of the best-selling Mastering the Requirements Process, among other books and courses. She is co-creator of the Volere requirements techniques. She was the founding editor of the Requirements Column in IEEE Software.

• Integrating Business Events into your Agile Framework
• How Will It Work?

As a principal and founder of The Atlantic Systems Guild, James Robertson is known for his work in implementing systems engineering principles that link business specialists with solution specialists. James is a consultant, lecturer, author, project leader whose area of concern is the requirements for software, and the contribution that good business analysis makes to successful projects. James is co-author of 5 books that have been influential in the business analysis world. His training as an architect has led to his work on good design principles and to his focus on how innovation can be integrated with business analysis.

• Integrating Business Events into your Agile Framework
• How Will It Work?

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

Andreas Maier studied Computational Linguistics, Language Science and Technology and Philosophy at Saarland University in Saarbrücken, Germany. From November 2008 to April 2018, he worked as scientific assistant at Fraunhofer IESE, where he focused on the elicitation and the automatic analysis of user requirements provided in natural language. In May 2019, he finished his PhD in computer science, where he investigated difficulties in the identification and specification of hedonic quality in user requirements and developed possible solutions for the mitigation of these difficulties.

• ReqInspector

Simon Darting studied applied computer science with focus on communication at the University of Applied Sciences in Worms, Germany. Subsequent to his studies he started working as a researcher at Fraunhofer IESE in 2012, where he focused on requirements- and systems engineering within large-scale projects. In 2017 he completed his Master's degree in "Software Engineering for Embedded Systems" at the Technical University of Kaiserslautern, Germany. Since December 2018, he has been employed at BASF SE in Advanced Business Analytics with a focus on predictive maintenance.

• ReqInspector

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

Before working for SOPHIST, Kristina has lived and worked abroad in an intercultural environment. Due to her linguistic studies she is comfortable working with communication models, semantics and syntax. She has developed an excellent feeling for languages based on theory and experience. As consultant and trainer, she benefits from this feeling in the field of elicitation, documentation and management of natural language requirements.

• Is there something missing?

Andreas is consultant and trainer at SOPHIST GmbH and is specialized in object-oriented and linguistic methods in requirements engineering. His assignments include methods of linguistic analysis as well as of conceptual models. Moreover, Andreas deals with the generation of acceptance criteria and test cases in the context of requirements engineering. He also occupies the position of controller of the innovation projects at SOPHIST and is engaged in the training of new employees.

• Is there something missing?

Born and raised in France where she completed her studies in IT Project Management, Margaux worked two years as consultant in Project Management, both in France and in Germany. Through the different projects she worked in, she noticed the critical importance of good requirements engineering practices and thus chose to specialize in this domain. Over the last two years, she worked as a consultant and trainer in Requirements Engineering in Germany, making it her mission to support her clients to create and improve their RE processes. Now back in France, she wishes to put her experiences to the service of local companies.

• Is there something missing?

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

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

Manon Penning has a broad background in the fields of IT and education. She is an educational specialist, requirements engineer, quality analyst and trainer currently employed by Improve Quality Services, a provider of consultancy and training. Via Improve Quality Services she has been working for several Dutch companies over the past few years.

• Biased Toddlers
• The Genius Toddler Challenge

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

Eduard C. Groen is engineering psychologist. His fascination with the rapid rise of man-machine interfaces and other changes that affect society inspires him to contribute with technologies that optimally make use of the potential that these developments bring. As Fraunhofer IESE operates at the intersection of science and industry, he is involved in a variety of projects, while leading the development of the “Crowd-based Requirements Engineering” approach.

• How Requirements Engineering can benefit from crowds

Matthias Koch studied computer science with a focus on software engineering. Since 2012, he is employed as engineer at Fraunhofer IESE and mainly addresses the topics of requirements engineering and business analysis. In this context, he was involved in research projects on the pre-project and requirements definition phase, case studies and product evaluations. In research as well as industry projects, he regularly acts as requirements responsible, conducts workshops with customers and provides consulting.

• How Requirements Engineering can benefit from crowds

Manon Penning has a broad background in the fields of IT and education. She is an educational specialist, requirements engineer, quality analyst and trainer currently employed by Improve Quality Services, a provider of consultancy and training. Via Improve Quality Services she has been working for several Dutch companies over the past few years.

• Biased Toddlers
• The Genius Toddler Challenge

Gareth is an experienced business analyst and product owner who has been working in the telecoms and other industries for longer than he’d like to be specific about. He has been an active member of IREB for some years and is a co-author and examiner within the RE@Agile working group. He lives and works in Germany having successfully escaped from a small, slightly uncooperative island.

• Splitting Requirements at Scale
• RE in Agile Projects: Survey Results
• RE in Agile Projects: a Survey
• How agile can Requirements Engineers really be?

Martin Tate is an IT consultant who has now personally run or rescued 52 projects to select off-the-shelf solutions, interviewed over 725 people to capture the requirements for selections and appraised over 1,000 candidate solutions. A ‘poacher turned gamekeeper’, he formerly worked for an IT provider and was trained to sell software. BCS, The Chartered Institute for IT, made him a Chartered Fellow for eminence in evaluating software and recently published his book, a practitioner guide to procuring off-the-shelf IT.

• IT Requirements when Buying, not Making

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

Stefan Meier is passionate about exploring and experimenting with new Requirements Engineering practices and methodologies. He many years of practical experience as Project Manager, Requirements Engineer  and Agile Coach. He loves talking to different stakeholders and sharpening their ideas and visions to get a crisp and clear understanding of their needs and values. 
He works at SPF Consulting and currently helps customers switching their requirements frameworks from waterfall processes towards agile approaches like Scrum. Additionally he is an conversant trainer for IREB CPRE FL, Visual Facilitation and Agile Requirements.

• Applying IREB RE practices in an agile environment

Ariè Avnur is a veteran software developer, manager and executive, with over 40 years of experience developing software of various types, from real-time embedded and control systems through enterprise, web applications, to health IT systems. Ariè accompanied software engineering methodologies and requirements engineering since the 70’s, published papers and developed tools for the trade. Recently he was involved in the introduction and development of RE practice for Scrum projects in a major European healthcare company. Arie’s current interests include the application of RE and development methods for better software development, healthcare IT and Internet of Things platforms.

• A Finite State Machine Model for Requirements Engineering

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

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

Johan Zandhuis is Product manager at SYSQA BV, an organisation specialised in quality assurance in IT. The themes ‘creating value with IT’ and ‘getting grip on IT’ play a constant role when he’s doing the job. “Why are we doing this” is a question he likes to ask. Besides other publications Johan is co-author of the Dutch book ‘Grip op requirements’ based on the IREB syllabus. Also he is one of the initiators for the Dutch translation of the IREB-dictionary and the IREB foundation syllabus. Contact: jzandhuis@sysqa.nl

• Poor requirements?

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

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

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