Knoodl is sort of an ontology editor, registry/repository, and wiki all rolled into an easy to use online application. There's never been anything quite like it.
* Upload an ontology you already have, or build one from scratch.
* Add rich documentation with wikitext, so that other people can understand what your ontology is about.
* Work with other people on the same vocabulary, at the same time
* Find and download other ontologies and use them in semantic applications.
Die Jugendarbeitslosigkeit ist in Italien ein vorrangiges Thema. Über die Generation im Alter zwischen 30 und 40 Jahren spricht hingegen kaum jemand. Dabei ist sie diejenige, die heute am meisten unter den Folgen der Wirtschaftskrise leidet.
Als wäre die Industrie nicht gebeutelt genug, muss sie sich nun auch noch mit diesem Trend herumschlagen: Die Jugend von heute interessiert sich kaum mehr für Autos. Aus dieser Zwickmühle scheint es für die Hersteller nur einen Ausweg zu geben. Und der hat weder mit PS noch mit Traumwagen zu tun.
Wenn Großeltern über meine Generation reden, sagen sie oft, wir hätten es ja so gut. Es stimmt, wir haben keinen Krieg erlebt, keine Vertreibung und wir hatten immer genug zu essen. Objektiv gesehen könnte man sagen, wir haben Glück gehabt. Wenn da nicht die Zukunft wäre. Meine Generation hat viele Namen: Generation Praktikum. Generation Burnout. Generation Altersarmut.
Als die erste Welle der Acta-Demonstrationen vor zwei Wochen lief, gab es neben der großen Zahl der Teilnehmer noch etwas, was viele verwunderte: die hohe Zahl von Teenagern. Wo kamen die her? Alles Jungpiratinnen und -piraten? Dafür waren es zu viele.
An approach focussed on resolving identity of
subjects in a photo using mobile device connectivity
and semantics is presented in this paper. Semantic
Web and mobile device sensors are combined to
provide meaningful photo annotation metadata that
can be used to recall photos from the Web. Useful
metadata can be gleaned from the environment at the
time of capture and inferred from previous metadata
tapped from existing sources.
R. Baeza-Yates, and D. Saez-Trumper. Proceedings of the 26th ACM Conference on Hypertext &\#38; Social Media, page 69--74. New York, NY, USA, ACM, (2015)
U. Oevermann. Soziologie und gesellschaftliche Entwicklung. Verhandlungen des 22. Deutschen Soziologentages in Dortmund 1984., Campus, Frankfurt am Main/New York, (1985)
C. Hargood, D. Millard, and M. Weal. HT '09: Proceedings of the Twentieth ACM Conference on Hypertext and Hypermedia, New York, NY, USA, ACM, (July 2009)
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..
M. Franzmann. (2005)Paper presented at the Zagreb Conference 2005 of the International Society for the Sociology of Religion (SISR/ISSR) “Religion and Society: Challenging Boundaries”, July 18 – 22, STS 20 “Religions of Modernity”, Convener: Stef Aupers, Dick Houtman and Karen Pärna (Revised Version).
K. Imamura, J. Foster, and A. Krings. The Second NASA/DoD workshop on Evolvable Hardware, page 75--80. Palo Alto, California, IEEE Computer Society, (13-15 July 2000)
Y. Leila, P. Yannick, and B. Zizette. HT '09: Proceedings of the Twentieth ACM Conference on Hypertext and Hypermedia, New York, NY, USA, ACM, (July 2009)
A. Rajan, M. Whalen, and M. Heimdahl. ICSE '08: Proceedings of the 30th international conference on Software engineering, page 161--170. New York, NY, USA, ACM, (2008)MR: nuetzlich fuer IST-SPL nur wegen der Referenzen auf eingesetzte Techniken zur ' Test Case Generation using model checkers '..
F. Basanieri, A. Bertolino, and E. Marchetti. «UML» 2002 — The Unified Modeling Language, page 275--303. (2002)MR: Cow_Suite ist ein Ansatz einer Technik und Toolprototyp für den Systemtest und Integrationstest und besteht aus zwei Teilen:
- UIT (Use Interaction Test) als Testableitungsmethode
- Cowtest (Cost Weighted Test Strategy) für Testpriorisierung und -selektion.
Mit Cowtest wird entschieden welche Testfälle ausgeführt werden sollen, durch setzen von Gewichten in die von der Spez. abgeleitete Graphstrukturen (Testauswahlkriterium) und unterstützt auch die Planung des Testprozesses.
UIT nutzt diese Information bei der Testfallableitung basierend auf der Category-Partition-Methode, also teils manuell (Interaction mit dem User).
Das Besondere ist, dass die forliegende Anforderungs- und Designspezifikation in Form von UML-Use-Case-Diagrammen und -Sequenzdiagrammen ohne weiteren Ausbau (also so wie sie ist) als Input für die Technik dienen kann.
Ein für IST-SPL wichtiger Ansatz: es wäre möglich ähnliche Strategie (CP) bereits für die Aktivitätsdiagramme anzuwenden, wobei deren Produktlinieneigenschaften berücksichtigt werden müssten..
T. Masuko, T. Kobayashi, M. Tamura, J. Masubuchi, and K. Tokuda. Proceedings of the 1998 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 6, page 3745-3748. Seattle, WA, USA, (May 1998)
P. Samuel, and A. Joseph. Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, ACIS International Conference on, (2008)ST: Vorgehensweise: Es wurden vier Arten von Abhängigkeiten identifiziert die zwischen Nachrichten in einem Sequenzdiagramm bestehen können. Aus einem UML 2.0 Sequenzdiagramm wird ein Graph generiert, der diese Abhängigkeiten darstellt. Daraus werden dann Test-Sequenzen abgeleitet.
Eignung: Es werden zwar Testfälle generiert, aber es wird nicht festgelegt woher die Testdaten kommen..
Z. Stephenson, Y. Zhan, J. Clark, and J. McDermid. Proceedings of the International Workshop on Software Product Line Testing (SPLiT 2004), page 13--18. Boston, MA, (August 2004)ST:Fokus liegt auf Test der Variablen Artefakte, es soll gezeigt werden dass das richtige Produkt abgeleitet wurde. Test der Korrekten Bindung.
Testdaten-Generierung um zu zeigen, dass der Output sich für zwei unterschiedliche Varianten unterscheidet. Output wird dann gegen die Anforderungen der verschiedenen Varianten getestet, so kann festgestellt werden, ob die richtige Variante gebunden wurde.
Technik erfordert lauffähiges Produkt.
Entwicklung eines Tools, welches für zwei Sourceocde-Artefakte, die sich durch Variabilität unterscheiden, Testdaten generiert.
Fazit: eher für die Überprüfung geeignet ob Varianten korrekt gebunden wurden. Kein Wiederverwendungsansatz für Testdaten, keine explizite Trennung der Testdatenermittlung für Domain / Application Engineering..
L. Wang, Y. Wu, X. Zhuang, and F. Soong. Proceedings of the 2011 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), page 4580-4583. Prague, Czech Republic, (May 2011)
C. Cummins, P. Petoumenos, Z. Wang, and H. Leather. Proceedings of the 2017 International Symposium on Code Generation and Optimization, page 86–99. IEEE Press, (2017)
A. Heydarnoori, K. Czarnecki, and T. Bartolomei. ECOOP 2009 – Object-Oriented Programming, volume 5653 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2009)
K. Tokuda, T. Yoshimura, T. Masuko, T. Kobayashi, and T. Kitamura. Proceedings of the 2000 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 3, page 1315-1318. Istanbul, Turkey, (June 2000)
L. Tan, O. Sokolsky, and I. Lee. IRI, page 493--498. IEEE Systems, Man, and Cybernetics Society, (2004)ST: Anforderungen werden in LTL spezifiziert.Es wird eine Metrik definiert, die eine Aussage ueber die Abdeckung der spezifizierten Eingenschaften durch eine Testsuite macht. Durch ein Abdeckungskriterium wird eine Testsuite mit endlichen Testfaellen definiert, die die spezifizierten Eigenschaften testet..