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.
UCTSystem is a prototype tool designed to perform automatic test generation from UML requirements. It uses UML use cases enhenced with contracts (i.e. precondition and postconditions) to build an execution model allowing all valid sequences of use cases. Using this execution model and several test criteria, it generates test objectives as sequence of use cases to exerce. It includes both criteria for functional testing and a criterion for robusness testing. Those test objectives are then mapped into test cases using test templates.
ObjectGen is a tool for generating test objectives from use cases. ValueGen is a tool for generating operational variables and combination of values from use cases. Although ValueGen needs the artefacts generated by ObjectGen, both tools are independent.
Das Leben ist eben keine Blumenwiese, schon gar nicht für die Generation Y. Die hält sich nämlich für etwas Besseres, ohne zu wissen, warum eigentlich. Und viel zu hohe Ansprüche hat sie auch.
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.
M. Croitoru, and K. van Deemter. Proceedings of the 15th International Conference on Conceptual Structures (ICCS 2007), volume 4604 of Lecture Notes in Artificial Intelligence, page 126-139. Berlin, Heidelberg, Springer-Verlag, (July 2007)
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 '..
P. Tran-Gia, T. Hossfeld, M. Menth, and R. Pries. e&i Elektrotechnik und Informationstechnik, Special Issue 'Future Internet', ISSN: 0932-383X (print), ISSN: 1613-7620 (online), (August 2009)