Last week, the University of California terminated its license with Elsevier. Leakage has reduced the value of the big deal -- and publisher pricing power.
Get recognition for learning that happens anywhere. Then share it on the places that matter. A digital badge is an online representation of a skill you’ve earned.
There is massive hype around blockchain in certain circles even though there are yet few working networks. However, extensive testing of the technology is now beginning.
H. Nguyen, N. Nguyen, H. Doan, Z. Ahmadi, T. Doan, und L. Jiang. Proceedings of the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, New York, NY, USA, Association for Computing Machinery, (November 2022)
B. Morandi, S. Bauer, und B. Meyer. Advanced Lectures on Software Engineering, LASER Summer School 2007/2008, Volume 6029 von Lecture Notes in Computer Science, Seite 41-90. Springer, (2008)
F. Henglein, K. Larsen, J. Simonsen, und C. Stefansen. Invited paper, 1st Workshop on Formal Languages and Analysis of Contract-Oriented Software Oslo, October 9-10, (2007)
H. Laurikkala, und K. Tanskanen. Collaborative Business Ecosystems and Virtual Enterprises: IFIP TC5/WG5. 5 Third Working Conference on Infrastructures for Virtual Enterprises (PRO-VE'02) May 1-3, 2002, Sesimbra, Portugal, Seite 93-100. Kluwer Academic Pub, (2002)
S. Edwards. Software Testing, Verification and Reliability, 10 (4):
249--262(Januar 2001)MR: Aus dem Text: Testing 'to contract' is at the heart of specification based testing. Es wird gezeigt wie ein Anzatz von Zweben1992 (der leider nicht auffindbar ist) sich praktisch umsetzen lässt. Dabei spielen die Contracts für die Generierung der Test(ein/aus)gabedaten grundlegende Rolle. Die getesteten Komponenten werden als Flowgraphs dargestellt, womit sie große Analogie zu Aktivitätsdiagrammen besitzen. Obwohl noch Probleme bei der Auswahl der Testdaten (infeasable paths) existieren, wurde gezeigt, dass dieser Ansatz großen Potential besitzt. Für das Experiment wurde Fehlerinjektionsmethoden angewendet (Mutation)..
C. Nebut, F. Fleurey, Y. Traon, und J. Jézéquel. ISSRE '03: Proceedings of the 14th International Symposium on Software Reliability Engineering, Seite 85. Washington, DC, USA, IEEE Computer Society, (2003)
H. Gross. Springer, 1 Edition, (2004)MR: am meisten interessant ist der Kapitel: Model-Based Testing with UML und dadrin der Abschnitt über das Testen mit Aktivitätsdiagrammen (in Bezug auf ScenTED).
R. Schmidberger, und S. Biermann. Informatik 2007 - Band 2, GI-Edition, (September 2007)MR: Zeigt beispielhaft die Anwendung von OCL für den Systemtest. Auch der Realisierungsweg wird gezeigt.
ISBN 978-3-88579-204-8.