Can Programming Be Liberated from the von Neumann Style? A Functional Style and its Algebra of Programms
Not All CBS are Created Equally:  COTS-Intensive Project Types
Traits: Composable Units of Behaviour
Declarative Specialisation of Object-Oriented Programs
Automatic Program Specialisation for Java
Continuous Program Optimisation: A Case Study
Le r�le de la logique floue dans le Web s�mantique
An Object Model for Engineering Design
Integrating an Object-Oriented Programming System with a Database System
Integrating Constraints, Composite Objects and Tasks in a Knowledge Representation System
Operations and Implementation of Complex Objects
Evolving Object-Oriented Designs with Refactorings
Graph Homomorphisms: Structure and Symmetry
Measuring and Improving Design Patterns Testability
Assessing Staffing Needs for a Software Maintenance Project through Queuing Simulation
The 7 C's: An Interactive Process for Generating Pattern Components
A Hierarchy of Dynamic Software Views: from Object-Interactions to Feature-Interactions
An Empirical Investigation of Program Spectra
Design-Code Traceability for Object-Oriented Systems
Studying Software Evolution Information by Visualising Change History
The 7 C's for Creating Living Software: A Research Perspective for Quality-Oriented Software Engineering
Enhancing Software Evolution with Pattern Oriented Software Product Life Cycle
Cohesion and Reuse in an Object Oriented System
Automatic Synthesis of State Machines from Trace Diagrams
Identifying Aspects using Fan-In Analysis
Machine Learning Approaches to Estimating Software Development Effort
Efficient Constraint Generation for Hierarchical Compaction
A Tutorial on Support Vector Machines for Pattern Recognition
A Data Model for Object-Oriented Design Metrics
Executable Specifications: Creating Testable, Enforceable Designs
Simple Problem Solving in Java: A Problem Set Framework
Java Power Tools: Model Software for Teaching Object-Oriented Design
Interactive Pushdown Automata Animation
The SIGCSE 2001 Maze Demonstration Program
Checking Class Schema Usefulness
A Syntactic Approach to Foundational Proof-Carrying Code
Engineering Modelling Languages: A Precise Meta-Modelling Approach
A Reference Implementation for UML
Product Information Systems Engineering: An Approach for Building Product Models by Reuse of Patterns
Quality-Driven Software Re-Engineering
Aaree: A Recipe for Analysing Object-Oriented Models
How Do Program Understanding Tools Affect How Programmers Understand Programs?
Using Automatic Process Clustering for Design Recovery and Distributed Debugging
Safe and Explicit Composition of Meta-class Properties
Towards a Metric Suite for Object-Oriented Design
Analysing Object-Oriented Application Frameworks using Concept Analysis
Meeting the Challenge of Software Maintenance
Real-Time Software Architectures and Design Patterns: Fundamental Concepts and Their Consequences
Aspect-Oriented Interaction in Multi-Organisational Web-Based Systems
L'informatique pose la question du sens
Design Components: Towards Software Composition at the Design Level
Software Visualisation Tools: Survey and Analysis
Debunking the ``Expensive Procedure Call" Myth or, Procedure Call Implementations Considered Harmful or, LAMDA: The Ultimate GOTO
Partial Comprehension of Complex Programs
Software Engineering in the Academy
OO Design Patterns, Design Structure, and Program Changes: An Industrial Case Study
Bebop: A Path-Sensitive Inter-procedural Dataflow Engine
Efficient and Precise Modelling of Exceptions for the Analysis of Java Programs
STEP: A Framework for the Efficient Encoding of General Trace Data
Using a Cognitive Architecture to Plan Dialogs for the Adaptative Explanation of Proofs
Design Pattern Relationships and Classifications
Debugging Backward in Time
Object-Oriented Tree Traversal with JJForester
From Patterns to Frameworks to Parallel Programs
Software Architecture: A Roadmap
Software Engineering Education: A Roadmap
PUI: A Tool to Support Program Understanding
Does OO Really Match the Way We Think?
Using Intelligent Backtracking to Improve Branch-and-Bound Methods: An Application to Open-Shop Problems
Plus grand sous-graphe commun et probl�mes de satisfaction de contraintes
Subgraph Isomorphism in Planar Graphs and Related Problems
The Discoveries of Continuations
Evolution Support by Homogeneously Documenting Patterns, Aspects, and Traces
All You Ever Wanted to Know about Continuations but Were Afraid to Ask
DistAl: An Inter-Pattern Distance-Based Constructive Learning Algorithm
Applications of Continuations
Transformation-Based Diagnosis of Student Programs for Programming Tutoring Systems
Unfold/Fold Transformation
A Logical Theory of Interfaces and Objects
Formal Specification of Reusable Interface Objects
Program Design Using Abstract Data Views -- An Illustrative Example
A Programmer Friendly Modular Definition of the Semantics of Java
On the Syllogistic Structure of Object-Oriented Programming
Structuring Depth-First Search Algorithms in Haskell
Des aspects d'ergonomie cognitive dans la r�utilisation en g�nie logiciel
Type-Safe Delegation for Run-Time Component Adaptation
A Formal Definition of Crosscuts
Object-Oriented Programming -- The CLOS Perspective
Compiler Design -- Abstract Interpretation
Synthesising Monitors for Safety Properties
Bandera: Extracting Finite-State Models from Java Source Code
Adding Aspect-Orientation to .NET: The Patchwork Approach
MIT Guide to Lock Picking
Taxonomy of Problem Management Activities
Are We Forgetting the Risks of Information Technology?
A Global Perspective on Web Site Usability
Integrating Usability Techniques into Software Development
Usability Basics for Software Developers
CM-Builder: An Automated NL-Based CASE Tool
Avoiding Confusion in Metacircularity: The Meta-Helix
Integrating Independently-Developed Components in Object-Oriented Languages
Toward a Mathematical Foundation of Software Engineering Method
Understanding Class Hierarchy with KABA
An Approach to Quantitative Non-Functional Requirements in Software Development
Designing Object Systems for Evolution
Dependence Graph and Program Slicing
Low Resolution, Degraded Document Recognition using Neural Networks and Hidden Markov Models
Simulating Multiple Inheritance and Generics in Java
A Computational Approach to Memory Deficits in Schizophrenia
Specifying Reusable Components using Contracts
HARMONIA: A Flexible Framework for Constructing Interactive Language-Based Programming Tools
A Methodology for Designing Toolkits for Specification Level Verification of Interval-Constrained Information Systems Requirements
Evolving Good Hierarchical Decomposition of Complex Systems
R�forme de pens�e, transdisciplinarit�, r�forme de l'Universit�
Localising Crosscutting Concerns in Visual Component Based Development
Java 2 Enterprise Edition (J2EE) versus The .NET Platform -- Two Visions for e-Business
L'Intelligence Artificielle -- Mais, enfin, de quoi s'agit-il ?
Computing Interfaces in Java
Domain Analysis for Software Reuse
The Deontic Pattern -- A Framework for Domain Analysis in Information Systems Design
Visual Modelling Defines Software Architecture
UML Tutorial: Part 1 -- Class Diagrams
Evaluating the Effect of Inheritance on the Modifiability of Object-Oriented Business Domain Models
Cohesion as Changeability Indicator in Object-Oriented Systems
Assessing Optimal Software Architecture Maintainability
Toward a More Reliable Theory of Software Reliability
A Hierarchical Model for Object-Oriented Design Quality
Metric Development for Object-Oriented Software
Structured Testing: A Testing Methodology using the Cyclomatic Complexity Metric
Object-Oriented Software Measures
Property-Based Software Engineering Measurement
A Comparison of Measurement and Defect Characteristics of New and Legacy Software Systems
Law-Governed Regularities in Object Systems: Part 1 -- An Abstract Model
Law-Governed Regularities in Object Systems: Part 2 -- A Concrete Implementation
Design : principes avanc�s de conception objet
Detecting Defects in Object Oriented Designs: Using Reading Techniques to Increase Software Quality
An Experimental Comparison of Reading Technique for Defect Detection in UML Design Documents
A Workbench for Program Comprehension during Software Maintenance
Supporting Software Designers with Integrated Domain-Oriented Design Environments
Designing Documentation to Compensate for Delocalised Plans
The Program Understanding Problem: Analysis and a Heuristic Approach
A Survey of Object Identification in Software Re-Engineering
Program Understanding Behaviour during Debugging of Large Scale Software
Towards a Methodology for the Understanding of Object-Oriented Systems
PROUST: Knowledge-Based Program Understanding
Scalable Program Analysis and Understanding Based on Type Inference
On the Generalisation of the Form Identification and Skew Detection Problem
Cognitive Tools for Locating and Comprehending Software Objects for Reuse
Greater Understanding Through Maintainer Driven Traceability
Support for Design Patterns through Graph Transformation Tools
Tree Pattern Matching with a More General Notion of Occurrence of the Pattern
Formalising the Intent of Design Patterns -- An Approach Towards a Solution to the Indexing Problem
Systems Re-Engineering Patterns
Design Patterns vs. Language Design
Semantic Analysis Patterns
Co-Evolution of Object-Oriented Software Design and Implementation
Patterns and Software: Essential Concepts and Terminology
Formalising Design Patterns and Frameworks: A Survey Report
Representing Design Patterns as Design Components
Developing Adaptable Software Architectures using Design Patterns: An NFR Approach
Improving UML Design using Automatic Design Pattern Detection
Coordinating Software Evolution via Two-Tier Programming
Applying Patterns
Pattern-Based Reverse-Engineering of Design Components
Transformation for Pattern-Based Forward Engineering
Pattern Visualisation for Software Comprehension
Supporting Design by Pattern-Based Transformations
The SPOOL Approach to Pattern-Based Recovery of Design Components
Foundation for Design Pattern Application
Automating Three Modes of Evolution for Object-Oriented Software Architectures
Designing Reusable Rule-Based Architectures with Design Patterns
Visual Component Composition using Compositions Patterns
Supporting Software Development through Declaratively Codified Programming Patterns
Report from TSA-3. Tool for Architecture Descriptions
Software Architecture Classification for Estimating the Cost of COTS Integration
Evaluating Conceptual Modelling Languages
A Formal Basis for Architectural Connection
Semantics of Multi-Threaded Java
Java Virtual Machine
Efficient Implementation of the Smalltalk-80 System
Technical Overview of the Common Language Runtime (or why the JVM is not my favorite execution environment)
Dynamic Class Loading in the Java Virtual Machine
A Simple, Comprehensive Type System for Java Byte-Code Subroutines
Parameter Passing for the Java Virtual Machine
Implementing a Java Virtual Machine in the Java Programming Language
Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation
Filter Design of Composite Trade-off Filter with Support Regions to Object Invariant Pattern Recognition with Defocused Images
Graph Layout Adjustment Strategies
Design of Image Exploring Agent using Genetic Programming
Classifier Design with Incomplete Knowledge
Outliers in Statistical Pattern Recognition and an Application to Automatic Chromosome Classification
Extending the Sugiyama Algorithm for Drawing UML Class Diagrams: Towards Automatic Layout of Object-Oriented Software Diagrams
Visualising Message Patterns in Object-Oriented Program Executions
On the Visualisation of Java Programs
A Meta-Model for Language-Independent Refactoring
Algorithmic Support for Model Transformation in Object-Oriented Software Development
Kava -- A Reflective Java based on Byte-Code Rewriting
Kava -- Using Byte-Code Rewriting to Add Behavioural Reflection to Java
Program Improvement by Source-to-Source Transformation
Automatic Program Transforation with JOIE
Programmable Reverse Engineering
Lightweight Analysis of Object Interactions
Chava: Reverse Engineering and Tracking of Java Applet
Renaming Detection
Experience Reverse Engineering Manually
Software Test Coverage and Reliability
Code Coverage Analysis
Endo-Testing: Unit Testing with Mock Objects
Quality Metrics: Test Coverage Analysis for Smalltalk
Constraint Logic Programming
Finding Bugs with a Constraint Solver