http://www.bibsonomy.org/burst/concept/tag/toolBibSonomy BuRST Feed for /concept/tag/tool2008-07-21T00:35:11+02:00http://www.bibsonomy.org/bibtex/2300eea5b034bb2ce30575398eb90d3fc/grongron2008-07-15T22:51:06+02:00Visualisation Tool VM Callgraphs <span style="color:#555555;">Dimitri van <a href="http://www.bibsonomy.org/author/Heesch">Heesch</a> </span>(<em>2008</em>)Tue Jul 15 22:51:06 CEST 2008Doxygen: Source code documentation generator tool2008Visualisation Tool VM Callgraphs 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:00diagrams testing systemtest activity scenario requirements Use-Cases UML tool category-partition <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>)Tue Jul 15 11:19:14 CEST 2008Proceedings of the 5th Workshop on Systems Testing and Validation (Stv 2007)Using use case scenarios and operational variables for generating test objectives2007diagrams testing systemtest activity scenario requirements Use-Cases UML tool category-partition Use cases defined as a tabular text are a widely used technique in the early phases of system development. However, there is a lack of approaches to derive test objectives and test cases from these use cases. This paper introduces a set of processes that allow the generation of test objectives as use case scenarios and operational variables. Although use cases are expressed in a narrative style, the process has been automated with two supporting tools.http://www.bibsonomy.org/bibtex/226764e8a5b5ed620f8be58235e41e7ac/franzkurfessfranzkurfess2008-07-11T22:55:19+02:00tool ontology engineering <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>)Fri Jul 11 22:55:19 CEST 2008Data \& Knowledge Engineering141--64{Methodologies, tools and languages for building ontologies. Where is their meeting point?}462003tool ontology engineering 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:00feasible algorithms sensitization based tool statecharts model path testing category-partition UML <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>)Tue Jul 08 17:32:57 CEST 2008New York, NY, USASCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools75--82Test ready UML statechart models2006feasible algorithms sensitization based tool statecharts model path testing category-partition UML The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as systematic testing and test adequacy. We choose UML Statechart models of behavior as the basis for test generation. This paper attempts to lay a new foundation for UML Statechart based test generation by introducing Test Ready UML Statechart models that can be used by testers in the testing phases just as the conventional UML Statecharts are required during the design and development phases. In order to achieve the goal of automatic test generation based on UML Statecharts, we identify what is required over and above UML Statecharts for testers to specify so that the resulting test ready models are amenable for automatic generation of executable test scripts. The test generation problem from a Test Ready UML Statechart is solved by determining all the sentential forms derivable from an equivalent extended context free grammar model.http://www.bibsonomy.org/bibtex/2e1faf1b1f5e9430ff7db436994da4cd8/casicasi2008-07-08T16:37:16+02:00manual tool kspace-book-annotation-tools 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>)Tue Jul 08 16:37:16 CEST 20084th International Semantic Web Conference - Poster PaperPhotostuff - an image annotation tool for the semantic web2005manual tool kspace-book-annotation-tools image annotation Annotation of documents is a complex and labour intensive task. So far, research has focused on supporting the annotation of documents in single media, e.g. texts or images. Much less attention has been paid to the issue of annotating documents across media, especially useful for web documents that usually contain both text and images. In this paper we describe AKTiveMedia, a tool which supports human-centric annotation of documents across media. It offers a number of features to support different types of annotations, from ontology-based ones to free comments. We discuss what we believe are the main requirements for annotating Web documents, from support of annotator communities, to the reduction of the annotation burden, to the support of document lifecycle and how they have been implemented inside AKTiveMedia. The tool has applications in annotation of web pages, personal memories and knowledge management.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:00activity transformation Use-Cases generation tool UML diagrams <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>Mon Jul 07 16:51:09 CEST 2008Tagungsband Dagstuhl-Workshop MBEES: Model Based Engineering of Embedded Systems IIIJanuary2005-01Informatik-BerichtGenerierung von UML-Modellen aus formalisierten Anwendungsfallbeschreibungen2007activity transformation Use-Cases generation tool UML diagrams In diesem Kurzbeitrag zeigen wir, wie textuelle Anwendungsfallbeschreibungen werkzeuggest¨utzt in UML-Aktivit¨atsdiagramme ¨uberf¨uhrt werden k¨onnen. Mit Hilfe eines von uns entwickeltenWerkzeuges formalisieren wir zun¨achst die Beschreibung der Interaktionen, um anschließend aus dem so erstellten formalisierten Anwendungsfallmodell mittels automatisierter Transformation ein UML-Modell zu generieren. Die notwendige Transformation definieren wir in abstrakter Form und setzen diese mit verschiedenen Transformationswerkzeugen um.http://www.bibsonomy.org/bibtex/27a95282114d6668ac170926c7c395835/casicasi2008-07-07T16:50:20+02:00tool kspace-book-annotation-tools web annotation cream semantic <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>Mon Jul 07 16:50:20 CEST 2008Computer NetworksElsevier579-598CREAM - Creating Metadata for the Semantic Web422003tool kspace-book-annotation-tools web annotation cream semantic http://www.bibsonomy.org/bibtex/214068eaacd60b32016fef1999a84a8f5/flint63flint632008-07-07T13:47:29+02:00team paper v0805 tool development software ieee 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>)Mon Jul 07 13:47:29 CEST 2008IEEE Software6114-117Jazz and the {Eclipse} Way of Collaboration242007team paper v0805 tool development software ieee eclipse IBM's Jazz project sets out to define a vision for the way products can integrate to support collaborative work, and to create a technology platform on which to build products to deliver on this vision.http://www.bibsonomy.org/bibtex/2308794a16b2fab7c2498b4ea7ed55bb4/flint63flint632008-07-07T13:47:29+02:00book process revision development tool maven test junit svn trac application build v0805 ant agile software web java <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>)Mon Jul 07 13:47:29 CEST 2008Köln{Agile Java-Entwicklung in der Praxis}2007book process revision development tool maven test junit svn trac application build v0805 ant agile software web java Klar, alle entwickeln inzwischen agil. Fast jeder hat schon einmal vom Agilen Manifest gehört, häufige Iterationen werden inzwischen für die meisten IT-Projekte angestrebt, und dass die zwischenmenschliche Komponente auch irgendwie wichtig ist, wissen wir doch auch nicht erst seit gestern. Aber agil ist nicht so vage! Java Champion Michael Hüttermann erklärt, was agile Softwareentwicklung wirklich bedeutet, und zeigt, wie sie sich konkret in die Tat umsetzen lässt. Mit viel Sachverstand schlägt er den Bogen vom Agilen Manifest bis zu einer kompletten technischen Infrastruktur, die agile Java-Entwicklung unterstützt. Die agile Philosophie und ihre Umsetzung: Die Basis agiler Entwicklung ist natürlich das Agile Manifest, von dem sich zahlreiche Werte, Prinzipien und Methoden ableiten lassen. In diesem Buch wird deutlich, warum agiles Vorgehen so erfolgreich ist und wie es sich am besten einführen lässt. Auch Fallstricke in der Praxis verschweigt der Autor nicht und gibt zahlreiche Tipps aus seiner Projekterfahrung. Eine vollständige Infrastruktur für Ihre agile Java-Entwicklung: An der spannendsten Frage hören dann viele andere Bücher auf: Wie setze ich die Theorie in technische Praxis um? Michael Hüttermann stellt Ihnen eine Infrastruktur aus nützlichen Werkzeugen vor, die Ihren kompletten Entwicklungszyklus abbilden und agiles Vorgehen konkret unterstützen. Von der Versionskontrolle über den Build-Prozess bis zu verschiedenen Testmöglichkeiten -- der größere Teil des Buchs widmet sich der technischen Umsetzung der verschiedenen Projektphasen. Moderne Werkzeuge und typische Szenarien: Die Werkzeuge, die Sie hier kennenlernen werden, sind allesamt bewährte Open Source-Tools: JUnit und TestNG für Komponententests, Selenium und WebTest sowie Jemmy für funktionale und Akzeptanztests für Java Web- und Swing-Anwendungen, Subversion, Ant, Maven und CruiseControl für Konfigurationsmanagement und Build-Prozess, ergänzende Werkzeuge wie Checkstyle, EasyMock und Trac -- mit ihnen lassen sich die Anforderungen moderner Java-Projekte effektiv erfüllen. Zahlreiche typische Szenarien spielt der Autor auch mit konkreten Code-Beispielen durch.http://www.bibsonomy.org/bibtex/27162c68423de7bc26bfd6cacb63f2149/flint63flint632008-07-07T13:47:29+02:00tool development generation software design springer freeware v0805 code paper <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>)Mon Jul 07 13:47:29 CEST 2008Informatik-Spektrum5340-352{Modellgetriebene Softwareentwicklung auf Basis von Open-Source-Werkzeugen – reif für die Praxis?}302007tool development generation software design springer freeware v0805 code paper Der Hype um die Ideen der modellgetriebenen Softwareentwicklung legt sich langsam. Vor- und Nachteile dieser neuen Vorgehensweise sind inzwischen bekannt, so dass sie durchaus eine geeignete Option für die Softwareentwicklung ist. Modellgetriebene Softwareentwicklung stellt heute keinen geheimnisvollen Ansatz mehr dar, welcher nur für akademische Forschungsprojekte geeignet ist, sondern kann auch für große, zeitkritische Projekte eingesetzt werden. MDA (Model Driven Architecture) ist die Sicht der OMG (Object Management Group) auf die Theorien der modellgetriebenen Softwareentwicklung und es gibt zahlreiche Werkzeuge, die diese OMG-Spezifikation umsetzen. Eine treibende Kraft hinter dieser Entwicklung ist die Open-Source-Gemeinde, welche Werkzeuge auf Basis der Ideen modellgetriebener Softwareentwicklung implementiert hat. Dieser Beitrag stellt einige der interessantesten Open-Source-Werkzeuge für die modellgetriebene Softwareentwicklung vor und bewertet diese bezüglich Konformität zur MDA, deren Einsatzreife sowie deren Eigenschaften und Einschränkungen.http://www.bibsonomy.org/bibtex/29c8080aa372c4ac558c11465d817499a/cschenkcschenk2008-07-02T11:02:53+02:00read:2008 kdd stumme tool knowledge toscanaj data discovery fca sourceforge paper qualitative 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>Wed Jul 02 11:02:53 CEST 2008Lyon, FranceAdvances in Formal Concept Analysis for Knowledge Discovery in Databases.July 23,1-2Toscana{J}: An Open Source Tool for Qualitative Data Analysis2002read:2008 kdd stumme tool knowledge toscanaj data discovery fca sourceforge paper qualitative concepts analysis http://www.bibsonomy.org/bibtex/2c4c50856de9c1f2e0a09252e909d512e/brazovayeyebrazovayeye2008-06-19T17:35:00+02:00GA, Intelligent generation genetic Turning, algorithms, Tool path programming, CAM, CNC <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>Thu Jun 19 17:35:00 CEST 2008Journal of intelligent manufacturingJune3331--340Intelligent Programming of {CNC} Turning Operations using Genetic Algorithm172006GA, Intelligent generation genetic Turning, algorithms, Tool path programming, CAM, CNC CAD/CAM systems are nowadays tightly connected to ensure that CAD data can be used for optimal tool path determination and generation of CNC programs for machine tools. The aim of our research is the design of a computer-aided, intelligent and genetic algorithm(GA) based programming system for CNC cutting tools selection, tool sequences planning and optimisation of cutting conditions. The first step is geometrical feature recognition and classification. On the basis of recognised features the module for GA-based determination of technological data determine cutting tools, cutting parameters (according to work piece material and cutting tool material) and detailed tool sequence planning. Material, which will be removed, is split into several cuts, each consisting of a number of basic tool movements. In the next step, GA operations such as reproduction, crossover and mutation are applied. The process of GA-based optimisation runs in cycles in which new generations of individuals are created with increased average fitness of a population. During the evaluation of calculated results (generated NC programmes) several rules and constraints like rapid and cutting tool movement, collision, clamping and minimum machining time, which represent the fitness function, were taken into account. A case study was made for the turning operation of a rotational part. The results show that the GA-based programming has a higher efficiency. The total machining time was reduced by 16percent. The demand for a high skilled worker on CAD/CAM systems and CNC machine tools was also reduced.http://www.bibsonomy.org/bibtex/2826fb1d98f730e8296a8c213dea08d97/brazovayeyebrazovayeye2008-06-19T17:35:00+02:00genetic Real-World tool detection Applications: assessment reliability, evolution, programming, Poster, factors, plagiarism source grammatical algorithms, human code <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>Thu Jun 19 17:35:00 CEST 2008LondonGECCO '07: Proceedings of the 9th annual conference on Genetic and evolutionary computation7-11 July2253--2253Automatic generation of benchmarks for plagiarism detection tools using grammatical evolution22007genetic Real-World tool detection Applications: assessment reliability, evolution, programming, Poster, factors, plagiarism source grammatical algorithms, human code 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:00activity model-checker diagrams UML LTL tool <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>Thu Jun 12 13:00:50 CEST 2008Software Engineering, IEEE Transactions onMR: vielleicht nur wegen der Behandlung von UML-Aktivitätsdiagrammen interessant.437- 447Tool support for verifying UML activity diagrams302004activity model-checker diagrams UML LTL tool We describe a tool that supports verification of workflow models specified in UML activity diagrams. The tool translates an activity diagram into an input format for a model checker according to a mathematical semantics. With the model checker, arbitrary propositional requirements can be checked against the input model. If a requirement fails to hold, an error trace is returned by the model checker, which our tool presents by highlighting a corresponding path in the activity diagram. We summarize our formal semantics, discuss the techniques used to reduce an infinite state space to a finite one, and motivate the need for strong fairness constraints to obtain realistic results. We define requirement-preserving rules for state space reduction. Finally, we illustrate the whole approach with a few example verifications.http://www.bibsonomy.org/bibtex/2ec6dacfbcd480ad2bb275fee0f31760d/yishyish2008-05-30T00:59:13+02:00tool orchestration genesis instrumentation constraints theorem-in-action mythesis of instrumental instrument scheme 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>)Fri May 30 00:59:13 CEST 2008Interacting with Computers6783-800From artifact to instrument: mathematics teaching mediated by symbolic calculators152003tool orchestration genesis instrumentation constraints theorem-in-action mythesis of instrumental instrument scheme mathematical The evolution of calculation tools available for the learning of mathematics has been quick and profound. After the first illusions on a naturally positive integration of these tools, new theoretical approaches have emerged. They take into account individual and social processes of the mathematical instrument construction from a given artifact. In this article we show how analyzing constraints of the tool allows the understanding of its influence on the knowledge construction. We propose the concept of instrumental orchestration to design different devices which may be built in class and thus strengthen the socialized part of the instrumental genesis: instrumental orchestration is defined by objectives, configuration and exploitation modes. It acts at the same time on the artifact, on the subject, on the relationship the subject has with the artifact and on the way the subject considers this relation.http://www.bibsonomy.org/bibtex/26c28b4a35bdba1c795f46d623e76890d/vzachvzach2008-05-29T09:13:41+02:00semanticWeb tool <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>Thu May 29 09:13:41 CEST 2008Journal of Web SemanticsJune2144--153Swoop: A 'Web' Ontology Editing Browser42005semanticWeb tool http://www.bibsonomy.org/bibtex/22c3dadff464471fd9491fda99916aaf6/vzachvzach2008-05-29T09:13:41+02:00brms tool <span style="color:#555555;">Kristen <a href="http://www.bibsonomy.org/author/Seer">Seer</a> </span><em>Business Rule Journal</em>(<em>2005</em>)Thu May 29 09:13:41 CEST 2008Business Rule JournalThe 2005 Business Rules Awareness Survey2005brms tool http://www.bibsonomy.org/bibtex/29c414296adbd742bbeea1e26b884fe8e/vzachvzach2008-05-29T09:13:41+02:00semanticWeb tool <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>Thu May 29 09:13:41 CEST 2008http://www.topbraidcomposer.com/(accessed 2007-02-27) TopBraid Composer2007semanticWeb tool 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>Thu May 29 09:13:41 CEST 2008http://www.\-altova.\-com/(accessed 2007-02-27)SemanticWorks 2007semanticWeb tool http://www.bibsonomy.org/bibtex/2104e54c644e19409f380e21f63bf1c42/vzachvzach2008-05-29T09:13:41+02:00tool f-logic 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>Thu May 29 09:13:41 CEST 2008http://www.ontoprise.de/(accessed 2007-02-27)Ontostudio2007tool f-logic ontoprise