Development of software engineering: co-operative efforts from academia, government and industry (Abstract)
A view of 20th and 21st century software engineering (Abstract)
Empirically driven SE research: state of the art and required maturity (PDF)
Challenges in automotive software engineering (Abstract)
Living assistance systems: an ambient intelligence approach (Abstract)
Architectural support for trust models in decentralized applications (Abstract)
Efficient exploration of service-oriented architectures using aspects (Abstract)
Symbolic invariant verification for systems with dynamic structural adaptation (Abstract)
Improving test suites for efficient fault localization (Abstract)
Automated, contract-based user testing of commercial-off-the-shelf components (Abstract)
An intensional approach to the specification of test cases for database applications (Abstract)
Feature oriented refactoring of legacy applications (Abstract)
Aspectual mixin layers: aspects and features in concert (Abstract)
Evaluating pattern catalogs: the computer games experience (Abstract)
HDD: hierarchical delta debugging (Abstract)
Managing space for finite-state verification (Abstract)
Backwards-compatible array bounds checking for C with very low overhead (Abstract)
JunGL: a scripting language for refactoring (Abstract)
Inferring templates from spreadsheets (Abstract)
Semantics-based reverse engineering of object-oriented data models (Abstract)
Modeling behavioral design patterns of concurrent objects (Abstract)
Modeling aspect mechanisms: a top-down approach (Abstract)
A Bayesian approach to diagram matching with application to architectural models (Abstract)
Modular checking for buffer overflows in the large (Abstract)
Discovering faults in idiom-based exception handling (Abstract)
Static detection of leaks in polymorphic containers (Abstract)
Osprey: a practical type system for validating dimensional unit correctness of C programs (Abstract)
Locating faults through automated predicate switching (Abstract)
Perracotta: mining temporal API rules from imperfect traces (Abstract)
Incremental consistency checking for pervasive context (Abstract)
Interacting process classes (Abstract)
Symbolic model checking of declarative relational models (Abstract)
Estimating LOC for information systems from their conceptual data models (Abstract)
Development of a hybrid cost estimation model in an iterative manner (Abstract)
On the success of empirical studies in the international conference on software engineering (Abstract)
Publishing and composition of atomicity-equivalent services for B2B collaboration (Abstract)
Who should fix this bug? (Abstract)
Model-based development of dynamically adaptive software (Abstract)
Instant consistency checking for the UML (Abstract)
Traffic-aware stress testing of distributed systems based on UML models (Abstract)
Effects of defects in UML models: an experimental investigation (Abstract)
A risk-driven method for eXtreme programming release planning (Abstract)
Assessing COTS integration risk using cost estimation inputs (Abstract)
Lessons learnt from the analysis of large-scale corporate databases (Abstract)
Metrics for model driven requirements development (Abstract)
Mining metrics to predict component failures (Abstract)
Experiences with place lab: an open source toolkit for location-aware computing (Abstract)
A case study of a corporate open source development model (Abstract)
Redesigning legacy applications for the web with UWAT+: a case study (Abstract)
Maintaining mental models: a study of developer work habits (Abstract)
Applying the Value/Petri process to ERP software development in China (Abstract)
Applying regression test selection for COTS-based applications (Abstract)
Reengineering standalone C++ legacy systems into the J2EE partition distributed environment (Abstract)
UML-based service robot software development: a case study (Abstract)
Analysis of the interaction between practices for introducing XP effectively (Abstract)
Experiments on quality evaluation of embedded software in Japan robot software design contest (Abstract)
Procurement of enterprise resource planning systems: experiences with some Hong Kong companies (Abstract)
Detecting low usability web pages using quantitative data of users' behavior (Abstract)
Experiences of applying SPC techniques to software development processes (Abstract)
BSR: a statistic-based approach for establishing and refining software process performance baseline (Abstract)
Estimation of project success using Bayesian classifier (Abstract)
Efficiency analysis of model-based review in actual software design (Abstract)
Research journey towards industrial application of reuse technique (Abstract)
A series of development methodologies for a variety of systems in Korea (Abstract)
Effects of software industry structure on a research framework for empirical software engineering (Abstract)
Experience from applying RIM to educational ERP development (Abstract)
Critical factors in establishing and maintaining trust in software outsourcing relationships (Abstract)
Software practices in five ASEAN countries: an exploratory study (Abstract)
Overseas development for a major U.S. eCommerce website (Abstract)
An experimental comparison of four test suite reduction techniques (Abstract)
Engineering the software requirements of nonprofits: a service-learning approach (Abstract)
So you want brooks in your classroom? (Abstract)
Software engineering for undergraduates (Abstract)
Dimensions of software engineering course design (Abstract)
Inculcating invariants in introductory courses (Abstract)
Distributed development: an education perspective on the global studio project (Abstract)
Instructional design and assessment strategies for teaching global software development: a framework (Abstract)
Assessing undergraduate experience of continuous integration and test-driven development (Abstract)
A comparison of communication technologies to support novice team programming (Abstract)
Experience in teaching a software reengineering course (Abstract)
Teaching framework for software development methods (Abstract)
A software process for time-constrained course projects (Abstract)
A research agenda for distributed software development (Abstract)
Managing exceptions in the medical workflow systems (Abstract)
Multi-platform user interface construction: a challenge for software engineering-in-the-small (Abstract)
Formal methods in industry: achievements, problems, future (Abstract)
LTSA-WS: a tool for model-based verification of web service compositions and choreography (Abstract)
HighSpec: a tool for building and checking OZTA models (Abstract)
GridUnit: software testing on the grid (Abstract)
Developing and executing java AWT applications on limited devices with TCPTE (Abstract)
Interactive transformation of java programs in eclipse (Abstract)
Preventing SQL injection attacks using AMNESIA (Abstract)
A framework for automatic generation of evolvable e-commerce workplaces using business processes (Abstract)
LISFS: a logical information system as a file system (Abstract)
Relational programming with CrocoPat (Abstract)
FormulaBuilder: a tool for graph-based modelling and generation of formulae (Abstract)
Tools for model-based security engineering (Abstract)
LtRules: an automated software library usage rule extraction tool (Abstract)
MuJava: a mutation system for java (Abstract)
A tool for analyzing and detecting malicious mobile code (Abstract)
Automatic extraction of abstract-object-state machines from unit-test executions (Abstract)
3D visualization for concept location in source code (Abstract)
Towards a distributed software architecture evaluation process: a preliminary assessment (Abstract)
Identifying "good" architectural design alternatives with multi-objective optimization strategies (Abstract)
Estimating software component reliability by leveraging architectural models (Abstract)
An architectural style for high-performance asymmetrical parallel computations (Abstract)
Dynamically discovering likely interface invariants (Abstract)
Easy language extension with meta-aspectJ (Abstract)
Evaluation of mutation testing for object-oriented programs (Abstract)
Integrating static analysis and general-purpose theorem proving for termination analysis (Abstract)
The problem of knowledge decoupling in software development projects (Abstract)
Using the balanced scorecard process to compute the value of software applications (Abstract)
Designing an economic-driven evaluation framework for process-oriented software technologies (Abstract)
Portfolio management of software development projects using COCOMO II (Abstract)
Effective identification of source code authors using byte-level information (Abstract)
An empirical study on decision making in off-the-shelf component-based development (Abstract)
Understanding software application interfaces via string analysis (Abstract)
Using an information retrieval system to retrieve source code samples (Abstract)
Ensemble of missing data techniques to improve software prediction accuracy (Abstract)
A methodology and tool for performance analysis of distributed server systems (Abstract)
Analysis of multi-agent systems based on KAOS modeling (Abstract)
Understanding requirements for computer-aided healthcare workflows: experiences and challenges (Abstract)
P2P file sharing analysis for a better performance (Abstract)
A framework for modelling and analysis of software systems scalability (Abstract)
Refactoring-aware version control (Abstract)
Testing-based interactive fault localization (Abstract)
Unanticipated reuse of large-scale software features (Abstract)
Improving the customer configuration update process by explicitly managing software knowledge (Abstract)
Visual languages for event integration specification (Abstract)
XML conceptual modeling with XUML (Abstract)
Experimental program analysis: a new paradigm for program analysis (Abstract)
The echo approach to formal verification (Abstract)
A new approach for software testability analysis (Abstract)
Debugging by asking questions about program output (Abstract)
Improving the quality of UML models in practice (Abstract)
Developing cost-effective model-based techniques for GUI testing (Abstract)
Taking lessons from history (Abstract)
Software engineering for secure systems (PDF)
Second international workshop on interdisciplinary software engineering research (WISER) (PDF)
Early aspects at ICSE: workshop in aspect-oriented requirements engineering and architecture design (PDF)
Software engineering for adaptive and self-managing systems (PDF)
The role of abstraction in software engineering (PDF)
Workshop description of 4th workshop on software quality (WOSQ) (PDF)
MSR 2006: the 3rd international workshop on mining software repositories (PDF)
Fifth workshop on software engineering for large-scale multi-agent systems (SELMAS) (PDF)
Workshop on technology transfer in software engineering (PDF)
First international workshop on global integrated model management (PDF)
The first international workshop on automation of software test (PDF)
2nd international workshop on advances and applications of problem frames (PDF)
Global software development for the practitioner (PDF)
3rd international workshop on software engineering for automotive systems - SEAS 2006 (PDF)
Fourth international workshop on dynamic analysis (WODA 2006) (PDF)
International workshop on service oriented software engineering (IW-SOSE'06) (PDF)
The 8th international workshop on economics-driven software engineering research (PDF)
Software engineering themes for the future (PDF)
Case studies for software engineers (PDF)
Engineering safety-related requirements for software-intensive systems (PDF)
Variability management in software product line engineering (PDF)
Performing systematic literature reviews in software engineering (PDF)
Software evolution: analysis and visualization (PDF)
Agile methods: moving towards the mainstream of the software industry (PDF)
Designing concurrent, distributed, and real-time applications with UML (PDF)
Aspect-oriented software development beyond programming (PDF)
From semantic web to expressive software specifications: a modeling languages spectrum (PDF)
Software architectures for dependable systems: a software engineering perspective (PDF)
Tutorial: towards dynamic web services (PDF)
Web service orchestration with BPEL (PDF)
Creative requirements: invention and its role in requirements engineering (PDF)
Testing concurrent java components (PDF)
Modeling of component based systems (PDF)
How to integrate usability into the software development process (PDF)
Software component models (PDF)