Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

andymaule library [48 articles]

Статьи, недавно добавленные в библиотеку andymaule .
  • Dimensions of precision in reference analysis of object-oriented languages
    (2003)
    by B Ryder
    posted to no-tag by andymaule on 2007-09-04 16:27:14 as read
  • Precise analysis of string expressions
    (2003)
    by A Christensen, A Mller, M Schwartzbach
    posted to no-tag by andymaule on 2007-03-19 21:59:25 as **
  • Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
    (1977), pp. 238-252.
    by Patrick Cousot, Radhia Cousot
    posted to static points interpretation fixed analysis abstract by andymaule on 2007-01-31 13:22:23 as *** along with 6 people and 1 group eaubin pganty srccheck pedagand _Anne_ zuleger groupverif
  • Principles of Program Analysis
    (07 December 2004)
    by Flemming Nielson, Hanne R Nielson, Chris Hankin
    posted to analysis program by andymaule on 2006-07-17 12:16:26 as **** along with 1 person srccheck
  • A family of test adequacy criteria for database-driven applications
    (2003), pp. 98-107.
    by Gregory M Kapfhammer, Mary L Soffa
    posted to no-tag by andymaule on 2006-07-10 14:04:16 as *****
  • ToMAS: A System for Adapting Mappings while Schemas Evolve
    (2004)
    by Yannis Velegrakis, Ren&\#233;e J Miller, Lucian Popa, John Mylopoulos
    posted to no-tag by andymaule on 2006-06-13 17:26:36 as read
  • Visualizing impacts of database schema changes - A controlled experiment
    Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on (2001), pp. 358-365.
    by A Karahasanovic, DIK Sjoberg
    posted to no-tag by andymaule on 2006-06-13 11:47:33 as read
  • Programming Languages & Databases: What’s the Problem?
    (2005)
    by William R Cook, Ali H Ibrahim
    posted to databases languages programming by andymaule on 2006-06-13 10:44:01 as read
  • Static Checking of Dynamically Generated Queries in Database Applications
    (2004), pp. 645-654.
    by Carl Gould, Zhendong Su, Premkumar Devanbu
    posted to no-tag by andymaule on 2006-06-13 10:17:50 as read along with 2 people keigoi zuleger
  • Points-To Analysis for Java using Annotated Constraints
    (2001), pp. 43-55.
    by Atanas Rountev, Ana Milanova, Barbara G Ryder
    posted to no-tag by andymaule on 2006-06-12 16:28:22 as * along with 1 person schuh
  • Extending and evaluating flow-insenstitive and context-insensitive points-to analyses for Java
    (2001), pp. 73-79.
    by Donglin Liang, Maikel Pennings, Mary J Harrold
    posted to no-tag by andymaule on 2006-06-12 16:27:53 as ** along with 1 person plaugg
  • Efficient points-to analysis for whole-program analysis
    Vol. 24, No. 6. (November 1999), pp. 199-215.
    by Donglin Liang, Mary J Harrold
    posted to no-tag by andymaule on 2006-06-12 16:24:15 as * along with 1 person schuh
  • Points-to analysis for Java using annotated constraints
    Vol. 36, No. 11. (November 2001), pp. 43-55.
    by Atanas Rountev, Ana Milanova, Barbara G Ryder
    posted to analysis points to by andymaule on 2006-06-12 16:10:25 as * along with 1 person bunge
  • BioJava: open source components for bioinformatics
    SIGBIO Newsl., Vol. 20, No. 2. (August 2000), pp. 10-12.
    by Matthew Pocock, Thomas Down, Tim Hubbard
    posted to no-tag by andymaule on 2006-06-12 16:09:31 as * along with 1 person jmeppley
  • The Ensembl genome database project
    Nucleic Acids Research, Vol. 30, No. 1. (2002), pp. 38-41.
    by T Hubbard
    posted to bibtex-import by andymaule on 2006-06-12 16:07:11 as *
  • Optimizing Java Bytecode Using the Soot Framework: Is It Feasible?
    (2000), pp. 18-34.
    by Raja V Rai, Etienne Gagnon, Laurie J Hendren, Patrick Lam, Patrice Pominville, Vijay Sundaresan
    posted to soot by andymaule on 2006-06-12 16:06:13 as *
  • XML Path Language (XPath) Version 1.0
    No. http://www.w3.org/TR/1999/REC-xpath-19991116. (November 1999)
    by J Clark, S Derose
    posted to xpath by andymaule on 2006-06-12 16:01:53 as *
  • Efficient relational calculation for software analysis
    Software Engineering, IEEE Transactions on, Vol. 31, No. 2. (2005), pp. 137-149.
    by D Beyer, A Noack, C Lewerentz
    posted to crocopat by andymaule on 2006-06-12 16:00:32 as read
  • Rigi Users's manual, Version 5.4.4
    (1998)
    by K Wong
    posted to dependency model rigi by andymaule on 2006-06-12 15:58:06 as *
  • Specifications, not Meta-Models
    (2006)
    by J Skene, W Emmerich
    posted to mda by andymaule on 2006-06-12 15:56:02 as *
  • Refactoring Databases : Evolutionary Database Design (Addison Wesley Signature Series)
    (03 March 2006)
    by Scott W Ambler, Pramodkumar J Sadalage
    posted to database refactoring seminal by andymaule on 2006-06-12 15:50:31 as read along with 1 person BastianSpanneberg
  • Static checking of dynamically generated queries in database applications
    Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on (2004), pp. 645-654.
    by C Gould, Z Su, P Devanbu
    posted to checking database static type by andymaule on 2006-06-12 15:49:13 as read along with 2 people keigoi neilc
  • A relational model of data for large shared data banks
    Commun. ACM, Vol. 13, No. 6. (June 1970), pp. 377-387.
    by EF Codd
    posted to databases relational seminal by andymaule on 2006-06-12 15:43:45 as * along with 7 people dullhunk pilho stephane-jean allancho ernstbrunner iraklis aanthon2
  • Modular set-based analysis from contracts
    Vol. 41, No. 1. (January 2006), pp. 218-231.
    by Philippe Meunier, Robert B Findler, Matthias Felleisen
    posted to analysis lisp scheme static by andymaule on 2006-03-01 10:22:57 as *** along with 2 people ryanc KarlKlose
  • Improving the static analysis of embedded languages via partial evaluation
    Vol. 39, No. 9. (September 2004), pp. 16-27.
    by David Herman, Philippe Meunier
    posted to analysis lisp static by andymaule on 2006-03-01 10:07:41 as **** along with 9 people and 1 group samth dherman jacob JacquesC hamish JeffreyPalmer dsilva ryanc KarlKlose NU-PRL
  • Supporting Application Consistency in Evolving Object-Oriented Systems by Impact Analysis and Visualisation
    (2002)
    by A Karahasanovic
    posted to bibtex-import by andymaule on 2006-02-15 11:30:17 as read
  • A Change Propagation Model and Platform for Multi-Database Applications
    ICSM (2001)
    by L Deruelle, M Bouneffa, N Melab, H Basson, Li
    posted to bibtex-import by andymaule on 2005-12-19 12:15:48 as ****
  • Testing database transactions with AGENDA
    (2005), pp. 78-87.
    by Yuetang Deng, Phyllis Frankl, David Chays
    posted to no-tag by andymaule on 2005-12-09 12:13:28 as *****
  • A safe regression test selection technique for database-driven applications
    21st IEEE International Conference on Software Maintenance (ICSM 2005) (September 2005)
    by David Willmor, Suzanne Embury
    posted to no-tag by andymaule on 2005-12-08 12:27:58 as *****
  • Advanced Topics in Database Research, Vol. 3
    (2004)
    edited by Keng Siau
    posted to bibtex-import by andymaule on 2005-12-08 11:27:33 as **
  • Regression testing of database applications
    (2001), pp. 285-289.
    by Ramzi A Haraty, Nash'at Mansour, Bassel Daou
    posted to analysis database impact regression testing by andymaule on 2005-12-08 10:10:02 as ***** along with 2 people V keigoi
  • A safe, efficient regression test selection technique
    ACM Trans. Softw. Eng. Methodol., Vol. 6, No. 2. (April 1997), pp. 173-210.
    by Gregg Rothermel, Mary J Harrold
    posted to no-tag by andymaule on 2005-12-06 11:27:31 as ****
  • Chianti: a tool for change impact analysis of java programs
    Vol. 39, No. 10. (October 2004), pp. 432-448.
    by Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G Ryder, Ophelia Chesley
    posted to no-tag by andymaule on 2005-12-05 10:51:57 as *****
  • Structured Design
    u> IBM System Journal</u (1974)
    by G Myers, WP Stevens, LL Constantine
    posted to bibtex-import by andymaule on 2005-12-01 15:45:47 as *
  • Some stability measures for software maintenance
    Computer Software and Applications Conference, 1979. COMPSAC \ldots (1979)
    by SS Yau, JS Collofello
    posted to bibtex-import by andymaule on 2005-12-01 15:41:40 as *
  • A checklist for potential side effects of a maintenance change
    Techniques of Program and System Maintenance (1981)
    by DP Freedman, GM Weinberg
    posted to bibtex-import by andymaule on 2005-12-01 15:34:48 as *
  • Impact analysis-Towards a framework for comparison
    Software Maintenance ,1993. CSM-93, Proceedings., Conference on (1993), pp. 292-301.
    by RS Arnold, SA Bohner
    posted to no-tag by andymaule on 2005-11-30 15:01:44 as ****
  • The essence of data access in C
    by The P Is
    posted to no-tag by andymaule on 2005-11-24 11:52:42 as read
  • Achievements and Weaknesses of Object-Oriented Databases
    Journal of Object Technology, July/August (2003)
    by S Bagui
    posted to database object oriented by andymaule on 2005-11-22 14:13:42 as read
  • Semt-a tool for finding impacts of schema changes
    proceedings of Nordic Workshop on Programming Environment (2000)
    by A Karahasanovic
    posted to no-tag by andymaule on 2005-11-22 14:10:33 as read
  • Preserving mapping consistency under schema changes
    The VLDB Journal, Vol. 13, No. 3. (September 2004), pp. 274-293.
    by Yannis Velegrakis, J Miller, Lucian Popa
    posted to no-tag by andymaule on 2005-11-22 14:02:48 as read
  • Using Persistence Technology to Control Schema Evolution
    (1994), pp. 441-446.
    by RCH Connor, QI Cutts, GNC Kirby, R Morrison
    edited by E Deaton, D Êoppenheim, J Êurban, H Êberghel
    posted to no-tag by andymaule on 2005-11-22 13:41:52 as read
  • Safe query objects: statically typed objects as remotely executable queries
    (2005), pp. 97-106.
    by William R Cook, Siddhartha Rai
    posted to no-tag by andymaule on 2005-11-22 13:38:45 as read along with 1 person stagediver
  • Using an SQL coverage measurement for testing database applications
    SIGSOFT Softw. Eng. Notes, Vol. 29, No. 6. (November 2004), pp. 253-262.
    by Mar&\#237;a J Su&\#225;rez-Cabal, Javier Tuya
    posted to sql testing by andymaule on 2005-11-22 13:37:00 as read along with 1 person network01
  • Quantifying Schema Evolution
    by Dag Sjøberg
    posted to evolution experiments schema software by andymaule on 2005-11-22 13:23:41 as read
  • A Survey of Controlled Experiments in Software Engineering
    Software Engineering, IEEE Transactions on, Vol. 31, No. 9. (2005), pp. 733-753.
    by DIK Sjoberg, JE Hannay, O Hansen, VB Kampenes, A Karahasanovic, N Liborg, AC Rekdal
    posted to no-tag by andymaule on 2005-11-22 13:22:29 as read along with 10 people neilernst asilva hawkestein marcia aku8000 meeksee gameweld smogit metamorphos_bari klinsz
  • Data integration: a theoretical perspective
    (2002), pp. 233-246.
    by Maurizio Lenzerini
    posted to no-tag by andymaule on 2005-11-22 13:21:47 as read along with 8 people vtanas lei masteraka brunoDE anonyox fsautomata dansullivanblk fryanpan
  • Data Exchange: Semantics and Query Answering
    (2002)
    by R Fagin, P Kolaitis, R Miller, L Popa
    posted to data exchange formal semantics by andymaule on 2005-11-22 13:17:50 as **** along with 1 person and 1 group mahler Rightscom
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/andymaule

    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.