http://www.bibsonomy.org/publrss/concept/tag/toolBibSonomy RSS Feed for /concept/tag/toolhttp://www.bibsonomy.org/bibtex/2300eea5b034bb2ce30575398eb90d3fc/grongron2008-07-15T22:51:06+02:00Tool Callgraphs VM Visualisation <span style="color:#555555;">Dimitri van <a href="http://www.bibsonomy.org/author/Heesch">Heesch</a> </span>(<em>2008</em>)MR: Ideen, von denen die meisten mit dem aktuellen Stand bei IST-SPL übereinstimmen. - Use-Cases werden mittels language patterns geschrieben, und so die automatische Ableitung von Aktivitätsdiagrammen wird ermöglicht - Binders Round-Trip-Pattern wird benutzt zur Ableitung von Szenarios - Operational Variables werden aus den Aktivitätsdiagrammen abgeleitet und constraint combinations of partitions werden damit automatisch erzeugt - Open Source Tools werden zur Verfügung gestellt: http://www.lsi.us.es/~javierj/ObjectGen.htmlhttp://www.bibsonomy.org/bibtex/248e26fc269fe20c4d008340183dbc625/ist_splist_spl2008-07-15T11:19:14+02:00Use-Cases systemtest testing tool requirements diagrams category-partition UML scenario activity <span style="color:#555555;">Javier Jes'us <a href="http://www.bibsonomy.org/author/Guti\&#039;{e}rrez">Guti'errez</a> and Mar'ia Jos'e <a href="http://www.bibsonomy.org/author/Escalona">Escalona</a> and Manuel <a href="http://www.bibsonomy.org/author/Mej\&#039;{\i}as">Mej'ias</a> and Arturo H. <a href="http://www.bibsonomy.org/author/Zenteno">Zenteno</a> </span><em>Proceedings of the 5th Workshop on Systems Testing and Validation (Stv 2007), </em>(<em>2007</em>)http://www.bibsonomy.org/bibtex/226764e8a5b5ed620f8be58235e41e7ac/franzkurfessfranzkurfess2008-07-11T22:55:19+02:00ontology engineering tool <span style="color:#555555;">O. <a href="http://www.bibsonomy.org/author/Corcho">Corcho</a> and M. <a href="http://www.bibsonomy.org/author/Fern{\&#039;a}ndez-L{\&#039;o}pez">Fern'andez-L'opez</a> and A. <a href="http://www.bibsonomy.org/author/G{\&#039;o}mez-P{\&#039;e}rez">G'omez-P'erez</a> </span><em>Data \&amp; Knowledge Engineering</em><em>46(1):41--64</em>(<em>2003</em>)MR: Interessanter Ansatz. Lässt sich leicht auf Aktivitätsdiagramme übertragen. Besonderheiten: - Kreise im Graphen werden in abgeleiteten Pfaden speziell gekennzeichnet - Das Testmodell (UML Statechart) wird als Extended Context Free Grammar interpretiert - Path Generation Algorithm - Testdaten werden ähnlich der Category-Partition-Methode modelliert - Der eigentliche Test wird parallel zur Ausführung des SUT durch ein Testscript durchgeführt, der den gefundenen Pfad verifiziert. Hierfür muss das SUT Abfragemethoden bereitstellen. Leider wird das Testorakel nicht direkt angesprochen. Man kann es aber indirekt aus dem Testmodell ableiten. Es müssen einfach alle die Bedingungen und Zustände auf einem Pfad erfüllt werden, bis zu dem Endzustand...http://www.bibsonomy.org/bibtex/2c83e15c4de6ad694daa22c70b911a167/ist_splist_spl2008-07-08T17:32:57+02:00tool feasible sensitization category-partition statecharts path model testing UML algorithms based <span style="color:#555555;">P. V.R. <a href="http://www.bibsonomy.org/author/Murthy">Murthy</a> and P. C. <a href="http://www.bibsonomy.org/author/Anitha">Anitha</a> and M. <a href="http://www.bibsonomy.org/author/Mahesh">Mahesh</a> and Rajesh <a href="http://www.bibsonomy.org/author/Subramanyan">Subramanyan</a> </span><em>SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools, </em><em>page75--82. </em><em>New York, NY, USA, </em><em>ACM, </em>(<em>2006</em>)http://www.bibsonomy.org/bibtex/2e1faf1b1f5e9430ff7db436994da4cd8/casicasi2008-07-08T16:37:16+02:00kspace-book-annotation-tools tool manual image annotation <span style="color:#555555;">Christian <a href="http://www.bibsonomy.org/author/Halaschek-Wiener">Halaschek-Wiener</a> and Jennifer <a href="http://www.bibsonomy.org/author/Golbeck">Golbeck</a> and Andrew <a href="http://www.bibsonomy.org/author/Schain">Schain</a> and Michael <a href="http://www.bibsonomy.org/author/Grove">Grove</a> and Bijan <a href="http://www.bibsonomy.org/author/Parsia">Parsia</a> and Jim <a href="http://www.bibsonomy.org/author/Hendler">Hendler</a> </span><em>4th International Semantic Web Conference - Poster Paper, </em>(<em>2005</em>)MR: Entwicklung eines Werkzeugs zur automatischen Generierung von Aktivitätsdiagrammen aus Use-Cases.http://www.bibsonomy.org/bibtex/20f54cb7b5d54bf949000a2878214f2d0/ist_splist_spl2008-07-07T16:51:09+02:00generation transformation activity tool diagrams UML Use-Cases <span style="color:#555555;">Mario <a href="http://www.bibsonomy.org/author/Friske">Friske</a> and Holger <a href="http://www.bibsonomy.org/author/Schlingloff">Schlingloff</a> </span><em>Tagungsband Dagstuhl-Workshop MBEES: Model Based Engineering of Embedded Systems III, </em><em>2005-01, </em><em>TU Braunschweig, </em><em>January2007. </em>http://www.bibsonomy.org/bibtex/27a95282114d6668ac170926c7c395835/casicasi2008-07-07T16:50:20+02:00annotation tool kspace-book-annotation-tools web semantic cream <span style="color:#555555;">Siegfried <a href="http://www.bibsonomy.org/author/Handschuh">Handschuh</a> and Steffen <a href="http://www.bibsonomy.org/author/Staab">Staab</a> </span><em>Computer Networks</em>(<em>2003</em>) <em>Elsevier . </em>http://www.bibsonomy.org/bibtex/214068eaacd60b32016fef1999a84a8f5/flint63flint632008-07-07T13:47:29+02:00v0805 software team ieee tool paper development eclipse <span style="color:#555555;">Randall <a href="http://www.bibsonomy.org/author/Frost">Frost</a> </span><em>IEEE Software</em><em>24(6):114-117</em>(<em>2007</em>)http://www.bibsonomy.org/bibtex/2308794a16b2fab7c2498b4ea7ed55bb4/flint63flint632008-07-07T13:47:29+02:00software trac tool agile ant build process test book svn application java junit v0805 maven web development revision <span style="color:#555555;">Michael <a href="http://www.bibsonomy.org/author/Hüttermann">H&#252;ttermann</a> </span><em>O'Reilly, </em><em>K&#246;ln, </em>(<em>2007</em>)http://www.bibsonomy.org/bibtex/27162c68423de7bc26bfd6cacb63f2149/flint63flint632008-07-07T13:47:29+02:00design code generation v0805 paper tool software springer development freeware <span style="color:#555555;">Gerhard <a href="http://www.bibsonomy.org/author/Wanner">Wanner</a> and Stefan <a href="http://www.bibsonomy.org/author/Siegl">Siegl</a> </span><em>Informatik-Spektrum</em><em>30(5):340-352</em>(<em>2007</em>)http://www.bibsonomy.org/bibtex/29c8080aa372c4ac558c11465d817499a/cschenkcschenk2008-07-02T11:02:53+02:00stumme data read:2008 sourceforge discovery kdd qualitative knowledge tool paper toscanaj fca concepts analysis <span style="color:#555555;">P. <a href="http://www.bibsonomy.org/author/Becker">Becker</a> and J. <a href="http://www.bibsonomy.org/author/Hereth">Hereth</a> and G. <a href="http://www.bibsonomy.org/author/Stumme">Stumme</a> </span><em>Advances in Formal Concept Analysis for Knowledge Discovery in Databases., </em><em>page1-2. </em><em>Lyon, France, </em><em>July 23,2002. </em>http://www.bibsonomy.org/bibtex/2c4c50856de9c1f2e0a09252e909d512e/brazovayeyebrazovayeye2008-06-19T17:35:00+02:00generation path Tool programming, GA, CAM, Intelligent CNC genetic Turning, algorithms, <span style="color:#555555;">Joze <a href="http://www.bibsonomy.org/author/Balic">Balic</a> and Miha <a href="http://www.bibsonomy.org/author/Kovacic">Kovacic</a> and Bostjan <a href="http://www.bibsonomy.org/author/Vaupotic">Vaupotic</a> </span><em>Journal of intelligent manufacturing</em><em>17(3):331--340</em><em>June2006. </em>http://www.bibsonomy.org/bibtex/2826fb1d98f730e8296a8c213dea08d97/brazovayeyebrazovayeye2008-06-19T17:35:00+02:00factors, Applications: plagiarism evolution, algorithms, assessment source human Poster, genetic detection Real-World code tool programming, reliability, grammatical <span style="color:#555555;">Manuel <a href="http://www.bibsonomy.org/author/Cebrian">Cebrian</a> and Manuel <a href="http://www.bibsonomy.org/author/Alfonseca">Alfonseca</a> and Alfonso <a href="http://www.bibsonomy.org/author/Ortega">Ortega</a> </span><em>GECCO '07: Proceedings of the 9th annual conference on Genetic and evolutionary computation, </em><em>2, </em><em>page2253--2253. </em><em>London, </em><em>ACM Press, </em><em>7-11 July2007. </em>Welcome to IEEE Xplore 2.0: Tool support for verifying UML activity diagramshttp://www.bibsonomy.org/bibtex/21c364961b0a82684d9a8278844d4ddb2/ist_splist_spl2008-06-12T13:00:50+02:00UML diagrams LTL tool model-checker activity <span style="color:#555555;">R. <a href="http://www.bibsonomy.org/author/Eshuis">Eshuis</a> and R. <a href="http://www.bibsonomy.org/author/Wieringa">Wieringa</a> </span>(<em>2004</em>) <em>MR: vielleicht nur wegen der Behandlung von UML-Aktivit&#228;tsdiagrammen interessant. . </em>http://www.bibsonomy.org/bibtex/2ec6dacfbcd480ad2bb275fee0f31760d/yishyish2008-05-30T00:59:13+02:00of scheme theorem-in-action instrument instrumentation genesis constraints tool instrumental orchestration mythesis mathematical <span style="color:#555555;">Luc <a href="http://www.bibsonomy.org/author/Trouche">Trouche</a> </span><em>Interacting with Computers</em><em>15(6):783-800</em>(<em>2003</em>)http://www.bibsonomy.org/bibtex/26c28b4a35bdba1c795f46d623e76890d/vzachvzach2008-05-29T09:13:41+02:00tool semanticWeb <span style="color:#555555;">A. <a href="http://www.bibsonomy.org/author/Kalyanput">Kalyanput</a> and B. <a href="http://www.bibsonomy.org/author/Parsia">Parsia</a> and E. <a href="http://www.bibsonomy.org/author/Sirin">Sirin</a> and B.C. <a href="http://www.bibsonomy.org/author/Grau">Grau</a> and J. <a href="http://www.bibsonomy.org/author/Hendler">Hendler</a> </span><em>Journal of Web Semantics</em><em>4(2):144--153</em><em>June2005. </em>http://www.bibsonomy.org/bibtex/22c3dadff464471fd9491fda99916aaf6/vzachvzach2008-05-29T09:13:41+02:00tool brms <span style="color:#555555;">Kristen <a href="http://www.bibsonomy.org/author/Seer">Seer</a> </span><em>Business Rule Journal</em>(<em>2005</em>)http://www.bibsonomy.org/bibtex/29c414296adbd742bbeea1e26b884fe8e/vzachvzach2008-05-29T09:13:41+02:00tool semanticWeb <span style="color:#555555;"> <a href="http://www.bibsonomy.org/author/TopQuadrant">TopQuadrant</a> </span><em>http://www.topbraidcomposer.com/, </em>(<em>2007</em>) <em>(accessed 2007-02-27) . </em>http://www.bibsonomy.org/bibtex/25de67c753e8cae3b3f72b75c7c750311/vzachvzach2008-05-29T09:13:41+02:00semanticWeb tool <span style="color:#555555;"> <a href="http://www.bibsonomy.org/author/Altova">Altova</a> </span><em>http://www.-altova.-com/, </em>(<em>2007</em>) <em>(accessed 2007-02-27) . </em>http://www.bibsonomy.org/bibtex/2104e54c644e19409f380e21f63bf1c42/vzachvzach2008-05-29T09:13:41+02:00f-logic tool ontoprise <span style="color:#555555;"> <a href="http://www.bibsonomy.org/author/Ontoprise">Ontoprise</a> </span><em>http://www.ontoprise.de/, </em>(<em>2007</em>) <em>(accessed 2007-02-27) . </em>