ICSE

Our research has focused on identifying techniquesto develop software that is amenable to refactoring andchange. The Law of Demeter (LoD) was one contributionin this effort. But it led to other problems. With thecurrent state of the art focused on ...

Data from biological research is proliferating rapidlyand advanced data storage and analysis methods are requiredto manage it. We introduce the main sources of biologicaldata available and outline some of the domainspecific problems associated with ...

Rapid acceptance of the Web Services architecturepromises to make it the most widely supported andpopular object-oriented architecture to date. Oneconsequence is that a wave of mission-critical WebServices applications will certainly be deployed ...

The main contribution of this research is to provideplatform-independent means to support reliability designfollowing the principles of a model driven approach. Thecontribution aims to systematically address dependabilityconcerns from the early to the ...

Current peer-to-peer architectures are hardly resistantagainst unanticipated exceptions such as the failure ofsingle peers. This can be justified by the absence of sophisticatedmodels for detecting and handling exceptionin peer-to-peer architectures. On ...

Component integration creates value by automatingthe costly and error-prone task of imposing desiredbehavioral relationships on components manually.Requirements for component integration, however,complicate software design and evolution in severalways: ...

My research area is fundamental of formal analysis ofreal-time embedded systems. The main objective of thisresearch is the theoretical and practical development of averification algorithm for the formal analysis of real-timeembedded systems based on the ...

The goal of this research is to demonstrate that a subsetof a set of 38 requirements management measures are goodpredictors of stability and volatility of requirements andchange requests. At the time of writing we have theoreticallyvalidated ten of ...

Developing software using a well-defined, well-understoodprocess improves the likelihood of deliveringa product with the required quality. Enhancing thatprocess to meet recognised process standards, such asCMMI and ISO 9000, can further facilitate ...

This research abstract presents two approaches forutilizing the developersý subjective design qualityevaluations during the software lifecycle. In process-basedapproach developers study and improve theirsystemýs structure at fixed intervals. Tool-based ...

In my research I try to de.ne a framework which can beused to provide semantics for non-functional specificationsof component-based systems. Some of the key questionsdriving my work are:What is the fundamental difference between functionaland non-...

Attempts to reduce the number of delivered faults in softwareare estimated to consume 50% to 80% of the developmentand maintenance effort [3]. Among the tasks requiredto reduce the number of delivered faults, debugging is oneof the most time-consuming [...

The development of software products is a complex activitywith a large number of factors involved in definingsuccess. As real-world experimentation is difficult andcostly, researchers have used various techniques in an attemptto model the development ...

The field reliability is measured too late for affordablyguiding corrective action to improve the quality of thesoftware. Software developers can benefit from an earlywarning of their reliability while they can still affordablyreact. This early warning ...

Software visualisation is the process of modellingsoftware systems for comprehension [6]. Thecomprehension of software systems both during and afterdevelopment is a crucial component of the softwareprocess [8]. The complex interactions inherent in ...

The development of a software system of any reasonable size from initial conception through ongoing maintenance and evolution accrues significant coordination overheads.Often the mechanisms used to manage change and coordination detract from the time ...

We present a software architecture-based approach tocompositional estimation of systemýs reliability. Ourapproach is applicable to early stages of developmentwhen the implementation artifacts are not yet available,and exact execution profile is unknown. ...

The objective of this thesis is to extend the formal methodology of refinement of requirements specifications SCTL/MUS to a multi-perspective environment where coexist requirements specifications which belong to each stakeholder involved in the software ...

The Unified Modeling Language (UML) [7] is a standardlanguage for modelling the design of object oriented softwaresystems. The currently available UML design toolsmainly provide support for drawing the UML diagrams, i.e.for recording a chosen design, ...

Component-Based System (CBS) technology supportsrapid development of complex heterogeneous evolving systemsby enhancing reuse and adaptability. CBSs can be extendedand adapted by modifying one or more components.The same component can be used in several ...

We propose a constraint-based structural architecturaldescription language for specifying and reasoning aboutself-organising software architectures and for guidingtheir evolution. We also introduce a notion of tacticsadded into the new language so as to ...

A number of testing strategies have been proposedusing state machines and statecharts as test models inorder to derive test sequences and validate classes orclass clusters. Though such criteria have the advantage ofbeing systematic, little is known on ...

Most research on automated specification-based softwaretesting has focused on the automated generation oftest cases. Before a software system can be tested, it must beset up according to the input requirements of the test cases.This setup process is ...

Using bi-criteria decision making analysis, a new modelfor test suite minimization has been developed that pursuestwo objectives: minimizing a test suite with regard to a particularlevel of coverage while simultaneously maximizingerror detection rates. ...

While the importance of multi-tier architectures for enterpriseinformation systems is widely accepted and theirbenefits are well published, the systematic migration frommonolithic legacy systems toward multi-tier architectures isknown to a much lesser ...

Product line architectures (PLAs) have been undercontinuous attention in the software research communityduring the past few years. Although several methods havebeen established to create PLAs there are not availablestudies comparing PLA methods. Five ...

Increasingly popular languages such as Java and C# requireefficient garbage collection. This paper presents thedesign, implementation, and evaluation of MMTk, a MemoryManagement Toolkit for and in Java. MMTk is an efficient, composable, extensible, and ...