@misc{doxygen, title = {Doxygen: Source code documentation generator tool}, author = {Dimitri van Heesch}, year = 2008, url = {http://www.stack.nl/~dimitri/doxygen/}, biburl = {http://www.bibsonomy.org/bibtex/2300eea5b034bb2ce30575398eb90d3fc/gron}, keywords = {Callgraphs Tool Visualisation VM} } @inproceedings{Gutierrez2007, title = {Using use case scenarios and operational variables for generating test objectives}, author = {Javier Jes\'{u}s Guti\'{e}rrez and Mar\'{\i}a Jos\'{e} Escalona and Manuel Mej\'{\i}as and Arturo H. Zenteno}, booktitle = {Proceedings of the 5th Workshop on Systems Testing and Validation (Stv 2007)}, year = 2007, description = {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.html}, abstract = {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.}, biburl = {http://www.bibsonomy.org/bibtex/248e26fc269fe20c4d008340183dbc625/ist_spl}, keywords = {tool requirements category-partition systemtest Use-Cases activity diagrams testing scenario UML} } @article{corcho2003mta, title = {{Methodologies, tools and languages for building ontologies. Where is their meeting point?}}, author = {O. Corcho and M. Fern{\'a}ndez-L{\'o}pez and A. G{\'o}mez-P{\'e}rez}, journal = {Data \& Knowledge Engineering}, number = 1, pages = {41--64}, publisher = {Elsevier}, volume = 46, year = 2003, biburl = {http://www.bibsonomy.org/bibtex/226764e8a5b5ed620f8be58235e41e7ac/franzkurfess}, keywords = {engineering ontology tool} } @inproceedings{Murthy2006, title = {Test ready UML statechart models}, address = {New York, NY, USA}, author = {P. V.R. Murthy and P. C. Anitha and M. Mahesh and Rajesh Subramanyan}, booktitle = {SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools}, pages = {75--82}, publisher = {ACM}, year = 2006, url = {http://portal.acm.org/citation.cfm?id=1138953.1138968}, location = {Shanghai, China}, isbn = {1-59593-394-8}, doi = {http://doi.acm.org/10.1145/1138953.1138968}, description = {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...}, abstract = {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.}, biburl = {http://www.bibsonomy.org/bibtex/2c83e15c4de6ad694daa22c70b911a167/ist_spl}, keywords = {testing based UML feasible tool model category-partition algorithms sensitization statecharts path} } @inproceedings{Halaschek-Wiener2005Photostuff, title = {Photostuff - an image annotation tool for the semantic web}, author = {Christian Halaschek-Wiener and Jennifer Golbeck and Andrew Schain and Michael Grove and Bijan Parsia and Jim Hendler}, booktitle = {4th International Semantic Web Conference - Poster Paper}, year = 2005, abstract = {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.}, biburl = {http://www.bibsonomy.org/bibtex/2e1faf1b1f5e9430ff7db436994da4cd8/casi}, keywords = {annotation image kspace-book-annotation-tools tool manual} } @inproceedings{Friske2007, title = {Generierung von UML-Modellen aus formalisierten Anwendungsfallbeschreibungen}, author = {Mario Friske and Holger Schlingloff}, booktitle = {Tagungsband Dagstuhl-Workshop MBEES: Model Based Engineering of Embedded Systems III}, editor = {M. Conrad and H. Giese and B. Rumpe and B. Sch\"{a}tz}, month = {January}, number = {2005-01}, organization = {TU Braunschweig}, series = {Informatik-Bericht}, year = 2007, description = {MR: Entwicklung eines Werkzeugs zur automatischen Generierung von Aktivitätsdiagrammen aus Use-Cases.}, abstract = {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.}, biburl = {http://www.bibsonomy.org/bibtex/20f54cb7b5d54bf949000a2878214f2d0/ist_spl}, keywords = {activity diagrams tool UML generation transformation Use-Cases} } @article{Handschuh2003CREAM, title = {CREAM - Creating Metadata for the Semantic Web}, author = {Siegfried Handschuh and Steffen Staab}, journal = {Computer Networks}, note = {Elsevier}, pages = {579-598}, volume = 42, year = 2003, biburl = {http://www.bibsonomy.org/bibtex/27a95282114d6668ac170926c7c395835/casi}, keywords = {tool kspace-book-annotation-tools cream annotation web semantic} } @article{Frost07IEEEsoftware, title = {Jazz and the {Eclipse} Way of Collaboration}, author = {Randall Frost}, journal = {IEEE Software}, number = 6, pages = {114-117}, volume = 24, year = 2007, url = {http://dx.doi.org/10.1109/MS.2007.170}, timestamp = {2008.01.23}, issn = {0740-7459}, file = {IEEE Digital Library:2007/Frost07IEEEsoftware.pdf:PDF}, owner = {flint}, abstract = {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.}, biburl = {http://www.bibsonomy.org/bibtex/214068eaacd60b32016fef1999a84a8f5/flint63}, keywords = {team tool ieee software v0805 eclipse development paper} } @book{Huettermann07, title = {{Agile Java-Entwicklung in der Praxis}}, address = {Köln}, author = {Michael Hüttermann}, publisher = {O'Reilly}, year = 2007, timestamp = {2008.02}, file = {Amazon Search inside:http\://www.amazon.de/gp/reader/3897214822/:URL}, isbn = {3-897-21482-2}, owner = {flint}, abstract = {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.}, biburl = {http://www.bibsonomy.org/bibtex/2308794a16b2fab7c2498b4ea7ed55bb4/flint63}, keywords = {junit maven java process book web revision application ant build software v0805 agile development svn trac tool test} } @article{WannerSiegl07InformatikSpektrum, title = {{Modellgetriebene Softwareentwicklung auf Basis von Open-Source-Werkzeugen – reif für die Praxis?}}, author = {Gerhard Wanner and Stefan Siegl}, journal = {Informatik-Spektrum}, number = 5, pages = {340-352}, volume = 30, year = 2007, url = {http://dx.doi.org/10.1007/s00287-007-0175-3}, timestamp = {2008.02.05}, issn = {0170-6012}, file = {SpringerLink:2007/WannerSiegl07InformatikSpektrum.pdf:PDF}, owner = {flint}, abstract = {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.}, biburl = {http://www.bibsonomy.org/bibtex/27162c68423de7bc26bfd6cacb63f2149/flint63}, keywords = {v0805 paper springer generation freeware design code software tool development} } @inproceedings{becker02toscana, title = {Toscana{J}: An Open Source Tool for Qualitative Data Analysis}, address = {Lyon, France}, author = {P. Becker and J. Hereth and G. Stumme}, booktitle = {Advances in Formal Concept Analysis for Knowledge Discovery in Databases.}, editor = {V. Duquenne and B. Ganter and M. Liquiere and E. M. Nguifo and G. Stumme}, month = {July 23,}, pages = {1-2}, year = 2002, url = {http://www.kde.cs.uni-kassel.de/stumme/papers/2002/FCAKDD02.pdf}, comment = {alpha}, biburl = {http://www.bibsonomy.org/bibtex/29c8080aa372c4ac558c11465d817499a/cschenk}, keywords = {qualitative toscanaj discovery paper kdd concepts read:2008 stumme sourceforge data tool analysis fca knowledge} } @article{Balic:2006:JIM, title = {Intelligent Programming of {CNC} Turning Operations using Genetic Algorithm}, author = {Joze Balic and Miha Kovacic and Bostjan Vaupotic}, journal = {Journal of intelligent manufacturing}, month = {June}, number = 3, pages = {331--340}, volume = 17, year = 2006, issn = {0956-5515}, doi = {doi:10.1007/s10845-005-0001-1}, abstract = {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.}, biburl = {http://www.bibsonomy.org/bibtex/2c4c50856de9c1f2e0a09252e909d512e/brazovayeye}, keywords = {programming, CNC CAM, genetic Tool generation Intelligent GA, path algorithms, Turning,} } @inproceedings{1277388, title = {Automatic generation of benchmarks for plagiarism detection tools using grammatical evolution}, address = {London}, author = {Manuel Cebrian and Manuel Alfonseca and Alfonso Ortega}, booktitle = {GECCO '07: Proceedings of the 9th annual conference on Genetic and evolutionary computation}, editor = {Dirk Thierens and Hans-Georg Beyer and Josh Bongard and Jurgen Branke and John Andrew Clark and Dave Cliff and Clare Bates Congdon and Kalyanmoy Deb and Benjamin Doerr and Tim Kovacs and Sanjeev Kumar and Julian F. Miller and Jason Moore and Frank Neumann and Martin Pelikan and Riccardo Poli and Kumara Sastry and Kenneth Owen Stanley and Thomas Stutzle and Richard A Watson and Ingo Wegener}, month = {7-11 July}, pages = {2253--2253}, publisher = {ACM Press}, volume = 2, year = 2007, url = {http://doi.acm.org/10.1145/1276958.1277388}, address = {New York, NY, USA}, organisation = {ACM SIGEVO (formerly ISGEC)}, biburl = {http://www.bibsonomy.org/bibtex/2826fb1d98f730e8296a8c213dea08d97/brazovayeye}, keywords = {code human genetic grammatical Applications: assessment algorithms, plagiarism reliability, Real-World evolution, factors, source programming, Poster, detection tool} } @article{Eshuis2004, title = {Tool support for verifying UML activity diagrams}, author = {R. Eshuis and R. Wieringa}, booktitle = {Software Engineering, IEEE Transactions on}, note = {MR: vielleicht nur wegen der Behandlung von UML-Aktivitätsdiagrammen interessant.}, pages = {437- 447}, volume = 30, year = 2004, url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1318605&isnumber=29218&fromcon}, issn = {0098-5589}, doi = {10.1109/TSE.2004.33}, description = {Welcome to IEEE Xplore 2.0: Tool support for verifying UML activity diagrams}, abstract = {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.}, biburl = {http://www.bibsonomy.org/bibtex/21c364961b0a82684d9a8278844d4ddb2/ist_spl}, keywords = {diagrams LTL model-checker activity UML tool} } @article{Trouche03, title = {From artifact to instrument: mathematics teaching mediated by symbolic calculators}, author = {Luc Trouche}, journal = {Interacting with Computers}, number = 6, pages = {783-800}, volume = 15, year = 2003, id = {404673}, priority = {2}, abstract = {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.}, biburl = {http://www.bibsonomy.org/bibtex/2ec6dacfbcd480ad2bb275fee0f31760d/yish}, keywords = {theorem-in-action mythesis orchestration genesis tool constraints scheme of instrumental instrumentation mathematical instrument} } @article{swoop, title = {Swoop: A 'Web' Ontology Editing Browser}, author = {A. Kalyanput and B. Parsia and E. Sirin and B.C. Grau and J. Hendler}, journal = {Journal of Web Semantics}, month = {June}, number = 2, pages = {144--153}, volume = 4, year = 2005, biburl = {http://www.bibsonomy.org/bibtex/26c28b4a35bdba1c795f46d623e76890d/vzach}, keywords = {tool semanticWeb} } @article{seer05, title = {The 2005 Business Rules Awareness Survey}, author = {Kristen Seer}, journal = {Business Rule Journal}, year = 2005, biburl = {http://www.bibsonomy.org/bibtex/22c3dadff464471fd9491fda99916aaf6/vzach}, keywords = {tool brms} } @misc{topBraid, title = { TopBraid Composer}, author = { TopQuadrant}, howpublished = {http://www.topbraidcomposer.com/}, note = {(accessed 2007-02-27)}, year = 2007, biburl = {http://www.bibsonomy.org/bibtex/29c414296adbd742bbeea1e26b884fe8e/vzach}, keywords = {tool semanticWeb} } @misc{semanticWorks, title = {SemanticWorks }, author = { Altova}, howpublished = {http://www.\-altova.\-com/}, note = {(accessed 2007-02-27)}, year = 2007, biburl = {http://www.bibsonomy.org/bibtex/25de67c753e8cae3b3f72b75c7c750311/vzach}, keywords = {tool semanticWeb} } @misc{ontostudio, title = {Ontostudio}, author = { Ontoprise}, howpublished = {http://www.ontoprise.de/}, note = {(accessed 2007-02-27)}, year = 2007, biburl = {http://www.bibsonomy.org/bibtex/2104e54c644e19409f380e21f63bf1c42/vzach}, keywords = {ontoprise f-logic tool} }