Simplified is your go-to source for a free online Venn diagram maker. With our intuitive tool, you can design powerful Venn diagrams that effectively visualize your data. Simplify your data comparison process and create engaging visualizations with Simplified user-friendly tool.
Kostenloser Editor zum online Erstellen von Diagrammen. Nutze unseren Diagrammeditor, um Flowcharts, UML Diagramme, ER Diagramme, BPMN Diagramme, Netzwerk Diagramme, Mockups, Grundrisse und vieles mehr zu modellieren und zu zeichnen. Öffne und speichere deine Projekte, exportiere sie als Bild oder PDF.
P. Chapman, G. Stapleton, J. Howse, and I. Oliver. 2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), page 87-94. (September 2011)
L. Schröder, T. Mossakowski, P. Hoffman, B. Klin, and A. Tarlecki. Fundamental Approaches to Software Engineering, volume 2029 of Lecture Notes in Computer Science, page 253--268. Springer; Berlin; http://www.springer.de, (2001)
M. Carman, M. Baillie, R. Gwadera, and F. Crestani. Proceedings of the 32nd international ACM SIGIR conference on Research and development in information retrieval, page 123--130. New York, NY, USA, ACM, (2009)
T. Yue, L. Briand, and Y. Labiche. Modelling Foundations and Applications, volume 6138 of Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, (2010)
F. Dau, and A. Fish. Proceedings of the 16th International Conference on Conceptual Structures (ICCS 2008), volume 5113 of Lecture Notes in Computer Science, page 104-118. Springer, (2008)
R. Schmidberger, and 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.
M. Chen, X. Qiu, W. Xu, L. Wang, J. Zhao, and X. Li. The Computer Journal, (2007)MR: Der Ansatz ist ein Gray-Box-Ansatz, obwohl es auf Modellen basiert, muss das Programm selbst auch ausgeführt werden um bestimmte Eingaben für das Verfahren zu liefern.
Die Generierung von Testdaten ist kaum automatisiert.
Für IST-SPL interessant wegen den Formalismen für Aktivitätsdiagramme..
P. Johnson, R. Lagerstrom, P. Narman, and M. Simonsson. EDOC '06: Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06), page 3--12. Washington, DC, USA, IEEE Computer Society, (2006)
P. hrstrm, S. Uckelman, and H. Schärfe. Proceedings of the 15th International Conference on Conceptual Structures (ICCS 2007), volume 4604 of Lecture Notes in Artificial Intelligence, page 374-386. Berlin, Heidelberg, Springer-Verlag, (July 2007)
D. Cox, and S. Polovina. Proceedings of the 15th International Conference on Conceptual Structures (ICCS 2007), volume 4604 of Lecture Notes in Artificial Intelligence, page 460-463. Berlin, Heidelberg, Springer-Verlag, (July 2007)
T. Raimbault, D. Genest, and S. Loiseau. Proceedings of the 13th International Conference on Conceptual Structures (ICCS 2005), volume 3596 of Lecture Notes in Computer Science, page 353-366. Springer, (2005)
D. Chaudhuri, S. Sengupta, and A. Dhar. Abstract Book of the XXIII IUPAP International Conference on Statistical Physics, Genova, Italy, (9-13 July 2007)
A. Phares, J. Grumbine, and F. Wunderlich. Abstract Book of the XXIII IUPAP International Conference on Statistical Physics, Genova, Italy, (9-13 July 2007)
T. Obuchi, H. Nishimori, and D. Sherrington. Abstract Book of the XXIII IUPAP International Conference on Statistical Physics, Genova, Italy, (9-13 July 2007)
N. Ganikhodjaev, F. Mukhamedov, and C. Pah. Abstract Book of the XXIII IUPAP International Conference on Statistical Physics, Genova, Italy, (9-13 July 2007)
A. Evans. WIFT '98: Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques, page 102. Washington, DC, USA, IEEE Computer Society, (1998)
A. Cal&\#236;, D. Calvanese, G. Giacomo, and M. Lenzerini. ISMIS '02: Proceedings of the 13th International Symposium on Foundations of Intelligent Systems, page 503--513. London, UK, Springer-Verlag, (2002)
T. Fischer, J. Niere, L. Torunski, and A. Zündorf. Proc. of the $6^th$ International Workshop on Theory and Application of Graph Transformation, Paderborn, Germany, (1998)