Behaviour-driven development is an “outside-in” methodology. It starts at the outside by identifying business outcomes, and then drills down into the feature set that will achieve those outcomes. Each feature is captured as a “story”, which defines the scope of the feature along with its acceptance criteria. This article introduces the BDD approach to defining and identifying stories and their acceptance criteria.
Video report of the June 2017 ETUI expert workshop on potential future scenarios for the future of work in an era of digital revolution. Fore more, go to our...
Scenario thinking is a tool for motivating people to challenge the status quo, or get better at doing so, by asking "What if?" Asking "What if?" in a disciplined way allows you to rehearse the possibilities of tomorrow.
N. Kantola, and T. Jokela. Proceedings of the 19th Australasian conference on Computer-Human Interaction: Entertaining User Interfaces, page 49--56. New York, NY, USA, ACM, (2007)
J. Tetchueng, S. Garlatti, and S. Laube. Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence, page 723--726. Washington, DC, USA, IEEE Computer Society, (2007)
M. Johansson, and M. Arvola. Proceedings of the 21st British HCI Group Annual Conference on People and Computers: HCI...but not as we know it - Volume 1, page 177--184. Swinton, UK, UK, British Computer Society, (2007)
V. Kamtsiou, T. Koskinen, A. Naeve, and L. Stergioulas. Proceedings of the First European Conference on Technology Enhanced Learning EC-TEL'06,, Springer LNCS, Crete, Greece, (October 2006)
D. Harel, H. Kugler, and A. Pnueli. Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, page 309--324. Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel, Springer, (2005)
T. Kishi, and N. Noda. Proceedings of the International Workshop on Software Product Line Testing (SPLiT 2004), page 19--26. Boston, MA, (August 2004)ST: Das zu testende System und die mit dem System in Interaktion stehende Umgebung werden als Zustandsautomat modelliert.
Testdaten ergeben sich aus den Transitionen.
Es werden Modelchecking Techniken angewendet um Invarianten zu prüfen..
A. Reuys, S. Reis, E. Kamsties, and K. Pohl. Erfurt, (2003)Proceedings of the PLEES’03 International Workshop on Product Line Engineering: The Early Steps: Planning, Modeling, and Managing.
A. Sutcliffe. Proceedings of the 11th IEEE International Conference on Requirements Engineering, page 320--. Washington, DC, USA, IEEE Computer Society, (2003)