Register | Log in | FAQ      [?] 

Tag tool [436 articles]

Recent papers classified by the tag tool.
  • Curriculum, Classroom Practices, and Tool Design in the Learning of Functions Through Technology-Aided Experimental Approaches
    International Journal of Computers for Mathematical Learning, Vol. 10, No. 2. (January 2005), pp. 143-189.
    by J Lagrange
    posted to computers design experimental functions learning mathematics tel tool by yish on 2005-11-03 12:56:47 as ***** along with 4 groups mathgamespatterns dtl vds-arg eni
  • Polynomial Approximation of Functions: Historical Perspective and New Tools
    International Journal of Computers for Mathematical Learning, Vol. 8, No. 3., 299.
    by I Kidron
    posted to computers design experimental functions learning mathematics tel tool by yish on 2005-11-03 13:00:02 as *** along with 4 groups mathgamespatterns dtl vds-arg eni
  • Cultural transmission of tool use in bottlenose dolphins.
    Proc Natl Acad Sci U S A, Vol. 102, No. 25. (21 June 2005), pp. 8939-8943.
    by M Krützen, J Mann, MR Heithaus, RC Connor, L Bejder, WB Sherwin
    posted to aminal cognition culture dolphins sociocognitive tool use by yish on 2005-11-29 00:02:27 as ** along with 1 person and 5 groups garyfeng ReadingLab mathgamespatterns dtl vds-arg eni
  • Evolution of transcription factor DNA binding sites.
    Gene, Vol. 347, No. 2. (14 March 2005), pp. 255-263.
    by EA Kotelnikova, VJ Makeev, MS Gelfand
    posted to mining motifs tool by yevishere on 2008-01-08 00:28:18 as ** along with 4 people and 1 group balajis gpalidwor nklee cisevol cis-regulatory-evolution
  • notes Developing a web authoring tool that promotes accessibility in children's designs
    (2003), pp. 23-30.
    by Lorna Gibson, Fay Newall, Peter Gregor
    posted to accessibility children design tool web by yardi on 2005-02-03 22:24:35 as read
  • "Blogs" and "Wikis" Are Valuable Software Tools for Communication Within Research Groups
    Artificial Organs, Vol. 29, No. 1., 82.
    by Igor M Sauer, Dominik Bialek, Ekaterina Efimova, Ruth Schwartlander, Gesine Pless, Peter Neuhaus
    posted to blog research tool wiki by xtizon on 2005-07-17 13:01:18 as **** along with 58 people and 25 groups rian75 rabourn fncll cpikas korakot Mandre jornhj magnusenger A_Olympia PatrickD rickl jomeyertons tyfn zephoria tglaisyer suzzinha jamieanderson1968 rangelic Andrea lsantos leei macartisan carlblesius rfcahill aeoluspress qiangwei greg_restall jeanwarner alexr JonathanMartel mlzafron librarygirl breyten clancy indratmo vanderwal bridgewater olbrich fab rbruin nkorf csainsbury alisonruth sachac 4vgacias wcrosbie libah the_donn jhrcoe hannakaisa mzygmunt dalloliogm ach scuffster JimFolk peefeeyatko chicoutimired Gaetan Philosophy_of_Information DocSci Blog_and_Wiki_Research mgh-lcs Autoregulation ubc-ucl Duke_PSRL digital_youth Semantic-Social-Networks hst-bmi Wikipedia utoronto-iml OpenArchive CoP_CMS ETEC533 Usable_Security SITCRC FeministRhetorics Web2 ilps splicing yeast Health_Sciences_Librarians CSU_School_of_Education Web2-0_Education
  • Epigenetic manipulation of gene expression: a toolkit for cell biologists.
    J Cell Biol, Vol. 169, No. 6. (20 June 2005), pp. 847-857.
    by RL Juliano, VR Dixit, H Kang, TY Kim, Y Miyamoto, D Xu
    posted to alterating epigenetic expression gene manipulation targeting tool by xico on 2006-03-15 00:24:03 as *** along with 2 people and 1 group RMGraze balicea WetBiology
  • Botulinum toxin potentiates cancer radiotherapy and chemotherapy.
    Clin Cancer Res, Vol. 12, No. 4. (15 February 2006), pp. 1276-1283.
    by R Ansiaux, C Baudelet, GO Cron, J Segers, C Dessy, P Martinive, J De Wever, J Verrax, V Wauthier, N Beghein, V Grégoire, P Buc Calderon, O Feron, B Gallez
    posted to pubmed tool by wlm16 on 2007-12-04 23:56:35 as **
  • Content and Criterion Validation of the Chailey Levels of Ability
    Physiotherapy, Vol. 85, No. 8. (August 1999), pp. 410-416.
    by Teresa E Pountney, Liz Cheek, Elizabeth Green, Catharine Mulcahy, Roy Nelham
    posted to assessment chailey cp print-red sitting-ability tool validation by willwade on 2006-09-14 11:33:09 as read along with 2 groups AssistiveTechnology PostureMobility
  • Developing an observational instrument to evaluate personal computer keyboarding style
    Applied Ergonomics, Vol. 36, No. 3. (May 2005), pp. 345-354.
    by Nancy A Baker, Mark S Redfern
    posted to computer development instrument keyboarding lit-review tool by willwade on 2005-08-16 07:22:03 as ** along with 2 groups AssistiveTechnology PostureMobility
  • Evaluation of the Sitting Assessment Test for Children with Neuromotor Dysfunction as a Measurement Tool in Cerebral Palsy
    Physiotherapy, Vol. 88, No. 9. (September 2002), pp. 534-541.
    by Virginia Knox
    posted to cp measurement metax-970 physio sitting-ability tool by willwade on 2006-09-14 11:19:27 as read along with 2 groups AssistiveTechnology PostureMobility
  • Developing an instrument for measuring user satisfaction with knowledge management systems
    System Sciences, 2004. Proceedings of the 37th Annual Hawaii International Conference on (2004), pp. 262-271.
    by Chorng-Shyong Ong, Jung-Yu Lai
    posted to knowledge management measuring satisfaction system tool user by wigelius on 2006-10-13 10:20:25 as *** along with 1 person and 1 group rrbarb HCI-IHTE-TUT
  • Accessibility and Usability Evaluation of MAIS Designer: A New Design Tool for Mobile Services
    Universal Access in Human-Computer Interaction. Ambient Interaction (2007), pp. 275-284.
    by Laura Burzagli, Marco Billi, Enrico Palchetti, Tiziana Catarci, Giuseppe Santucci, Enrico Bertini
    posted to usability tool service mobile by wigelius on 2008-09-19 11:52:58 as **
  • Visualizing Activity on Wikipedia with Chromograms
    Human-Computer Interaction – INTERACT 2007 (2007), pp. 272-287.
    by Martin Wattenberg, Fernanda Viégas, Katherine Hollenbach
    posted to tool visualization wikipedia by vulpeto on 2008-02-05 14:18:44 as read along with 6 people djsaab ianturton aarontaycheehsien jfelipe abellogin Torsten_Holmer
  • Multi-level annotation in MMAX
    (2003)
    by C Mller, M Strube
    posted to annotation mmax tool by veer on 2007-07-25 13:21:57 as **
  • Operational Semantics of Hybrid Systems
    Hybrid Systems: Computation and Control (2005), pp. 25-53.
    by Edward A Lee, Haiyang Zheng
    posted to hybridsystems modelinglanguage simulation tool by udraw on 2007-11-15 09:59:46 as read
  • Languages and tools for hybrid systems design
    Found. Trends Electron. Des. Autom., Vol. 1, No. 1/2. (2006), pp. 1-193.
    by Luca P Carloni, Roberto Passerone, Alessandro Pinto, Alberto L Angiovanni-Vincentelli
    posted to hybridsystems modelinglanguage simulation tool verification by udraw on 2007-11-15 10:14:29 as read
  • An assessment of the current status of algorithmic approaches to the verification of hybrid systems
    Decision and Control, 2001. Proceedings of the 40th IEEE Conference on, Vol. 3 (2001), pp. 2867-2874 vol.3.
    by BI Silva, O Stursberg, BH Krogh, S Engell
    posted to hybridsystems modelinglanguage tool verification by udraw on 2007-11-15 10:18:30 as read
  • Toucan: deciphering the cis-regulatory logic of coregulated genes.
    Nucleic Acids Res, Vol. 31, No. 6. (15 March 2003), pp. 1753-1764.
    by S Aerts, G Thijs, B Coessens, M Staes, Y Moreau, B De Moor
    posted to platform tfbs tool by troels_marstrand on 2006-01-05 14:33:36 as read along with 5 people and 1 group kaspermunch nur77 nklee yevishere xili03 Bioinformatics
  • FeatureMap3D--a tool to map protein features and sequence conservation onto homologous structures in the PDB.
    Nucleic acids research, Vol. 34, No. Web Server issue. (1 July 2006)
    by R Wernersson, K Rapacki, HH Staerfeldt, PW Sackett, A Mølgaard
    posted to struture tool viewer by tny on 2008-08-08 09:13:26 as **
  • RadCon: phylogenetic tree comparison and consensus
    Bioinformatics, Vol. 16, No. 5. (1 May 2000), pp. 486-487.
    by Joseph L Thorley, Roderic D Page
    posted to evolution tool by tny on 2007-07-04 10:45:34 as ** along with 2 people aprasad sterovetta
  • Rapid Development of Medical Imaging Tools with Open-Source Libraries.
    J Digit Imaging (7 August 2007)
    by Jesus J Caban, Alark Joshi, Paul Nagy
    posted to imaging informatics open source tool by thienanh on 2007-08-23 07:08:36 as **** along with 1 person haiyeong
  • Envisioning the Next-Generation of Functional Testing Tools
    Software, IEEE, Vol. 24, No. 3. (2007), pp. 58-66.
    by Jennitta Andrea
    posted to agile behavior-driven design eatdd tdd testing tool by teresadaniela on 2007-07-09 12:37:53 as ***** along with 3 people and 1 group lanubile marioscalas metamorphos_bari CDG
  • Using properties for uniform interaction in the Presto document system
    (1999), pp. 55-64.
    by Paul Dourish, Keith K Edwards, Anthony Lamarca, Michael Salisbury
    posted to document_management pim properties tool by technocrat on 2006-07-25 00:14:33 as *** along with 2 people vanesam indratmo
  • Presto: an experimental architecture for fluid interactive document spaces
    ACM Trans. Comput.-Hum. Interact., Vol. 6, No. 2. (June 1999), pp. 133-161.
    by Paul Dourish, Keith K Edwards, Anthony Lamarca, Michael Salisbury
    posted to document_management pim tool by technocrat on 2006-07-25 00:12:47 as *** along with 8 people and 1 group vanesam nathalie jolilius indratmo kaz24 pilho zero geeker87 TUCS-ES_Lab
  • Apes Save Tools for Future Use
    Science, Vol. 312, No. 5776. (19 May 2006), pp. 1038-1040.
    by Nicholas J Mulcahy, Josep Call
    posted to apes future planning tool by stefanherzog on 2006-07-24 13:55:45 as ** along with 5 people and 5 groups oamg garyfeng cmm nomurami shivakmr Glimcher_Lab ReadingLab VisionLab ACS-Basel FAB-lab
  • Wrapper-based evolution of legacy information systems
    ACM Trans. Softw. Eng. Methodol., Vol. 15, No. 4. (October 2006), pp. 329-359.
    by Philippe Thiran, Jean-Luc Hainaut, Geert-Jan Houben, Djamal Benslimane
    posted to tool by smogit on 2007-06-08 11:09:02 as ** along with 1 person and 1 group rblake uiuc-cs
  • A Survey of Coverage-Based Testing Tools
    The Computer Journal (25 May 2007), bxm021.
    by Qian Yang, Jenny J Li, David M Weiss
    posted to obs-3 survey testing tool by smogit on 2007-06-07 14:38:22 as ** along with 1 person duckysherwood
  • Filtering TOBIAS Combinatorial Test Suites
    Fundamental Approaches to Software Engineering, Vol. 2984/2004 (1 March 2004), pp. 281-294.
    by Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron
    posted to tool jml softnet testing vdm by sjgaller on 2007-07-11 16:06:31 as read along with 2 groups Context-driven-testers Desgin-by-Contract
  • Programming and Interface Specification Language of JIVE - Specification and Design Rationale
    (1997)
    by Peter Müller, Jörg Meyer, Arnd P Heffter
    posted to tool formalization softnet by sjgaller on 2007-06-01 18:38:18 as **** along with 2 groups Context-driven-testers Desgin-by-Contract
  • Substra: a framework for automatic generation of integration tests
    (2006), pp. 64-70.
    by Hai Yuan, Tao Xie
    posted to integration-tests softnet test-case-generation testing tool by sjgaller on 2007-06-08 15:30:04 as read along with 1 person and 2 groups cyph3r Context-driven-testers Desgin-by-Contract
  • The KeY Tool
    Software and Systems Modeling (April 2004), pp. 32-54.
    by Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H Schmitt
    posted to tool java jml key softnet verification by sjgaller on 2007-06-27 14:04:23 as ***** along with 2 groups Context-driven-testers Desgin-by-Contract
  • JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP
    Tools and Algorithms for the Construction and Analysis of Systems, Vol. 3440/2005 (2005), pp. 551-556.
    by Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting
    posted to tool jmltt softnet test-case-generation by sjgaller on 2007-06-26 13:25:40 as read along with 2 groups Context-driven-testers Desgin-by-Contract
  • Tool support for randomized unit testing
    (2006), pp. 36-45.
    by James H Andrews, Susmita Haldar, Yong Lei, Felix
    posted to tool softnet testing by sjgaller on 2007-06-27 15:47:52 as ***** along with 2 groups Context-driven-testers Desgin-by-Contract
  • Automated software test data generation
    Transactions on Software Engineering, Vol. 16, No. 8. (1990), pp. 870-879.
    by B Korel
    posted to tool softnet test-data-generation testgen by sjgaller on 2007-11-23 06:55:42 as read along with 2 people lcigler joaoarthurbm
  • Jartege: A Tool for Random Generation of Unit Tests for Java Classes
    Quality of Software Architectures and Software Quality, Vol. 3712/2005 (September 2005), pp. 242-256.
    by Catherine Oriat
    posted to tool java softnet statistics test-case-generation by sjgaller on 2007-06-27 15:57:50 as read along with 2 groups Context-driven-testers Desgin-by-Contract
  • iContract-the Java design by Contract tool
    Technology of Object-Oriented Languages, 1998. TOOLS 26. Proceedings (1998), pp. 295-307.
    by R Kramer
    posted to tool design-by-contract java softnet by sjgaller on 2007-06-01 17:49:07 as read along with 2 groups Context-driven-testers Desgin-by-Contract
  • Extended static checking for Java
    Vol. 37, No. 5. (2002), pp. 234-245.
    by C Flanagan, K Leino, M Lillibridge, G Nelson, J Saxe, R Stata
    posted to tool softnet verification by sjgaller on 2007-06-01 18:50:46 as ** along with 2 people and 2 groups amorkan srccheck Context-driven-testers Desgin-by-Contract
  • jMoped: A Java Bytecode Checker Based on Moped
    Tools and Algorithms for the Construction and Analysis of Systems, Vol. 3440/2005 (February 2005), pp. 541-545.
    by Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza
    posted to tool model-checker softnet by sjgaller on 2007-06-22 08:27:06 as ** along with 2 groups Context-driven-testers Desgin-by-Contract
  • Tools for Test Case Generation
    Vol. 3472 (2004), pp. 391-438.
    by Axel Belinfante, Lars Frantzen, Christian Schallhart
    edited by Manfred Broy, Bengt Jonsson, Joost P Katoen, Martin Leucker, Alexander Pretschner, Manfred Broy, Bengt Jonsson, Joost P Katoen, Martin Leucker, Alexander Pretschner
    posted to black-box-testing overview reading-group-testing softnet survey testing tool by sjgaller on 2008-04-03 08:03:59 as read
  • Jass - Java with assertions
    Electronic Notes in Theoretical Computer Science, Vol. 55, No. 2. (2001), pp. 1-15.
    by D Bartetzko, C Fischer, M Moller, H Wehrheim
    posted to tool design-by-contract java softnet by sjgaller on 2007-06-01 17:33:38 as read along with 1 person and 2 groups pdagarwal Context-driven-testers Desgin-by-Contract
  • Comparing TorX, Autolink, TGV and UIO Test Algorithms
    (2001), pp. 379-402.
    by N Goga
    posted to reading-group-testing softnet survey testing tool by sjgaller on 2008-04-03 07:58:11 as *****
  • Bandera: extracting finite-state models from Java source code
    Software Engineering, 2000. Proceedings of the 2000 International Conference on (2000), pp. 439-448.
    by JC Corbett, MB Dwyer, J Hatcliff, S Laubach, CS Pasareanu, Robby, Hongjun Zheng
    posted to java model-checker softnet temporal-logic tool by sjgaller on 2008-02-14 15:53:42 as *** along with 1 person bfraser
  • Larch: Languages and Tools for Formal
    by Specification G And
    posted to tool formalization languages softnet by sjgaller on 2007-06-01 17:53:52 as **** along with 2 groups Context-driven-testers Desgin-by-Contract
  • An overview of JML tools and applications
    International Journal on Software Tools for Technology Transfer (STTT), Vol. 7, No. 3. (June 2005), pp. 212-232.
    by L Burdy, Y Cheon, D Cok, M Ernst, J Kiniry, G Leavens, K Leino, E Poll
    posted to jml overview softnet tool application by sjgaller on 2007-05-01 15:23:40 as read along with 2 groups Context-driven-testers Desgin-by-Contract
  • Houdini, an Annotation Assistant for ESC/Java
    (2001), pp. 500-517.
    by Cormac Flanagan, Rustan
    posted to tool softnet by sjgaller on 2007-06-28 16:45:41 as ** along with 2 groups Context-driven-testers Desgin-by-Contract
  • Dynamically Discovering Likely Program Invariants to Support Program Evolution
    (1999), pp. 213-224.
    by Michael D Ernst, Jake Cockrell, William G Griswold, David Notkin
    posted to daikon dynamic-analysis formalization softnet specification-generation tool by sjgaller on 2007-06-08 10:43:21 as read along with 1 person and 2 groups amorkan Context-driven-testers Desgin-by-Contract
  • jContractor: A Reflective Java Library to Support Design by Contract
    (1999), pp. 19-21.
    by Murat Karaorman, Urs Holzle, John Bruno
    posted to tool design-by-contract java softnet by sjgaller on 2007-06-01 18:26:23 as read along with 2 groups Context-driven-testers Desgin-by-Contract
  • From daikon to agitator: lessons and challenges in building a commercial tool for developer testing
    (2006), pp. 169-180.
    by Marat Boshernitsan, Roongko Doong, Alberto Savoia
    posted to tool daikon softnet testing by sjgaller on 2007-07-10 11:56:36 as read along with 2 groups Context-driven-testers Desgin-by-Contract
  • Java Applet Correctness: a Developer-Oriented Approach
    Vol. 2805/2003 (September 2003)
    by L Burdy, A Requet, J Lanet
    posted to tool b java softnet verification by sjgaller on 2007-06-01 18:49:08 as read along with 2 groups Context-driven-testers Desgin-by-Contract
    • Note: You may cite this page as: http://www.citeulike.org/tag/tool

    Result page: 1 2 3 4 5 6 7 8 9 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.