Articles

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

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?

Joy Beatty is a VP at Seilevel, a professional services company whose mission is to define software that customers love to use. Joy implements new methodologies that improve the requirements process. Her team provides assessments, mentoring, training and consulting services for F1000 companies.

Joy is actively involved as a leader in the requirements community. She was a co-author of PMI’s Business Analysis for Practitioners: A Practice Guide, as well as being on the core team for the IIBA’s Business Analysis Body of Knowledge (BABOK) version 3. She is also a contributing author to “The Guide to Business Analysis” which “Includes the Standard for Business Analysis” by PMI. She co-authored Visual Models for Software Requirements with Anthony Chen and Software Requirements, 3rd Edition with Karl Wiegers.

• Making “agiLE” Work
• Project Value Delivered

Candase is a Product Manager at Seilevel. As a trainer and a practitioner, she helps ensure her clients’ software projects deliver the most return on investment, and helps define the problems their projects are trying to solve. She has provided training for business analysts in F300 companies, as well as assisting in the development of Seilevel training material. She also provided editorial contributions to both Visual Models for Software Requirements and Software Requirements, 3rd Edition.

• Making “agiLE” Work
• Project Value Delivered

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

Dr. Michael Jastram is an expert model-based systems engineering (MBSE), with a focus on requirements. He has over 20 years experience in software development and requirements engineering, which he regularly shares as author and public speaker. Amongst other things, he publishes weekly updates on Systems Engineering Trends [German] and monthly updates on Requirements Engineering [English].

Michael is a leader in open source requirements management, being project lead of the Eclipse Requirements Modeling Framework. He is also a strong advocate of open standard and actively contributes to the OMG Requirements Interchange Format (ReqIF).

Today, he is founder and principal systems engineer of Formal Mind GmbH, a service provider in Open Systems Engineering.

You can connect digitally with Michael via his Blog [en] | Blog [de] | Twitter | LinkedIn | Xing.

• What is a Useful Perspective in Considering Requirements Engineering Relative to Systems Engineering?
• Modeling Requirements with Constraints
• Open Up

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