<rdf:RDF xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:syn="http://purl.org/rss/1.0/modules/syndication/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns:cc="http://web.resource.org/cc/" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns="http://purl.org/rss/1.0/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"><channel rdf:about="http://www.bibsonomy.org/tag/tools"><title>BibSonomy publications for /tag/tools</title><link>http://www.bibsonomy.org/publrss/tag/tools</link><description>BibSonomy RSS Feed for /tag/tools</description><items><rdf:Seq><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2f4bc3aaaa264a9c49c4af1a9480925c9/maida"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2c04ff20980fa7e58126769991dc5752a/ist_spl"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/29f1e76a6afa2dadc7949d9ee6283cd5c/brazovayeye"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/243d120c8d76378b92c613fbb019f82c2/brazovayeye"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2da996d47a0a56599b63ed6d665341c9e/michi"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2d930c99c8e9c7fdf8ded3e9edb0762b0/hotho"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/208bdc0c326abf022173437181e57d44f/mschuber"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2e3aedd0069ef275662c5175cda3d9590/paul"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2c0f6de779a1695ed7440c94ab947d1f0/paul"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2ea4969666434775f682740a6090c1447/ist_spl"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2f4bc3aaaa264a9c49c4af1a9480925c9/mstrohm"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2b69f467ca81c753d0192f02c574ad931/beate"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2e7a2032b56fe9dceccc15f9df66e9d13/ist_spl"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/20ee711295a177fe2252f96969682c3b5/mstrohm"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/25b8660eea53c1bbea9a3508cb9efa82a/ist_spl"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2f71cd582b8f22978d4d498b15bb9b9cf/mschuber"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/288ae0431c1fc5c0b6007d2c8489c2080/mschuber"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2a109078a8873e13c040f058952e344cd/dominikfriedel"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2ca2c9b3d2081e289ac8d5e7585248350/lanubile"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/276ed421899df755cf6b55577184aa2a8/flimm"/></rdf:Seq></items></channel><item rdf:about="http://www.bibsonomy.org/bibtex/2f4bc3aaaa264a9c49c4af1a9480925c9/maida"><title>ConceptNet 3: a Flexible, Multilingual Semantic Network for Common Sense Knowledge</title><description>BibSonomy::bibtex::ConceptNet 3: a Flexible, Multilingual Semantic Network for Common Sense Knowledge</description><link>http://www.bibsonomy.org/bibtex/2f4bc3aaaa264a9c49c4af1a9480925c9/maida</link><dc:creator>maida</dc:creator><dc:date>2008-07-14T12:58:47+02:00</dc:date><dc:subject>tools goals commonsense knowledge-management evaluation </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;C. &lt;a href=&#034;http://www.bibsonomy.org/author/Havasi&#034;&gt;Havasi&lt;/a&gt;  and R. &lt;a href=&#034;http://www.bibsonomy.org/author/Speer&#034;&gt;Speer&lt;/a&gt;  and J. &lt;a href=&#034;http://www.bibsonomy.org/author/Alonso&#034;&gt;Alonso&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Recent Advances in Natural Language Processing, &lt;/em&gt;&lt;em&gt;Borovets, Bulgaria, &lt;/em&gt;&lt;em&gt;September2007. &lt;/em&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/tools"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/goals"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/commonsense"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/knowledge-management"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/evaluation"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2c04ff20980fa7e58126769991dc5752a/ist_spl"><title>Generating test cases from UML activity diagram based on Gray-box method</title><description>Welcome to IEEE Xplore 2.0: Generating test cases from UML activity diagram based on Gray-box method</description><link>http://www.bibsonomy.org/bibtex/2c04ff20980fa7e58126769991dc5752a/ist_spl</link><dc:creator>ist_spl</dc:creator><dc:date>2008-07-11T11:50:59+02:00</dc:date><dc:subject>tools formal specification category-partition activity UML diagrams testing gray-box </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Wang &lt;a href=&#034;http://www.bibsonomy.org/author/Linzhang&#034;&gt;Linzhang&lt;/a&gt;  and Yuan &lt;a href=&#034;http://www.bibsonomy.org/author/Jiesong&#034;&gt;Jiesong&lt;/a&gt;  and Yu &lt;a href=&#034;http://www.bibsonomy.org/author/Xiaofeng&#034;&gt;Xiaofeng&lt;/a&gt;  and Hu &lt;a href=&#034;http://www.bibsonomy.org/author/Jun&#034;&gt;Jun&lt;/a&gt;  and Li &lt;a href=&#034;http://www.bibsonomy.org/author/Xuandong&#034;&gt;Xuandong&lt;/a&gt;  and Zheng &lt;a href=&#034;http://www.bibsonomy.org/author/Guoliang&#034;&gt;Guoliang&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Software Engineering Conference, 2004. 11th Asia-Pacific, &lt;/em&gt;&lt;em&gt;page284- 291. &lt;/em&gt;(&lt;em&gt;2004&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/tools"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/formal"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/specification"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/category-partition"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/activity"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/UML"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/diagrams"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/testing"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/gray-box"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/29f1e76a6afa2dadc7949d9ee6283cd5c/brazovayeye"><title>Parsing and translation of expressions by genetic programming</title><link>http://www.bibsonomy.org/bibtex/29f1e76a6afa2dadc7949d9ee6283cd5c/brazovayeye</link><dc:creator>brazovayeye</dc:creator><dc:date>2008-06-19T17:35:00+02:00</dc:date><dc:subject>tools application, algorithms, genetic software programming, experimentation, </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;David &lt;a href=&#034;http://www.bibsonomy.org/author/Jackson&#034;&gt;Jackson&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;GECCO 2005: Proceedings of the 2005 conference on Genetic and evolutionary computation, &lt;/em&gt;&lt;em&gt;2, &lt;/em&gt;&lt;em&gt;page1681--1688. &lt;/em&gt;&lt;em&gt;Washington DC, USA, &lt;/em&gt;&lt;em&gt;ACM Press, &lt;/em&gt;&lt;em&gt;25-29 June2005. &lt;/em&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/tools"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/application,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/algorithms,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/genetic"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/software"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/programming,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/experimentation,"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/243d120c8d76378b92c613fbb019f82c2/brazovayeye"><title>Open BEAGLE: A New C++ Evolutionary Computation Framework</title><link>http://www.bibsonomy.org/bibtex/243d120c8d76378b92c613fbb019f82c2/brazovayeye</link><dc:creator>brazovayeye</dc:creator><dc:date>2008-06-19T17:35:00+02:00</dc:date><dc:subject>intelligence, genetic software computation object evolutionary artificial framework, paper, programming, oriented algorithms, poster tools engineering, </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Christian &lt;a href=&#034;http://www.bibsonomy.org/author/Gagn{\&amp;#039;e}&#034;&gt;Gagn&#039;e&lt;/a&gt;  and Marc &lt;a href=&#034;http://www.bibsonomy.org/author/Parizeau&#034;&gt;Parizeau&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, &lt;/em&gt;&lt;em&gt;page888. &lt;/em&gt;&lt;em&gt;New York, &lt;/em&gt;&lt;em&gt;Morgan Kaufmann Publishers, &lt;/em&gt;&lt;em&gt;9-13 July2002. &lt;/em&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/intelligence,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/genetic"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/software"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/computation"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/object"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/evolutionary"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/artificial"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/framework,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/paper,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/programming,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/oriented"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/algorithms,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/poster"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/tools"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/engineering,"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2da996d47a0a56599b63ed6d665341c9e/michi"><title>SOBOLEO: vom kollaborativen Tagging zur leichtgewichtigen Ontologie</title><link>http://www.bibsonomy.org/bibtex/2da996d47a0a56599b63ed6d665341c9e/michi</link><dc:creator>michi</dc:creator><dc:date>2008-06-18T14:57:00+02:00</dc:date><dc:subject>tools ontology folksonomy soboleo tagging </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Simone &lt;a href=&#034;http://www.bibsonomy.org/author/Braun&#034;&gt;Braun&lt;/a&gt;  and Andreas &lt;a href=&#034;http://www.bibsonomy.org/author/Schmidt&#034;&gt;Schmidt&lt;/a&gt;  and Valentin &lt;a href=&#034;http://www.bibsonomy.org/author/Zacharias&#034;&gt;Zacharias&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Mensch \&amp;amp; Computer - 7. Fach&amp;#252;bergreifende Konferenz (M\&amp;amp;C 2007), &lt;/em&gt;&lt;em&gt;Munich, Germany, &lt;/em&gt;&lt;em&gt;Oldenbourg Verlag, &lt;/em&gt;&lt;em&gt;September2007. &lt;/em&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/tools"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/ontology"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/folksonomy"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/soboleo"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/tagging"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2d930c99c8e9c7fdf8ded3e9edb0762b0/hotho"><title>Free journal-ranking tool enters citation market</title><description>Free journal-ranking tool enters citation market. [Nature. 2008] - PubMed Result</description><link>http://www.bibsonomy.org/bibtex/2d930c99c8e9c7fdf8ded3e9edb0762b0/hotho</link><dc:creator>hotho</dc:creator><dc:date>2008-06-15T15:04:05+02:00</dc:date><dc:subject>research index citation tools ranking rank </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;D &lt;a href=&#034;http://www.bibsonomy.org/author/Butler&#034;&gt;Butler&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Nature&lt;/em&gt;&lt;em&gt;451(7174):6-6&lt;/em&gt;&lt;em&gt;Jan2008. &lt;/em&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/research"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/index"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/citation"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/tools"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/ranking"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/rank"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/208bdc0c326abf022173437181e57d44f/mschuber"><title>ConceptNet 3: a Flexible, Multilingual Semantic Network for Common Sense Knowledge</title><link>http://www.bibsonomy.org/bibtex/208bdc0c326abf022173437181e57d44f/mschuber</link><dc:creator>mschuber</dc:creator><dc:date>2008-06-13T13:33:49+02:00</dc:date><dc:subject>tools networks goals commonsense knowledge evaluation </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Catherine &lt;a href=&#034;http://www.bibsonomy.org/author/Havasi&#034;&gt;Havasi&lt;/a&gt;  and Robert &lt;a href=&#034;http://www.bibsonomy.org/author/Speer&#034;&gt;Speer&lt;/a&gt;  and Jason &lt;a href=&#034;http://www.bibsonomy.org/author/Alonso&#034;&gt;Alonso&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Recent Advances in Natural Language Processing, &lt;/em&gt;&lt;em&gt;Borovets, Bulgaria, &lt;/em&gt;&lt;em&gt;September2007. &lt;/em&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/tools"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/networks"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/goals"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/commonsense"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/knowledge"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/evaluation"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2e3aedd0069ef275662c5175cda3d9590/paul"><title>Social Bookmarking Tools (I)</title><link>http://www.bibsonomy.org/bibtex/2e3aedd0069ef275662c5175cda3d9590/paul</link><dc:creator>paul</dc:creator><dc:date>2008-06-12T14:17:25+02:00</dc:date><dc:subject>social tools bookmarking </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Tony &lt;a href=&#034;http://www.bibsonomy.org/author/Hammond&#034;&gt;Hammond&lt;/a&gt;  and Timo &lt;a href=&#034;http://www.bibsonomy.org/author/Hannay&#034;&gt;Hannay&lt;/a&gt;  and Ben &lt;a href=&#034;http://www.bibsonomy.org/author/Lund&#034;&gt;Lund&lt;/a&gt;  and Joanna &lt;a href=&#034;http://www.bibsonomy.org/author/Scott&#034;&gt;Scott&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;D-Lib Magazine&lt;/em&gt;&lt;em&gt;April2005. &lt;/em&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/social"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/tools"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/bookmarking"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2c0f6de779a1695ed7440c94ab947d1f0/paul"><title>Social Bookmarking Tools (II)</title><link>http://www.bibsonomy.org/bibtex/2c0f6de779a1695ed7440c94ab947d1f0/paul</link><dc:creator>paul</dc:creator><dc:date>2008-06-12T14:14:04+02:00</dc:date><dc:subject>bookmarking social tools </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Ben &lt;a href=&#034;http://www.bibsonomy.org/author/Lund&#034;&gt;Lund&lt;/a&gt;  and Tony &lt;a href=&#034;http://www.bibsonomy.org/author/Hammond&#034;&gt;Hammond&lt;/a&gt;  and Martin &lt;a href=&#034;http://www.bibsonomy.org/author/Flack&#034;&gt;Flack&lt;/a&gt;  and Timo &lt;a href=&#034;http://www.bibsonomy.org/author/Hannay&#034;&gt;Hannay&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;&lt;/em&gt;(&lt;em&gt;2005&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/bookmarking"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/social"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/tools"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2ea4969666434775f682740a6090c1447/ist_spl"><title>Automation of GUI testing using a model-driven approach</title><description>Automation of GUI testing using a model-driven approach</description><link>http://www.bibsonomy.org/bibtex/2ea4969666434775f682740a6090c1447/ist_spl</link><dc:creator>ist_spl</dc:creator><dc:date>2008-06-10T17:58:33+02:00</dc:date><dc:subject>diagrams category-partition testing activity Use-Cases tools MBT GUI TDE/UML automated UML </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Marlon &lt;a href=&#034;http://www.bibsonomy.org/author/Vieira&#034;&gt;Vieira&lt;/a&gt;  and Johanne &lt;a href=&#034;http://www.bibsonomy.org/author/Leduc&#034;&gt;Leduc&lt;/a&gt;  and Bill &lt;a href=&#034;http://www.bibsonomy.org/author/Hasling&#034;&gt;Hasling&lt;/a&gt;  and Rajesh &lt;a href=&#034;http://www.bibsonomy.org/author/Subramanyan&#034;&gt;Subramanyan&lt;/a&gt;  and Juergen &lt;a href=&#034;http://www.bibsonomy.org/author/Kazmeier&#034;&gt;Kazmeier&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;AST &#039;06: Proceedings of the 2006 international workshop on Automation of software test, &lt;/em&gt;&lt;em&gt;page9--14. &lt;/em&gt;&lt;em&gt;New York, NY, USA, &lt;/em&gt;&lt;em&gt;ACM, &lt;/em&gt;(&lt;em&gt;2006&lt;/em&gt;) &lt;em&gt;MR: UML-Use-Cases werden mit Aktivitaetsdiagrammen beschrieben, an denen Aktivitaets-Annotationen mit der Verwendung von Testdaten angebracht werden. Die T&lt;span class=&#034;info&#034;&gt;...&lt;span&gt;MR: UML-Use-Cases werden mit Aktivitaetsdiagrammen beschrieben, an denen Aktivitaets-Annotationen mit der Verwendung von Testdaten angebracht werden. Die Testdaten werden nach der Category-Partition-Methode von Entwicklern angebracht. Zus&amp;#228;tzlich sind die Aktivitaetsdiagramme um Guard-Conditions erweitert (es sind Constraints an den Pfeilen von Verzweigungen angebracht in einer speziellen TSL Sprache). Anwendung verschiedener Testauswahlkriterien gezeigt. Technik f&amp;#252;r den Systemtest angedacht, an einem GUI-Test als Beispiel gezeigt. Nachteil: Ansatz schweigt in Bezug auf Testorakel. Nur im &#039;Future work&#039;-Abschnitt wurde angemerkt: &amp;quot;We are investigating ways to improve the test cases with detailed verification points and arbiters.&amp;quot;. IST-SPL: wertvoll.&lt;/span&gt;&lt;/span&gt;
		    .
	    &lt;/em&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/diagrams"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/category-partition"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/testing"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/activity"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Use-Cases"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/tools"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/MBT"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/GUI"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/TDE/UML"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/automated"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/UML"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2f4bc3aaaa264a9c49c4af1a9480925c9/mstrohm"><title>ConceptNet 3: a Flexible, Multilingual Semantic Network for Common Sense Knowledge</title><link>http://www.bibsonomy.org/bibtex/2f4bc3aaaa264a9c49c4af1a9480925c9/mstrohm</link><dc:creator>mstrohm</dc:creator><dc:date>2008-06-10T10:50:02+02:00</dc:date><dc:subject>commonsense tools knowledge-management evaluation goals </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;C. &lt;a href=&#034;http://www.bibsonomy.org/author/Havasi&#034;&gt;Havasi&lt;/a&gt;  and R. &lt;a href=&#034;http://www.bibsonomy.org/author/Speer&#034;&gt;Speer&lt;/a&gt;  and J. &lt;a href=&#034;http://www.bibsonomy.org/author/Alonso&#034;&gt;Alonso&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Recent Advances in Natural Language Processing, &lt;/em&gt;&lt;em&gt;Borovets, Bulgaria, &lt;/em&gt;&lt;em&gt;September2007. &lt;/em&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/commonsense"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/tools"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/knowledge-management"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/evaluation"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/goals"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2b69f467ca81c753d0192f02c574ad931/beate"><title>CiteSense: supporting sensemaking of research literature</title><description>CHI: CHI &#039;08, CiteSense: supporting sensemaking of ...</description><link>http://www.bibsonomy.org/bibtex/2b69f467ca81c753d0192f02c574ad931/beate</link><dc:creator>beate</dc:creator><dc:date>2008-06-07T15:45:53+02:00</dc:date><dc:subject>research tools analysis citation </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Xiaolong &lt;a href=&#034;http://www.bibsonomy.org/author/Zhang&#034;&gt;Zhang&lt;/a&gt;  and Yan &lt;a href=&#034;http://www.bibsonomy.org/author/Qu&#034;&gt;Qu&lt;/a&gt;  and C. &lt;a href=&#034;http://www.bibsonomy.org/author/Lee Giles&#034;&gt;Lee Giles&lt;/a&gt;  and Piyou &lt;a href=&#034;http://www.bibsonomy.org/author/Song&#034;&gt;Song&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;CHI &#039;08: Proceeding of the twenty-sixth annual SIGCHI conference on Human factors in computing systems, &lt;/em&gt;&lt;em&gt;page677--680. &lt;/em&gt;&lt;em&gt;New York, NY, USA, &lt;/em&gt;&lt;em&gt;ACM, &lt;/em&gt;(&lt;em&gt;2008&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/research"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/tools"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/analysis"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/citation"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2e7a2032b56fe9dceccc15f9df66e9d13/ist_spl"><title>Practical Model-Based Testing: A Tools Approach</title><description>Amazon.com: Practical Model-Based Testing: A Tools Approach: Mark Utting, Bruno Legeard: Books</description><link>http://www.bibsonomy.org/bibtex/2e7a2032b56fe9dceccc15f9df66e9d13/ist_spl</link><dc:creator>ist_spl</dc:creator><dc:date>2008-06-05T13:06:51+02:00</dc:date><dc:subject>tools test statemachine finite UML oracle B MBT software automated OCL </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Mark &lt;a href=&#034;http://www.bibsonomy.org/author/Utting&#034;&gt;Utting&lt;/a&gt;  and Bruno &lt;a href=&#034;http://www.bibsonomy.org/author/Legeard&#034;&gt;Legeard&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Morgan Kaufmann, &lt;/em&gt;&lt;em&gt;1 edition, &lt;/em&gt;(&lt;em&gt;2006&lt;/em&gt;) &lt;em&gt;MR: Das Buch besch&amp;amp;#228;ftigt sich mit Testorakeln bei MBT: &amp;amp;quot;The main focus of this book (Chapters 3 to 7 and 9 and 10) is [...] the generation of exe&lt;span class=&#034;info&#034;&gt;...&lt;span&gt;MR: Das Buch besch&amp;#228;ftigt sich mit Testorakeln bei MBT: &amp;quot;The main focus of this book (Chapters 3 to 7 and 9 and 10) is [...] the generation of executable test cases that include oracle information, based on models of the SUT behavior. This generation process includes the generation of input values and teh sequencing of calls into test sequences, but it also includes the generation of oracles that check the SUT outputs.&amp;quot; Es werden 12 Beispiele und Case Studies aus verschiedenen Dom&amp;#228;nen behandelt, wobei mehrere Modellierungssprachen eingesetzt werden: UML, B, Z, FSM, EFSM, Spec#. Es bring eine &amp;#220;bersicht &amp;#252;ber zur Zeit vorhandenen MBT-Tools und zugrunde liegenden Modelltypen. Haupts&amp;#228;chlich werden zwei Gruppen von Modelltypen betrachtet: - transition-based models (e.g., FSM and UML state machines, statecharts, LTS) - pre/post(conditions) models (or state-based notations) (e.g.,B machines and UML/OCL specifications) Auch Model Coverage Criteria f&amp;#252;r Testfallauswahl werden behandelt. Wie der Titel des Buches bereits verr&amp;#228;t, werden die theoretischen Zusammenh&amp;#228;nge und Ableitungen sehr stiefm&amp;#252;tterlich behandelt! Oft findet man keine sinnvolle Begr&amp;#252;ndung f&amp;#252;r bestimmte Behauptungen der Autoren. Hierzu siehe auch Product Description: &amp;quot;It is aimed at testers and software developers who wish to use model-based testing, rather than at tool-developers or academics.&amp;quot;&lt;/span&gt;&lt;/span&gt;
		    .
	    &lt;/em&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/tools"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/test"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/statemachine"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/finite"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/UML"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/oracle"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/B"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/MBT"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/software"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/automated"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/OCL"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/20ee711295a177fe2252f96969682c3b5/mstrohm"><title>Collective Intelligence in Action</title><link>http://www.bibsonomy.org/bibtex/20ee711295a177fe2252f96969682c3b5/mstrohm</link><dc:creator>mstrohm</dc:creator><dc:date>2008-06-04T16:31:01+02:00</dc:date><dc:subject>web-science tools TOBUY </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;S. &lt;a href=&#034;http://www.bibsonomy.org/author/Alag&#034;&gt;Alag&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Manning Publications, &lt;/em&gt;(&lt;em&gt;2008&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/web-science"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/tools"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/TOBUY"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/25b8660eea53c1bbea9a3508cb9efa82a/ist_spl"><title>A taxonomy of model-based testing</title><link>http://www.bibsonomy.org/bibtex/25b8660eea53c1bbea9a3508cb9efa82a/ist_spl</link><dc:creator>ist_spl</dc:creator><dc:date>2008-06-03T14:50:53+02:00</dc:date><dc:subject>fundamentals MBT tools </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Mark &lt;a href=&#034;http://www.bibsonomy.org/author/Utting&#034;&gt;Utting&lt;/a&gt;  and Alexander &lt;a href=&#034;http://www.bibsonomy.org/author/Pretschner&#034;&gt;Pretschner&lt;/a&gt;  and Bruno &lt;a href=&#034;http://www.bibsonomy.org/author/Legeard&#034;&gt;Legeard&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Working Paper, &lt;/em&gt;&lt;em&gt;April2006. &lt;/em&gt;&lt;em&gt;MR: Wertvoll wegen den vorgestellten Modellparadigmen. Enth&amp;amp;#228;lt auch 5 einklassifizierte Ans&amp;amp;#228;tze (3 f&amp;amp;#252;r modellbasierte Testfallgenerierung un&lt;span class=&#034;info&#034;&gt;...&lt;span&gt;MR: Wertvoll wegen den vorgestellten Modellparadigmen. Enth&amp;#228;lt auch 5 einklassifizierte Ans&amp;#228;tze (3 f&amp;#252;r modellbasierte Testfallgenerierung und 2 f&amp;#252;r modellbasierte Testeingabenermittlung). Nachteilig: es werden nur Ans&amp;#228;tze betrachtet, die durch ein Tool repr&amp;#228;sentiert werden.&lt;/span&gt;&lt;/span&gt;
		    .
	    &lt;/em&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/fundamentals"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/MBT"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/tools"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2f71cd582b8f22978d4d498b15bb9b9cf/mschuber"><title>A newbie's guide to eclipse APIs</title><description>describing a tool to extend the documentation of eclipse by combining the high-level design documentation and the low-level API documentation</description><link>http://www.bibsonomy.org/bibtex/2f71cd582b8f22978d4d498b15bb9b9cf/mschuber</link><dc:creator>mschuber</dc:creator><dc:date>2008-06-02T15:28:17+02:00</dc:date><dc:subject>msr tools eclipse </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Reid &lt;a href=&#034;http://www.bibsonomy.org/author/Holmes&#034;&gt;Holmes&lt;/a&gt;  and Robert J. &lt;a href=&#034;http://www.bibsonomy.org/author/Walker&#034;&gt;Walker&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;MSR &#039;08: Proceedings of the 2008 international workshop on Mining software repositories, &lt;/em&gt;&lt;em&gt;page149--152. &lt;/em&gt;&lt;em&gt;New York, NY, USA, &lt;/em&gt;&lt;em&gt;ACM, &lt;/em&gt;(&lt;em&gt;2008&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/msr"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/tools"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/eclipse"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/288ae0431c1fc5c0b6007d2c8489c2080/mschuber"><title>A change-aware development environment by recording editing operations of source code</title><link>http://www.bibsonomy.org/bibtex/288ae0431c1fc5c0b6007d2c8489c2080/mschuber</link><dc:creator>mschuber</dc:creator><dc:date>2008-05-30T09:47:38+02:00</dc:date><dc:subject>tools software eclipse msr </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Takayuki &lt;a href=&#034;http://www.bibsonomy.org/author/Omori&#034;&gt;Omori&lt;/a&gt;  and Katsuhisa &lt;a href=&#034;http://www.bibsonomy.org/author/Maruyama&#034;&gt;Maruyama&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;MSR &#039;08: Proceedings of the 2008 international workshop on Mining software repositories, &lt;/em&gt;&lt;em&gt;page31--34. &lt;/em&gt;&lt;em&gt;New York, NY, USA, &lt;/em&gt;&lt;em&gt;ACM, &lt;/em&gt;&lt;em&gt;May2008. &lt;/em&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/tools"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/software"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/eclipse"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/msr"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2a109078a8873e13c040f058952e344cd/dominikfriedel"><title>TECHNOLOGY MANAGEMENT TOOLS:: GENERALIZATION, INTEGRATION AND CONFIGURATION.</title><link>http://www.bibsonomy.org/bibtex/2a109078a8873e13c040f058952e344cd/dominikfriedel</link><dc:creator>dominikfriedel</dc:creator><dc:date>2008-05-21T09:17:53+02:00</dc:date><dc:subject>SCIENCE, Tools TECHNOLOGY, roadmapping, portfolio, planning, STRATEGIC making, NAMES, DECISION frameworks, </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;ROBERT &lt;a href=&#034;http://www.bibsonomy.org/author/PHAAL&#034;&gt;PHAAL&lt;/a&gt;  and CLARE &lt;a href=&#034;http://www.bibsonomy.org/author/FARRUKH&#034;&gt;FARRUKH&lt;/a&gt;  and DAVID &lt;a href=&#034;http://www.bibsonomy.org/author/PROBERT&#034;&gt;PROBERT&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;International Journal of Innovation &amp;amp; Technology Management&lt;/em&gt;&lt;em&gt;3(3):p321 - 339&lt;/em&gt;(&lt;em&gt;20060901&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/SCIENCE,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Tools"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/TECHNOLOGY,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/roadmapping,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/portfolio,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/planning,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/STRATEGIC"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/making,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/NAMES,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/DECISION"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/frameworks,"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2ca2c9b3d2081e289ac8d5e7585248350/lanubile"><title>Evaluating meeting support tools</title><link>http://www.bibsonomy.org/bibtex/2ca2c9b3d2081e289ac8d5e7585248350/lanubile</link><dc:creator>lanubile</dc:creator><dc:date>2008-05-20T19:49:47+02:00</dc:date><dc:subject>meeting groupware tools </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Wilfried M. &lt;a href=&#034;http://www.bibsonomy.org/author/Post&#034;&gt;Post&lt;/a&gt;  and Mirjam A. A. &lt;a href=&#034;http://www.bibsonomy.org/author/Huis in \&amp;amp;\#x2019;t Veld&#034;&gt;Huis in &amp;amp;#x2019;t Veld&lt;/a&gt;  and Sylvia A. A. &lt;a href=&#034;http://www.bibsonomy.org/author/van den Boogaard&#034;&gt;van den Boogaard&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Personal Ubiquitous Comput.&lt;/em&gt;&lt;em&gt;12(3):223--235&lt;/em&gt;(&lt;em&gt;2008&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/meeting"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/groupware"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/tools"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/276ed421899df755cf6b55577184aa2a8/flimm"><title>UNIX power tools</title><description>KUG Recherche-Portal</description><link>http://www.bibsonomy.org/bibtex/276ed421899df755cf6b55577184aa2a8/flimm</link><dc:creator>flimm</dc:creator><dc:date>2008-05-13T11:21:35+02:00</dc:date><dc:subject>shell tools </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Shelley &lt;a href=&#034;http://www.bibsonomy.org/author/Powers&#034;&gt;Powers&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;O&#039;Reilly, &lt;/em&gt;&lt;em&gt;Beijing [u.a.], &lt;/em&gt;&lt;em&gt;3. ed., updated &amp;amp; expanded edition, &lt;/em&gt;(&lt;em&gt;2003&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/shell"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/tools"/></rdf:Bag></taxo:topics></item></rdf:RDF>