「印刷必要論文」の編集履歴（バックアップ）一覧に戻る
印刷必要論文 - (2009/07/18 (土) 10:11:03) のソース
#contents
-[[Towards an Ontological Foundations for Services Science: the Legal Perspective>http://www.loa-cnr.it/Publications.html]], Approaches to Legal Ontologies 2009
-[[Remote Batch Invocation for Compositional Object Services>http://people.cs.vt.edu/~tilevich/publications.htm]], ECOOP 2009
-[[Ontology-Driven Visualization of Architectural Design Decisions >http://www.win.tue.nl/~alext/ALEX/PAPERS/papers.html]], WICSA 2009
-[[Criteria for the Evaluation of Implemented Architectures >http://swerl.tudelft.nl/bin/view/Main/TechnicalReports]], TR 2009/ICSM 2009
-[[Silver: an Extensible Attribute Grammar System>http://www.umsec.umn.edu/publications]], Science of Computer Programming 2009
-[[MSeqGen: Object-Oriented Unit-Test Generation via Mining Source Code>http://people.engr.ncsu.edu/txie/publications.htm]], ESE/FSE 2009
-[[Using Grammarware Languages To Define Operational Semantics of Modelled Languages>http://www2.informatik.hu-berlin.de/~sadilek/Homepage/Publications.html]], Tools 2009
-[[Macro-level software evolution: a case study of a large software compilation>http://www.cyrius.com/publications/]], Empirical Software Engineering, 2009
-[[The Business Process Modeling Notation>http://is.tm.tue.nl/staff/rdijkman/papers.html>]], A State of the Art Open Source BPM Environment, 2009
-[[Crosscutting Patterns and Design Stability: An Exploratory Analysis>http://www.lancs.ac.uk/postgrad/figueire/publications.htm]], ICPC 2009
-[[Modelling Imperfect Product Line Requirements with Fuzzy Feature Diagrams>http://eprints.eemcs.utwente.nl/15041/]], Third International Workshop on Variability Modelling of Software-intensive Systems 2009
-[[Experimental evaluation of a tool for the verification and transformation of source code in event-driven systems>http://eprints.eemcs.utwente.nl/15346/]], Empirical Software Engineering 2009
-[[Organizational volatility and developer productivity>http://mockus.us/bib.html]], ICSE Workshop on Socio-Technical Congruence 2009
-[[Succession: Measuring transfer of code and developer productivity>http://mockus.us/bib.html]], ICSE 2009
-[[Studying Co-evolution of Production & Test Code Using Association Rule Mining >http://swerl.tudelft.nl/bin/view/Main/TechnicalReports]], TR 2009
-[[Software Quality Models: Purposes, Usage Scenarios and Requirements>http://www4.informatik.tu-muenchen.de/~wagnerst/public.html]], WoSQ 2009
-[[Safe and Timely Dynamic Updates for Multi-threaded Programs>http://www.cs.umd.edu/~mwh/papers/neamtiu09stump.html]], PLDI 2009
-[[Automated Verification of Design Patterns with LePUS3>http://www.eden-study.org/publications.html]], 2009
-[[Automated Reasoning for Multi-step Software Product-line Configuration Problems>http://www.cs.wustl.edu/~schmidt/resume.html]], SPLC 2009
-[[Stepping Stones over the Refactoring Rubicon>http://progtools.comlab.ox.ac.uk/projects/refactoring/steppingstones]], ECOOP 2009
-[[Failboxes: Provably safe exception handling>http://distrinet.cs.kuleuven.be/people/showMember.do?memberID=u0022525]], ECOOP 2009
-[[Extreme Product Line Engineering: Managing Variability & Traceability via Executable Specifications>http://ebe.cpsc.ucalgary.ca/ebe/index.php/Publications/Home]], Agile 2009
-[[Domain-Specific Languages in Practice: A User Study on the Success Factors>http://swerl.tudelft.nl/bin/view/Main/TechnicalReports]], TR 2009
-[[Program Metamorphosis>http://www-plan.cs.colorado.edu/diwan/recentpapers.htm]], ECOOP 2009
-[[COPE: A Language for the Coupled Evolution of Metamodels and Models>http://www.info.fundp.ac.be/mccm/2008/?page_id=23]], MCCM 2008
-[[On Integrating OCL and Triple Graph Grammars>http://www.info.fundp.ac.be/mccm/2008/?page_id=23]], MCCM 2008
-[[Retainment Rules for Model Transformations>http://www.info.fundp.ac.be/mccm/2008/?page_id=23]], MCCM 2008
-[[Concurrent Programming Paradigms, A Comparison in Scala>http://infoscience.epfl.ch/record/136824]], TR 2009
-[[Secure Design Patterns>http://www.sei.cmu.edu/publications/documents/09.reports/09tr010.html]], TR 2009
-[[Software Product Lines: Report of the 2009 U.S. Army Software Product Line Workshop>http://www.sei.cmu.edu/publications/documents/09.reports/09tr012.html]], TR 2009
-[[An Exploratory Study of the Impact of Antipatterns on Software Changeability>http://www.yann-gael.gueheneuc.net/Work/Publications/Year/2009.php]], TR 2009
-[[Playing Roles in Design Patterns: An Empirical Descriptive and Analytic Study>http://www.yann-gael.gueheneuc.net/Work/Publications/Year/2009.php]], TR 2009
-[[WS-OBJECTS: Extending Service-Oriented Architecture with Hierarchical Composition of Client-Side Asynchronous Event-Processing Logic>http://www.cs.cornell.edu/projects/quicksilver/pubs.html]], ICWS 2009
-[[A Goal Modeling Framework for Self-Contextualizable Software>http://disi.unitn.it/~ali/]], EMMSAD09
-[[From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility >http://www.fernuni-hagen.de/ps/veroeffentlichungen/59667.shtml]], ECOOP 2009
-[[Model Superimposition in Software Product Lines>http://www.infosun.fim.uni-passau.de/cl/staff/apel/all_chronological.php]], ICMT 2009
-[[Bidirectional Transformations: A Cross-Discipline Perspective>http://www.uni-koblenz.de/~laemmel/bxReport/]], ICMT 2009
-[[ Managing Variability in Process-Aware Information Systems>http://www.marcellolarosa.com/publications.html]], PhD Thesis 2009
-[[Edge Mashups for Service-Oriented Collaboration>http://www.cs.cornell.edu/projects/quicksilver/pubs.html]], IEEE Computer 2009
-[[Towards A Cloud Computing Research Agenda>http://www.cs.cornell.edu/projects/quicksilver/pubs.html]], SIGACT News Distributed Computing Column 2009
-[[Road-mapping research in software-intensive systems and new computing paradigms]], 2009
-[[Sharing classes between families>http://www.cs.cornell.edu/andru/papers/class-sharing.html]], PLDI 2009
-[[Semantics of the Unify Composition Mechanism >http://www.vub.ac.be/infovoor/onderzoekers/research/team_pub.php?team_code=SSEL]], TR 2009
-[[The Loss of Architectural Knowledge during System Evolution: An Industrial Case Study>http://www4.informatik.tu-muenchen.de/~juergens/publications/index.html]], ICPC 2009
-[[The worker/wrapper transformation>http://www.ittc.ku.edu/~andygill/paper.php?label=WorkerWrapper08]], JFP 2009
-[[A Haskell Hosted DSL for Writing Transformation Systems>http://www.ittc.ku.edu/~andygill/paper.php?label=KUREDSL09]], IFIP Working Conference on DSL 2009
-[[Domain-Specific Languages for Composable Editor Plugins >http://swerl.tudelft.nl/bin/view/Main/TechnicalReports]], LDTA 2009
-[[Time Patterns for Process-aware Information Systems: A Pattern-based Analysis>http://www.uni-ulm.de/in/iui-dbis/forschung/publikationen.html]], TR 2009
-[[Analyzing the Actual Execution of a Large Software-Intensive System for Determining Dependencies>http://www.rug.nl/informatica/onderzoek/programmas/softwareengineering/publications]], WCRE 2008
-[[Modeling Architectural Patterns’ Behavior Using Architectural Primitives>http://www.rug.nl/informatica/onderzoek/programmas/softwareengineering/publications]], ECSA 2008
-[[Is Structural Subtyping Useful? An Empirical Study>http://www.cs.cmu.edu/~aldrich/]], ESOP 2009
-[[Unit Testing Non-functional Concerns of Component-based Distributed Systems>http://www.cs.wustl.edu/~schmidt/resume.html]], ICST 2009
-[[GPU Kernels as Data-Parallel Array Computations in Haskell>http://www.cse.unsw.edu.au/~chak/papers/LCGK09.html]], EPAHM 2009
-[[Complete and Decidable Type Inference for GADTs>http://research.microsoft.com/apps/pubs/default.aspx?id=79812]], TR 2009
-[[Task-parallel versus Data-parallel Library-based Programming in Multicore Systems>http://polaris.cs.uiuc.edu/hta/page2/page2.html]], PDP 2009
-[[New Abstractions for Data Parallel Programming>http://polaris.cs.uiuc.edu/hta/page2/page2.html]], HotPar'09
-[[An update to experimental models for validating computer technology>http://www.cs.umd.edu/~mvz/pubs.html]], Journal of Systems and Software, 2009
-[[Software Transactional Distributed Shared Memory >http://www.isr.uci.edu/tech-reports.html]], TR 2009
-[[Automatically Finding Patches Using Genetic Programming.>http://www.cs.virginia.edu/~weimer/]], ICSE 2009
-[[Discovering and Representing Systematic Code Changes>http://users.ece.utexas.edu/~miryung/publications.html]], ICSE 2009
-[[A Type Graph Model for Java Programs>http://eprints.eemcs.utwente.nl/15083/]], TR 2009
-[[Simply efficient functional reactivity>http://conal.net/papers/simply-reactive/]]
-[[A computational model for constructing novel associations>http://mason.gmu.edu/~jgero//publications/2008.html]], IJWCC 2008
-[[Typed Transformations of Typed Abstract Syntax>http://www.cs.uu.nl/wiki/Center/TechnicalReports]], TR 2008
-[[Exception Handling Patterns for Processes>http://laser.cs.umass.edu/publications/?category=PROC]], 2008
-[[Experience in Using a Process Language to Define Scientific Workflow and Generate Dataset Provenance>http://laser.cs.umass.edu/publications/?category=PROC]], FSE 2008
-[[The Universal Net Composition Operator>http://www2.informatik.hu-berlin.de/top/publikationen/en/Year/2009.php]], 2009
-[[Males' and Females' Script Debugging Strategies>http://web.engr.oregonstate.edu/~burnett/reprints.html]], EUD 2009
-[[Combinator Parsing: A Short Tutorial>http://www.cs.uu.nl/wiki/Center/TechnicalReports]], TR 2008
-[[Mining Framework Usage Changes from Instantiation Code>http://www.st.informatik.tu-darmstadt.de/public/Publications.jsp]], ICSE 2008
-[[Ambient References: Object Designation in Mobile Ad hoc Networks>http://prog.vub.ac.be/doku.php?id=dissertations]], PhD Dissertation 2008
-[[Documenting and Evaluating Scattered Concerns for Framework Usability: A Case Study>http://rook.camp.clarkson.edu/serl/index.php?option=com_content&task=view&id=31&Itemid=35]], APSEC 2008
-[[Reflections on a Reflective Cycle: Building Legitimacy in Design Knowledge Development>http://is.tm.tue.nl/staff/hreijers/publ.htm]], 2009
-[[the State of the Art report in software intensive systems and new computing paradigms >http://interlink.ics.forth.gr/central.aspx?sId=84I238I744I323I344283]]
-[[Service-Level Agreements for Electronic Services>http://sse.cs.ucl.ac.uk/publications/by_year/]], TSE 2009
-[[Automated Traceability Analysis for UML Model Refinements>http://squall.sce.carleton.ca/people/briand/pubs.html]], TR 2009
-[[Semantic Parameterization: A Process for Modeling Domain Descriptions>http://www4.ncsu.edu/~tdbreaux/publications.html]], TOSEM 2008
-[[Backtracking Incremental Continuous Integration>http://homepages.cwi.nl/~storm/index.html]]
-[[Retrieving Task-Related Clusters from Change History>http://www.cs.mcgill.ca/~martin/papers.html]], WCRE 2008
-[[Improving Type Error Messages for Generic Java>http://www.cs.uu.nl/wiki/Center/TechnicalReports]], 2008
-[[Unanticipated Runtime Adaptation of Java Applications>http://wwwiti.cs.uni-magdeburg.de/~ckaestne/]], APSEC 2008
-[[ Decorated Attribute Grammars. Attribute Evaluation meets Strategic Programming>http://swerl.tudelft.nl/bin/view/Main/TechnicalReports]], TR 2008
-[[Requirements and Their Impact Downstream: Improving Causal Analysis Processes Through Measurement and Analysis of Textual Information>http://www.sei.cmu.edu/publications/documents/08.reports/08tr018.html]], 2008
-Luciano Floridi, [[Against Digital Ontology>http://www.philosophyofinformation.net/]], 2008
-[[Marr's three levels: A re-evaluation >http://www.albany.edu/~ron/papers/marrlevl.html]], 1991
-[[Understanding Epistemic Relevance>http://www.philosophyofinformation.net/]], 2008
-[[A Defence of Informational Structural Realism>http://www.philosophyofinformation.net/]], 2008
-[[Tool-supported multi-level language evolution>http://www.itestra.de/expertise/publikationen/2007/tool-supported-multi-level-language-evolution/]], 2007
-[[Coupled schema transformation and data conversion for XML and SQL>http://cctc.di.uminho.pt/publications/pub-2007-007]], PADL 2008
-[[Constraint-aware Schema Transformations>http://sewiki.iai.uni-bonn.de/rule08/program]], Rule 2008
-[[Debugging and testing middleware with aspect-based control-flow and causal patterns>http://www.emn.fr/x-info/sudholt/publ.html]],Middleware'08
-[[An update to experimental models for validating computer technology>http://www.cs.umd.edu/~mvz/pubs.html]], 2008
-[[Presentation Techniques for more Expressive Programs>http://www.cs.ubc.ca/~ade/research.html]], PhD Dissertation, 2008
-[[Efficient Functional Unification and Substitution>http://www.cs.uu.nl/wiki/Center/TechnicalReports]]
-[[Automatic Configuration of an Autonomic Controller - an Experimental Study with Zero-Configuration Policies>http://www.jopera.org/docs/publications/2008/zeroconf]]
-[[DeXteR - An Extensible Framework for Declarative Parameter Passing in Distributed Object Systems>http://people.cs.vt.edu/~tilevich/publications.htm]], Middleware 2008
-[[Decision Support Based on Process Mining>http://is.tm.tue.nl/staff/wvdaalst/publications/publications-recent.htm]]
-[[Topology Analysis of Software Dependencies>http://www.cs.mcgill.ca/~martin/papers.html]], 2008
-[[Jigsaw: Supporting Investigative Analysis through Interactive Visualization>http://gvu.cc.gatech.edu/ii/publications.html]]
-[[Typed Transformations of Typed Abstract Syntax>http://www.cs.uu.nl/wiki/Center/TechnicalReports]], 2008
-[[Attribute Grammar-based Language Extensions for Java>http://www.umsec.umn.edu/publications/index.php?id=64]], ECOOP 2007
-[[Monadic parsing in Haskell>http://www.cs.nott.ac.uk/~gmh/bib.html]], 1998
-[[Towards a Repository of Common Programming Technologies Knowledge>http://www4.in.tum.de/~deissenb/publications/index.html]]
-[[Practical pluggable types for Java>http://people.csail.mit.edu/mernst/pubs/pluggable-checkers-issta2008-abstract.html]], Master Thesis, 2008
-[[How Program History Can Improve Code Completion>http://www.inf.unisi.ch/faculty/lanza/publications.html]], ASE 2008
-[[A Lightweight Approach to Datatype-Generic Rewriting>http://www.cs.uu.nl/wiki/Center/TechnicalReports]]
-[[Dynamic Software Updates for Java: A VM-Centric Approach>http://www.cs.umd.edu/~mwh/papers/subramanian08jvolve.html]]
-[[Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary>http://web.mit.edu/rabbah/www/html/publications.shtml]], ECOOP 2008
-[[A Uniform Transactional Execution Environment for Java>http://www.cs.purdue.edu/homes/suresh/papers.html]], ECOOP08
-[[The Reuse of Grammars with Embedded Semantic Actions>http://www.cs.vu.nl/icpc2008/keynote.php]], ICPC 2008
[[A Platform for Competitive Execution>http://www.lst.inf.ethz.ch/research/publications/]]
[[IBM Systems Journal - Real-Time and Event-Based Systems>http://www.research.ibm.com/journal/sj47-2.html]]
-[[The Small Project Observatory>http://www.inf.unisi.ch/faculty/lanza/publications.html]]
-[[CodeCity>http://www.inf.unisi.ch/faculty/lanza/publications.html]]
o
-[[Dynamic Rebinding for Marshalling and Update, via Redex-time and Destruct-time Reduction>http://www.cs.umd.edu/~mwh/papers/SewellSHBW07.html]]
-[[Controlling accessibility in agile projects with the Access Modifier Modifier>http://www.fernuni-hagen.de/ps/veroeffentlichungen/konferenz_46968.shtml]], Tools 2008
-[[Practical pluggable types for Java>http://people.csail.mit.edu/mernst/pubs/]], ISSTA 2008
-[[Executable Grammars in Newspeak>http://bracha.org/Site/Papers.html]]
-Trygve Reenskaug, [[Roles and Classes in Object Oriented Programming>http://heim.ifi.uio.no/~trygver/themes/babyuml/babyuml-index.html]], Roles'07
-[[Competition in Modular Clusters>http://hbswk.hbs.edu/item/5842.html]]
-[[Mining Software Repositories to Study Co-Evolution of Production and Test Code>http://homepages.cwi.nl/~arie/papers/index.html]]
-[[Magritte — A Meta-Driven Approach to Empower Developers and End Users>http://www.iam.unibe.ch/~scg/cgi-bin/scgbib.cgi?query=Reng07a&abstract=yes]]
-[[Foundations for Structured Programming with GADTs>http://crab.rutgers.edu/~pjohann/vita.html]]
-[[Problem analysis and thinking tools: an empirical study of non-hierarchical mind mapping>http://www.sciencedirect.com/science/journal/0142694X]]
-[[The Drawbacks of model driven Software Evolution>http://www.sciences.univ-nantes.fr/MoDSE2007/]]
-[[Cerberus: Tracing Requirements to Source Code Using Static, Dynamic, and Semantic Analysis>http://www.columbia.edu/~me133/]]
-[[Better Construction with Factories>http://www.jot.fm/issues/issue_2007_07/article3/]]
*サービスサイエンス
-[[Towards an Ontological Foundations for Services Science>http://www.loa-cnr.it/Publications.html]], Proceedings of Future Internet Symposium 2008
*最適化
-[[A Stochastic Approach to Instruction Cache Optimization >http://www.sable.mcgill.ca/publications/techreports/#report2008-4]], 2008
*ワークフロー
-[[Workflow Control-Flow Patterns : A Revised View>http://www.workflowpatterns.com/documentation/index.php]]
*エンピリカル
-[[Missing data in software engineering>http://mockus.us/bib.html]]
*開発支援
-[[Finding Programming Errors Earlier by Evaluating Runtime Monitors Ahead-of-Time>http://www.sable.mcgill.ca/publications/papers/]], FSE 2008
*モバイル
-[[Location-based Software Modeling and Analysis: Tropos-based Approach>http://disi.unitn.it/~ali/]], ER08
*インタラクション
-[[Research through design as a method for interaction design research in HCI>http://goodgestreet.com/resu.html]], CHI07
-[[Understanding Experience in Interactive Systems>http://goodgestreet.com/resu.html]]
-[[How HCI Interprets the Probes>http://www.ics.uci.edu/~jpd/publications.shtml]], CHI07
*C++
[[Automatically Identifying C++0x Concepts in Function Templates>http://www.cs.kent.edu/~jmaletic/publications.html]], ICSM 2008
*リアルタイムソフトウェア
**パターン
-[[Patterns for real-world-aware and real-time solutions>http://www.research.ibm.com/journal/sj/472/parr.html]]
*形式手法
-[[Using Formal Methods to Support Testing>http://www.dcs.kcl.ac.uk/staff/mark/papers.html]]
*SOA
-[[Modeling Process-Driven SOAs - a View-Based Approach>http://www.infosys.tuwien.ac.at/Staff/zdun/publications/index.html]], Handbook of Research on Business Process Modeling 2009
-[[Monitoring Dependencies for SLAs: The MoDe4SLA Approach>http://www.uni-ulm.de/in/iui-dbis/forschung/publikationen.html]], SCC 2008
-[[A Goal-Based Framework for Dynamic Service Discovery and Composition>http://eprints.eemcs.utwente.nl/13135/]], ACT4SOC 2008
-[[View-Based Reverse Engineering Approach for Enhancing Model Interoperability and Reusability in Process-Driven SOAs>View-Based Reverse Engineering Approach for Enhancing Model Interoperability and Reusability in Process-Driven SOAs]], ICSR 2008
-[[Creating Self-healing Service Compositions with Feature Modeling and Microrebooting>http://www.cs.wustl.edu/~schmidt/resume.html]]
**サービスコンポジション
-[[Enterprise Interoperability with SOA: a Survey of Service Composition Approaches>http://eprints.eemcs.utwente.nl/13834/]], 2008
**パターン
[[Advanced Synchronisation Patterns for Process-Driven and Service-Oriented Architectures>http://www.infosys.tuwien.ac.at/Staff/zdun/publications/index.html]], EuroPLoP 2008
**Webサービス
-[[Reconciling Trust and Modularity Goals for Web Services >http://www.cs.iastate.edu/~design/papers/TR-08-07/]]
-[[Analyzing Interacting WS-BPEL Processes Using Flexible Model Generation>http://www2.informatik.hu-berlin.de/top/publikationen/en/Year/2008.php]], 2008
**REST
-[[REST-Based Management of Loosely Coupled Services>>http://www.cs.ucl.ac.uk/staff/b.wassermann/]], WWW 2009
**オントロジー
*リポジトリ解析
-[[Improving Change Descriptions with Change Contexts>http://www.cc.gatech.edu/~vector/]], MSR 2008
*プログラム変換
-[[Guarded Program Transformations using JTL>http://www.cs.technion.ac.il/~imaman/]],TOOLS-EUROPE'08
-[[Example-based Program Transformation>http://www.inf.unisi.ch/faculty/lanza/publications.html]]
*実装
-[[Back to the future in one week — implementing a Smalltalk VM in PyPy>http://www.iam.unibe.ch/~scg/cgi-bin/scgbib.cgi?query=Bolz08a&abstract=yes]]
*デザイン
-[[Designed as Designer>http://www.dreamsongs.org/DesignedAsDesigner.html]], OOSPLA 2008
-[[Metaphors in Design Problem Solving: Implications for Creativity>http://www.ijdesign.org/ojs/index.php/IJDesign/index]]
-[[Software Design and Architecture: The Once and Future Focus of Software Engineering>http://www.ics.uci.edu/~andre/publications.html]]
-[[A Qualitative Empirical Study of Software Design Decisions made by Designers and Small Teams>http://ebe.cpsc.ucalgary.ca/ebe/index.php/Publications/Home]]
**ソフトウェアデザイン
-[[Towards a Theory of Software Design: Timeless Principles of Software System Design>http://www4.ncsu.edu/~drwrigh3/pubs.html]], 2007
-[[LePUS3: An Object-Oriented Design Description Language>http://www.eden-study.org/publications.html]], DIAGRAMS 2008
-[[ICSE 2008 Tutorial on Pragmatic Design Quality Assessment>http://www.iam.unibe.ch/~scg/cgi-bin/scgbib.cgi?query=Girb08a&abstract=yes]]
***可視化
[[Visually Localizing Design Problems with Disharmony Maps>http://www.inf.unisi.ch/faculty/lanza/publications.html]], Softvis 2008
**要求工学
-[[From goals to high-variability software design>http://mcs.open.ac.uk/yy66/paper/]], ISMIS'08
**抽象化
-[[Abstractness, Specificity, and Complexity in Software Design>http://www4.informatik.tu-muenchen.de/~wagnerst/public.html]], ROA 2008
**API
-[[Mapping the Space of API Design Decisions>http://www.cs.cmu.edu/~NatProg/publications.html]]
*セキュリティ
-[[Static Detection of Cross-Site Scripting Vulnerabilities>http://morpheus.cs.ucdavis.edu/]], ICSE 2008
*要求
-[[An Industrial Case Study in Reconstructing Requirements Views>http://homepages.cwi.nl/~arie/papers/index.html#j:2008]], 2008
**メタモデル
-[[A Metamodeling Approach for Reasoning about Requirements>http://trese.cs.utwente.nl/publications/publications.php?action=showPublication&pub_id=494]],
ECMDA 2008
**アスペクト指向
-[[Aspect-Oriented Requirements Engineering: A Roadmap to 2013>http://www.aosd-europe.net/eaICSE08/]], EA 2008
*プログラミング
-[[Practical Variable-Arity Polymorphism>http://www.ccs.neu.edu/scheme/pubs/]], ESOP 2009
-[[Programming Idioms for Transactional Events>http://wasp.cs.washington.edu/wasp_pubs.html]], PLACES 2009
-[[On the Separation of User Interface Concerns - A Programmer’s Perspective on the Modularisation of User Interface Code >http://prog.vub.ac.be/doku.php?id=dissertations]], PhD Dissertation 2008
-[[Towards Adaptive Programming: Integrating Reinforcement Learning into a Programming Language>http://www.cc.gatech.edu/grads/s/simpkins/research/research.html]], OOPSLA 2008
-[[Masked types for sound object initialization >http://www.cs.cornell.edu/andru/papers/masked-types.html]], POPL 2009
-[[Filtered Dispatch>http://p-cos.
net/research.html#context-oriented-programming]], DLS 2008
-[[Quotient Lenses>http://www.cis.upenn.edu/~jnfoster/]], ICFP2008
-[[Context-Oriented Programming>http://www.iam.unibe.ch/~scg/cgi-bin/scgbib.cgi?query=Hirs08a&abstract=yes]]
-[[Concepts and Concept-Oriented Programming>http://www.jot.fm/issues/issue_2008_03/]]
**API
-[[The Implications of Method Placement on API Learnability.>http://www.cs.cmu.edu/~NatProg/apiusability.html]], FSE 2008
**DSL
-[[Generating Version Convertors for Domain-Specific Languages>http://swerl.tudelft.nl/bin/view/Main/ScientificPublications]], 2008
**concurrency
***リファクタリング
*COP
-[[Feature Descriptions for Context-oriented Programming>http://p-cos.net/research.html]], DSPL 2008
*リフレクション
-[[ make-method-lambda considered harmful>http://p-cos.net/research.html#reflection]]
-[[Safe Metaclass Programming >http://www.emn.fr/x-info/ledoux/publis.html]], OOPSLA 1998
-[[Sub-method Structural and Behavioral Reflection>http://www.iam.unibe.ch/~scg/cgi-bin/scgbib.cgi?query=Denk08a&abstract=yes]], Ph.D. thesis
*メタモデリング
-[[An Algebraic Semantics for MOF>http://www.cs.le.ac.uk/people/aboronat/papers/index.html]]
-[[MOMENT: a formal framework for MOdel manageMENT>http://www.cs.le.ac.uk/people/aboronat/papers/index.html]]
*Concurrency
-[[Harnessing the Multicores: Nested Data Parallelism in Haskell>http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=1769]], 2008
-[[Programmable Concurrency in a Pure and Lazy Language >http://www.seas.upenn.edu/~lipeng/homepage/]], PhD, 2008
-[[Sketching Concurrent Data Structures>http://www.cs.berkeley.edu/~asolar/]], PLDI 2008
-[[Foundations of the C++ Concurrency Memory Model>http://rsim.cs.uiuc.edu/consistency/]], PLDI 2008
-[[Stage: Exploring Erlang Style Concurrency in Ruby>http://www.ucalgary.ca/~sillito/]]
*モジュラリティ
*AOP
-[[User-Defined Join Point Selectors An Extension Mechanism for Pointcut Languages>http://www.jot.fm/issues/issue_2008_12/article1/index.html]], JOT 2008
-[[Gradual Encapsulation>http://www.jot.fm/issues/issue_2008_12/article3/index.html]], JOT 2008
-[[Dynamic Aspects — An AOP Implementation for Squeak>http://www.iam.unibe.ch/~scg/cgi-bin/scgbib.cgi?query=Strau08a&abstract=yes]], Masters thesis, 2008
-[[Automating Deployment Planning with an Aspect Weaver>http://www.cs.wustl.edu/~schmidt/resume.html]], 2009
-[[Functional Adaptive Programming>http://www.ccs.neu.edu/research/demeter/biblio/fap.html]], 2008
-[[Constraint-based Model Weaving>http://www.cs.wustl.edu/~schmidt/resume.html]]
-[[Dependent advice: A general approach to optimizing history-based aspects>http://abc.comlab.ox.ac.uk/techreports#abc-2008-2]]
-[[On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study]]
-[[Model driven design and aspect weaving>http://www.irisa.fr/triskell/publications/bib/2008]]
-[[Resource-based Verification for Robust Composition of Aspects>http://eprints.eemcs.utwente.nl/12881/]],PhD thesis
-[[Prototyping and Composing Aspect Languages: using an Aspect Interpreter Framework>http://eprints.eemcs.utwente.nl/12177/]], ECOOP 2008
-Marius Marin, [[ An Integrated System to Manage Crosscutting Concerns in Source Code>http://swerl.tudelft.nl/bin/view/Main/ScientificPublications]], PhD Thesis, 2008
-[[How AspectJ is Used: An Analysis of Eleven AspectJ Programs>http://www.cs.utexas.edu/users/schwartz/search.cgi]]
-[[User-Changeable Visibility: Resolving Unanticipated Name Clashes in Traits>http://decomp.ulb.ac.be/roelwuyts/publications/]], OOPSLA07
-[[Relational Aspects as Tracematches>http://abc.comlab.ox.ac.uk/papers#aosd2008]]
-[[Modularity First: A Case for Mixing AOP and Attribute Grammars>http://abc.comlab.ox.ac.uk/papers#aosd2008]]
-[[StrongAspectJ: Flexible and Safe Pointcut/Advice Bindings>http://www.emn.fr/x-info/sudholt/publ.html]]
-[[Dynamically Linked Domain-Specific Extensions for Advice Languages>http://dsal.dcc.uchile.cl/2008/papers_program.html]]]
-[[Reasoning about aspects with common sense>http://www.daimi.au.dk/~ko/pubs.html]], AOSD 2008
-[[A Controlled Experiment for the Assessment of Aspects - Tracing in an Industrial Context>http://eprints.eemcs.utwente.nl/11853/]]
-[[Crosscutting, what is and what is not? A Formal definition based on a Crosscutting Pattern>http://eprints.eemcs.utwente.nl/12012/]]
-[[Weave Now or Weave Later: A Test Driven Development Perspective on Aspect-oriented Deployment Models>http://archives.cs.iastate.edu/documents/disk0/00/00/05/65/index.html]]
-[[Contracts for Aspect-Oriented Design>http://www.aosd.net/workshops/splat/2008/papers.php]], SPLAT 2008
-[[Balancing Language Concerns: Who Decides?>http://www.aosd.net/workshops/splat/2008/papers.php]], SPLAT 2008
-[[Groovy AOP: A Dynamic AOP System for a JVM-based Language>http://www.aosd.net/workshops/splat/2008/papers.php]], SPLAT 2008
-[[On-Demand Materialization of Aspects for Application Development>http://www.aosd.net/workshops/splat/2008/papers.php]], SPLAT 2008
-[[Composability of Aspects>http://www.aosd.net/workshops/splat/2008/papers.php]], SPLAT 2008
-[[Implementing Design Patterns in CaesarJ: an Exploratory Study>http://www.aosd.net/workshops/splat/2008/papers.php]], SPLAT 2008
-[[Enforcing Behavioral Constraints in Evolving Aspect-Oriented Programs >http://www.eecs.ucf.edu/FOAL/agenda-2008.shtml]], FOAL 2008
-[[ERedundancy-free Residual Dispatch >http://www.eecs.ucf.edu/FOAL/agenda-2008.shtml]], FOAL 2008
**言語
-[[Dependent Advice: A General Approach to Optimizing History-based Aspects>http://www.sable.mcgill.ca/publications/papers/#aosd2009]], AOSD 2009
**ツール
-[[XE (eXtreme Editor) - Tool Support for Evolution in Aspect-Oriented Programming>http://www.isr.uci.edu/tech-reports.html]]
*パターン
-[[Dependence Anti Patterns>http://www.dcs.kcl.ac.uk/staff/mark/papers.html]], Evol 2008
**アナリシスパターン
-[[A Pattern Language for Building Stable Analysis Patterns>http://en.wikipedia.org/wiki/Software_analysis_pattern]]
**デザインパターン
-[[An Empirical Study of the Relationships between Design Pattern Roles and Class Change Proneness>http://www.yann-gael.gueheneuc.net/Work/Publications/Year/2008.php]], ICSM 2008
-[[The Essence of The Iterator Pattern>http://www.comlab.oxford.ac.uk/people/publications/type/Bruno.Oliveira.html]], Journal of Functional Programming, 2008
-[[Design Decision Topology Model for Pattern Relationship Analysis>http://patterns-wg.fuka.info.waseda.ac.jp/SPAQU/program.html]], SPAQu 2008
-[[DEQUALITE: Building Design-based Software Quality Models>http://patterns-wg.fuka.info.waseda.ac.jp/SPAQU/program.html]], SPAQu 2008
-[[An Empirical Study of Design Patterns and Software Quality>http://www.yann-gael.gueheneuc.net/Work/Publications/Year/2008.php]]
-[[Implementing Design Patterns in CaesarJ: an Exploratory Study>http://www.aosd.net/workshops/splat/2008/papers.php]], SPLAT 2008
-[[Do Design Patterns Impact Software Quality Positively>http://ptidej.dyndns.org/urlproxy/www.yann-gael.gueheneuc.net/Work/Publications/Year/2008.php]]
-[[A Classification of Design Pattern Evolutions>http://www.jot.fm/issues/issue_2007_11/index.html]]
-[[A Multiparadigmatic Study of the Object-Oriented Design Patterns>http://homepages.fh-regensburg.de/~mpool/mpool07/programme.html]]
***言語との関係
-[[On the efficiency of design patterns implemented in C# 3.0>http://polelo.cs.up.ac.za/index.php?option=com_content&task=blogcategory&id=19&Itemid=78]], TOOLS Europe 08
-[[Language features meet design patterns: raising the abstraction bar>http://polelo.cs.up.ac.za/index.php?option=com_content&task=blogcategory&id=19&Itemid=78]], ROA 2008
*ソフトウェアアーキテクチャ
-[[Grokking Software Architecture>http://plg.uwaterloo.ca/~holt/cv/papers.html]], WCRE2008
-[[Sharing architecture knowledge through models: quality and cost>http://www.rug.nl/informatica/onderzoek/programmas/softwareengineering/publications]]
-[[A General Model of Software Architecture Design Derived from Five Industrial Approaches>http://www.cse.lehigh.edu/~crh/crhpublications.html]]
-[[http://www.adaptiveobjectmodel.com/Adaptive_Object_Model_Writings.html>http://www.adaptiveobjectmodel.com/Adaptive_Object_Model_Writings.html]]
-[[Models for Evaluating and Improving Architecture Competence>http://www.sei.cmu.edu/publications/documents/08.reports/08tr006.html]]
-[[Identifying Architectural Change Patterns in Object Oriented Systems>http://plg.uwaterloo.ca/~migod/papers/]], ICPC 2008
-[[Coordination Implications of Software Architecture in a Global Software Development Project>http://www.cs.drexel.edu/~yfcai/]]
-[[Software Architecture Reliability Analysis using Failure Scenarios>http://eprints.eemcs.utwente.nl/10256/]]
-[[Analysis of Architecture Pattern Usage in Legacy System Architecture Documentation>http://www.cs.rug.nl/~paris/pubs.htm]]
-[[Architecting as Decision Making with Patterns and Primitives>http://www.cs.rug.nl/~paris/pubs.htm]]
-[[A Catalog of Architectural Primitives for Modeling Architectural Patterns>http://www.cs.rug.nl/~paris/pubs.htm]]
-[[Documenting after the fact: Recovering architectural design decisions>http://www.cs.rug.nl/~paris/pubs.htm]]
-[[Combining Pattern Languages and Architectural Decision Models in a Comprehensive and Comprehensible Design Method>http://www.infosys.tuwien.ac.at/Staff/zdun/publications/index.html]]
**ADL
-[[Haskell as an Architecture Description Language>http://www.cs.uu.nl/wiki/Center/TechnicalReports]], TR 2008
**セキュリティ
-[[Architectural Risk Analysis of Software Systems based on Security Patterns>http://java.uom.gr/~nikos/publications.html]]
*データベース
*オントロジー
-[[Ontologies and Software Engineering>http://www.ece.ubc.ca/~nimak/index.php?linkLocation=2publications]]
*リファクタリング
-[[Annotation Refactoring: Inferring Upgrade Transformations for Legacy Applications>http://people.cs.vt.edu/~tilevich/publications.htm]], OOPSLA 2008
-[[Deep Typechecking and Refactoring>http://www.cs.ucsd.edu/~lerner/papers/quail.html]], OOPSLA 2008
-[[ Refactoring of Acceptance Tests>http://ebe.cpsc.ucalgary.ca/ebe/index.php/Publications/Home]]
-[[Breaking the Barriers to Successful Refactoring>http://web.cecs.pdx.edu/~black/publications/]]
-[[ReBA: Refactoring-aware Binary Adaptation of Evolving Libraries>https://netfiles.uiuc.edu/dig/www/research.html]]
-[[Systematically refactoring inheritance to delegation in Java>http://www.fernuni-hagen.de/ps/forschung/publikationen/publikation_45715.shtml]]
-[[Refactoring using Type Constraints>http://domino.research.ibm.com/comm/research_people.nsf/pages/tip.pubs.html]]
*Ultra-Large-Scale Systems
-[[Ultra-Large-Scale Systems>http://www.sei.cmu.edu/uls/the_report.html]]
*テスティング
-[[Open Problems in Testability Transformation >http://www.dcs.kcl.ac.uk/staff/mark/papers.html]]
-[[Using Machine Learning to Refine Black-Box Test Specifications and Test Suites>http://squall.sce.carleton.ca/people/briand/pubs.html]]
-[[Towards raising the failure of unit tests to the level of compiler-reported errors>http://www.fernuni-hagen.de/ps/forschung/publikationen/publikation_46878.shtml]]
-[[JExample>http://www.iam.unibe.ch/~scg/cgi-bin/scgbib.cgi?query=Haen08a&abstract=yes]]
*サービス
-[[IBM Systems Journal Vol. 47, No. 1, 2008 - Service Science, Management, and Engineering>http://www.research.ibm.com/journal/sj47-1.html]]
*ビジネスプロセス
**プロセス
-[[Modularity in Process Models: Review and Effects>http://www.mendling.com/#pub]], BPM 2008
-[[BPEL for REST>http://www.jopera.org/docs/publications/2008/bpel4rest]], BPM 2008
-[[Modeling Human Aspects of Business Processes - A View-Based, Model-Driven Approach>Modeling Human Aspects of Business Processes - A View-Based, Model-Driven Approach]], 2008
-[[Formal Semantics and Analysis of BPMN Process Models>https://eprints.qut.edu.au/archive/00007115/]]
-[[A Classification of Differences between Similar Business Processes>http://is.tm.tue.nl/staff/rdijkman/papers.html]]
**メタモデル
-[[Introduction to the Business Process Definition Metamodel>http://www.conradbock.org/bockonlinenew.html]]
*ソーシャルネット
-[[ Talking to strangers without taking their candy: isolating proxied content>http://www.cs.virginia.edu/~weimer/]]
*サービス
-[[Impact of Service-Centric Computing on Business and Education>http://www.purao.us/wiki/Publications]]
*オープンソース
-[[Towards a Global Research Infrastructure for Multidisciplinary Study of Free/Open Source Software Development>http://www.ics.uci.edu/~wscacchi/]]
-[[Mobilization of Software Developers: The Free Software Movement>http://www.ics.uci.edu/~wscacchi/]]
-[[Open Source Software Peer Review Practices: A Case Study of the Apache Server>http://groups.csail.mit.edu/pag/reading-group/]]
*プログラム理解
-[[Exploiting Runtime Information in the IDE>http://www.iam.unibe.ch/~scg/cgi-bin/scgbib.cgi?query=Roet08b&abstract=yes]], ICPC 2008
-[[Reusing Program Investigation Knowledge for Code Understanding>http://www.cs.mcgill.ca/~martin/papers.html]], ICPC 2008
*未分類
-[[Proceedings of the 2nd International Workshop on Enterprise Systems and Technology>http://eprints.eemcs.utwente.nl/12787/]]
-[[The Meta in Meta-object Architectures>http://www.iam.unibe.ch/~scg/cgi-bin/scgbib.cgi?query=Denk08b&abstract=yes]], TOOLS EUROPE 2008
-[[Enabling Static Analysis for Partial Java Programs >http://www.sable.mcgill.ca/publications/techreports/#report2008-2]]
-[[Practical, Pluggable Types>http://www.iam.unibe.ch/~scg/cgi-bin/scgbib.cgi?query=Hald07b&abstract=yes]]
-[[Exploiting Runtime Information in the IDE>http://www.iam.unibe.ch/~scg/cgi-bin/scgbib.cgi?query=Roet08b&abstract=yes]], ICPC 08
-[[Coqa: Concurrent Objects with Quantized Atomicity>http://www.cs.jhu.edu/~yliu/publ.html]]
-[[Towards Advanced Interaction Design Concepts>http://is.tm.tue.nl/staff/rdijkman/papers.html]]
-[[Cerberus: Tracing Requirements to Source Code Using Static, Dynamic, and Semantic Analysis>http://www.columbia.edu/~me133/]], ICPC 2008
-[[Domain-Specific Languages and Program Generation with Meta-AspectJ>http://www.freeflygeek.com/publications.html]]
*デバッグ
-[[Debugging Reinvented: Asking and Answering Why and Why Not Questions about Program Behavior>http://www.cs.cmu.edu/~ajko/publications.html]]
*保守
-[[Reuse or Rewrite: Combining Textual, Static, and Dynamic Analyses to Assess the Cost of Keeping a System Up-to-date>http://www.yann-gael.gueheneuc.net/Work/Publications/Year/2008.php]], ICSM 2008
-[[Asking and Answering Questions during a Programming Change Task>http://www.ucalgary.ca/~sillito/]]
-[[Who Can Help Me with this Source Code Change？>http://www.cs.kent.edu/~jmaletic/publications.html]]
-[[Using Information Scent to Model the Dynamic Foraging Behavior of Programmers in Maintenance Tasks>http://web.engr.oregonstate.edu/~burnett/reprints.html]]
*Web
-[[Invariant-Based Automatic Testing of Ajax User Interfaces>http://swerl.tudelft.nl/bin/view/Main/TechnicalReports]], TR 2009 (ICSE 2009)
-[[ WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web Applications>http://swerl.tudelft.nl/bin/view/Main/TechnicalReports]], MODELS 2008
-[[Refactoring to Rich Internet Applications. A Model-Driven Approach>http://www.lifia.info.unlp.edu.ar/es/publications_2008.htm]], ICWE 2008
-[[Finding bugs in dynamic web applications>http://people.csail.mit.edu/mernst/pubs/bugs-webapps-issta2008-abstract.html]], ISSTA 2008
-[[A Component- and Push-based Architectural Style for Ajax Applications>http://homepages.cwi.nl/~arie/papers/index.html]]
**DSL
-[[WebDSL: A Case Study in Domain-Specific Language Engineering>http://swerl.tudelft.nl/bin/view/Main/TechnicalReports]]
**REST
-[[RESTful Web Services vs. ``Big'' Web Services: Making the Right Architectural Decision>http://www2008.org/papers/fp179.html]], WWW 2008
**AJAX
-[[Performance Testing of Data Delivery Techniques for Ajax Applications>http://swerl.tudelft.nl/bin/view/Main/ScientificPublications]], JWE 2009
-[[An Adaptive Push/Pull Algorithm for AJAX Applications>http://swerl.tudelft.nl/bin/view/Main/TechnicalReports]],AEWSE '08
-[[Modelling and Generating Ajax Applications: A Model-Driven Approach >http://swerl.tudelft.nl/bin/view/Main/TechnicalReports]]
*コンパイラ
-[[Parse Table Composition - Separate Compilation and Binary Extensibility of Grammars>http://swerl.tudelft.nl/bin/view/Main/TechnicalReports]], SLE 2008
-[[Compiler-guaranteed Safety in Code-copying Virtual Machin>http://www.sable.mcgill.ca/publications/papers/#cc2008]]
*ソフトウェア進化
-[[Co-Evolution of Source Code and the Build System: Impact on the Introduction of AOSD in Legacy Systems >http://prog.vub.ac.be/doku.php?id=dissertations]], PhD Dissertation 2008
-[[On the classification of first-class changes>http://users.telenet.be/peteke/publications.html]], BENEVOL 2008
-[[Continuous and Automated Evolution of Architecture-to-Implementation Traceability Links>http://www.ics.uci.edu/~andre/publications.html]], 2008
-[[The Evolution of Eclipse>http://w3.umh.ac.be/~infofs/preprints/index.php?page=paper_info&ID=213]], ICSM 2008
-[[Teleological Modeling and Reasoning for Automated Software Adaptations>http://www.cc.gatech.edu/~jkj/]]
-[[Automated Upgrading of Component-based Applicati>https://netfiles.uiuc.edu/dig/www/research.html]], PhD, Thesis, 2007
-[[Visual Exploration of Large-Scale System Evolution>http://www.inf.unisi.ch/faculty/lanza/publications.html]], WCRE 2008
**モデル駆動
-[[
Challenges in Model-Driven Software Evolution>http://w3.umh.ac.be/~infofs/preprints/index.php?page=paper_info&ID=219]], BENEVOL 2008
**アーキテクチャ
-[[Using graph transformation to evolve software architectures>http://w3.umh.ac.be/~infofs/preprints/index.php?page=paper_info&ID=218]], BENEVOL 2008
**言語
**進化支援
-[[Recommending Adaptive Changes for Framework Evolution>http://www.cs.mcgill.ca/~martin/papers.html]], ICSE 2008
**可視化
-[[Code Flows: Visualizing Structural Evolution of Source Code>http://www.win.tue.nl/~alext/ALEX/PAPERS/papers.html]]
**分析
-[[Analyzing the Evolution of Eclipse Plugins>http://mcs.open.ac.uk/yy66/paper/]]、MSR08
**分析支援ツール
-[[Churrasco: Supporting Collaborative Software Evolution Analysis>http://www.inf.unisi.ch/faculty/lanza/publications.html]]
*リバースエンジニアリング
-[[A Framework for Reverse Engineering Large C++ Code Bases>http://www.win.tue.nl/~alext/ALEX/PAPERS/papers.html]]
*ドメイン
-[[Extracting Domain Ontologies from Domain Specific APIs >http://www4.informatik.tu-muenchen.de/~ratiu/publications.html]], CSMR 2008
*UML
-[[A Graph-Based Semantics for UML Class and Object Diagrams>http://eprints.eemcs.utwente.nl/11963/]]
*モデリング
-[[In Defence of a Trope-Based Ontology for Conceptual Modeling: An example with the foundations of Attributes, Weak Entities an Datatypes>http://www.loa-cnr.it/Publications.html]], ER 06
*メタモデリング
-[[The Essence of Multilevel Metamodeling>http://homepages.mcs.vuw.ac.nz/~tk/publications/>]]
-[[Meta-level Independent Modelling>http://homepages.mcs.vuw.ac.nz/~tk/publications/]]
*MDE
-[[Coevolution of Models, Metamodels and Transformations>http://www.ikv.de/index.php?option=com_docman&task=cat_view&gid=14&Itemid=58&limit=5&limitstart=0&order=date&dir=DESC&lang=jp]], 2005
-[[Towards Synchronizing Models with Evolving Metamodels>http://www-users.cs.york.ac.uk/~dkolovos/publications.php]], 2007
-[[Undoing Operational Steps of Domain-Specific Modeling Languages>http://www2.informatik.hu-berlin.de/~sadilek/Homepage/Publications.html]], DSM 2008
-[[Behavioural Model Fusion>http://www.cs.toronto.edu/~chechik/publications.html]], Ph.D. thesis, 2008
-[[Modeling Human Aspects of Business Processes - A View-Based, Model-Driven Approach>Modeling Human Aspects of Business Processes - A View-Based, Model-Driven Approach]], 2008
-[[Meta-Environment and Executable Meta-Language using Smalltalk: an Experience Report>http://www.tudorgirba.com/publications/http://www.tudorgirba.com/publications/]]
-[[Prototyping Visual Interpreters and Debuggers for Domain-Specific Modelling Languages >http://www2.informatik.hu-berlin.de/~sadilek/Homepage/Publications.html]]
-[[Decision Reuse in an Interactive Model Transformation>http://practise.cs.tut.fi/publications.php?project=showall]], CSMR 2008
-[[Difference Representation and Conflict Management in Model-Driven Engineering>http://www.di.univaq.it/~cicchetti/index.php?pageId=publications]]
**モデル変換
-[[ Model Transformation by Partial Evaluation of Model Interpreters>http://www.cs.utexas.edu/users/wcook/]], TR 2009
-[[Operation Composition in Model Transformations with Complex Source Patterns>http://eprints.eemcs.utwente.nl/14136/]], Technical Report, 2008
-[[Composition Techniques for Rule-based Model Transformation Languages >http://www.vub.ac.be/infovoor/onderzoekers/research/team_pub.php?team_code=SSEL]], ICMT 2008
-[[Information preserving bidirectional model transformations>http://tfs.cs.tu-berlin.de/publikationen/public2007.html]], FASE 2007
-[[From UML Activities to TAAL: Towards behaviour-preserving model transformations>http://eprints.eemcs.utwente.nl/12657/]]
-[[Live Model Transformations Driven by Incremental Pattern Matching>http://home.mit.bme.hu/~rath/indexm.html]], ICMT 2008
-[[Transformations have to be developed, ReST assured>http://practise.cs.tut.fi/publications.php?project=showall]]
-[[On the Relationship of Model Transformations Based on Triple and Plain Graph Grammars>http://iv.tu-berlin.de/TechnBerichte/tb2008.html]]
-[[Code Generation by Model Transformation. A Case Study in Transformation Modularity>http://swerl.tudelft.nl/bin/view/Main/TechnicalReports]]
**コンポジション
-[[A Declarative Approach for Model Composition>http://www.cs.toronto.edu/~chechik/publications.html]]
**メタモデル
-[[Testing Metamodels>http://www2.informatik.hu-berlin.de/~sadilek/Homepage/Publications.html]], ECMDA'08
*プロダクトライン
-[[Modeling Dependent Software Product Lines>http://www.infosun.fim.uni-passau.de/cl/staff/apel/McGPLE2008/program.html]], McGPLE 2008
-[[Integrating Compositional and Annotative Approaches for Product Line Engineering>http://wwwiti.cs.uni-magdeburg.de/~ckaestne/]], McGPLE 2008
-[[From SPLs to Open, Compositional Platforms>http://www.jillesvangurp.com/publications/]], 2008
-[[Design Space of Heterogeneous Synchronization>http://www.swen.uwaterloo.ca/~kczarnec/]]
-[[Code Generation to Support Static and Dynamic Composition of Software Product Lines>http://wwwiti.cs.uni-magdeburg.de/~rosenmue/]], GPCE 2008
-[[Type-checking Software Product Lines – A Formal Approach>http://www.infosun.fim.uni-passau.de/cl/staff/apel/all_chronological.php]], ASE 2008
-[[Lifting Transformational Models of Product Lines: A Case Study>http://www.cs.utexas.edu/users/schwartz/search.cgi]]
-[[Eeconciling automation and flexibility in product derivation>http://www.irisa.fr/triskell/publications/bib/2008]], SPLC 2008
-[[Automated Diagnosis of Product-line Configuration Errors in Feature Models>http://www.cs.wustl.edu/~schmidt/resume.html]], SPLC 2008
-[[ Modularizing Theorems for Software Product Lines: The Jbook Case Study>http://www.cs.utexas.edu/users/schwartz/search.cgi]]
-[[Language-Independent Safe Decomposition of Legacy Applications into Features>http://www.infosun.fim.uni-passau.de/cl/staff/apel/all_chronological.php]]
**非機能要求
-[[Measuring Non-functional Properties in Software Product Lines for Product Derivation>http://wwwiti.cs.uni-magdeburg.de/~ckaestne/]], APSEC 2008
**アスペクト
-[[Analysis of Crosscutting Features in Software Product Lines>http://www.aosd-europe.net/eaICSE08/]], Early Aspects 2008
**フィーチャ
-[[An Algebra for Features and Feature Composition>http://www.infosun.fim.uni-passau.de/cl/staff/apel/all_chronological.php]], AMAST 2008
**可視化
-[[Visualizing Software Product Line Variabilities in Source Code>http://wwwiti.cs.uni-magdeburg.de/~ckaestne/]], ViSPLE 2008
**FOP
-[[Flexible features: Making feature modules more reusable>http://prog.vub.ac.be/~pebraert/publications.php]], SAC 2009
-[[Features as First-class Entities – Toward a Better Representation of Features>http://www.infosun.fim.uni-passau.de/cl/staff/apel/McGPLE2008/program.html]], McGPLE 2008
***リファクタリング
-[[Refactoring in Feature-Oriented Programming: Open Issues>http://www.infosun.fim.uni-passau.de/cl/staff/apel/McGPLE2008/program.html]], McGPLE 2008
*未分類
-[[A Unified Framework for Verification Techniques for Object Invariants>http://sct.inf.ethz.ch/publications/]], ECOOP 2008
-[[Adaptation Design in Ubiquitous Computing >http://www4.in.tum.de/publ/vollst_list.shtml]]
-[[Inference of reference immutability>http://people.csail.mit.edu/mernst/pubs/infer-refimmutability-ecoop2008-abstract.html]], ECOOP 2008
-[[Exception Handlers as Extensible Cases>http://ttic.uchicago.edu/~blume/pub-cat.html]], 2008
-[[ReCrash: Making software failures reproducible by preserving object states>http://people.csail.mit.edu/mernst/pubs/reproduce-failures-ecoop2008-abstract.html]], ECOOP 2008
-[[How Lisp systems look different>http://www.iam.unibe.ch/~scg/cgi-bin/scgbib.cgi?query=Dozs08a&abstract=yes]], CSMR 2008
-[[Controlled, Systematic, and Efficient Code Replacement for Running Java Programs>http://www.iks.inf.ethz.ch/publications/publications/AngelaNicoaraEuroSys2008.html]]
-[[An Operational Semantics for Scheme>http://people.cs.uchicago.edu/~robby/an-operational-semantics-for-scheme/]]
