Articles

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?

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

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

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

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?

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

Marie Garnier is an associate professor in the English Department at the Université Toulouse 2 – Jean Jaurès (Toulouse, France). She holds a PhD in English linguistics on the topic of automatic grammar checking. Her research interests include the interface between syntax and lexical semantics in English, the definition and processing of errors produced by English learners, and linguistics-driven NLP. She can be reached at mgarnier@univ-tlse2.fr.

• Detecting Incoherent Requirements in Large Documents
• Improving the Use of English in Requirements
• LELIE

Patrick Saint-Dizier, PhD, is a senior researcher in Computational Linguistics and Artificial Intelligence at CNRS, IRIT, Toulouse, France. He is specialized in discourse and semantic analysis. He has developed several national and European projects dedicated to logic programming, argumentation and technical text analysis. He is the author of several conference and journal articles and of 11 books. Besides foundational research, he has a long practice and experience of research and development activities. Contact: stdizier@irit.fr

• Detecting Incoherent Requirements in Large Documents
• Improving the Use of English in Requirements
• LELIE

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

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

Patrick Saint-Dizier, PhD, is a senior researcher in Computational Linguistics and Artificial Intelligence at CNRS, IRIT, Toulouse, France. He is specialized in discourse and semantic analysis. He has developed several national and European projects dedicated to logic programming, argumentation and technical text analysis. He is the author of several conference and journal articles and of 11 books. Besides foundational research, he has a long practice and experience of research and development activities. Contact: stdizier@irit.fr

• LELIE

Juyeon Kang has a PhD in Computational Linguistics (syntax and formal semantics) from the University Paris-Sorbonne. She is a R&D Engineer at Prometil (Toulouse) and associate researcher at IRIT-CNRS. She is specialized in argumentation mining and technical document authoring. She has been involved in a number of international projects. Her research results have been published in various international conferences and journals.

• LELIE

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

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

Frank Rabeler is a Business Analyst at T-Systems in Germany, where he specializes in requirements engineering for telecommunications software systems. Previously he worked as a database expert with focus on data modeling. How to design documents, data models etc. in the best readable way? Questions like these have been challenging him over the last 25 years as an IT professional. For 15 years now he has been using Information Mapping as part of his daily work and he appreciates this method as a success factor - especially in RE.

• Readable requirements

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

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