25th International Conference on Software Engineering, 2003. Proceedings.

3-10 May 2003

Filter Results

Displaying Results 1 - 25 of 126
  • Research demonstrations and posters

    Publication Year: 2003, Page(s):800 - 801
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (181 KB) | HTML iconHTML

    Automation plays an important role in software engineering. ne transition from research breakthroughs to usable tools is neither linear nor easy, and requires a fortunate combination of many elements difficult to identify and merge. In this hard transition process, research prototypes are an important step. They allow researchers to early experience ideas and results on real case studies, and to l... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Second international workshop on from SofTware requirements to architectures (STRAW'03)

    Publication Year: 2003, Page(s):797 - 798
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (248 KB) | HTML iconHTML

    The Second International Workshop on From SofTware Requirements to Architectures (STRAW'03) was held in Portland, Oregon, USA on 9 May 2003 just after the Twenty-Fifth International Conference on Software Engineering (ICSE'03). This brief paper outlines the motivation, goals, and organization of the workshop. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Effective experience repositories for software engineering

    Publication Year: 2003, Page(s):534 - 539
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (237 KB) | HTML iconHTML

    Software development and acquisition require knowledge and experience in many areas of software engineering. Experience helps people to make decisions under uncertainty, and to find better compromises. Experience-based process improvement considers experience as a prerequisite for competent behavior in software development. There is usually a repository to store experiences and to make it availabl... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Architectural interaction diagrams: AIDs for system modeling

    Publication Year: 2003, Page(s):396 - 406
    Cited by:  Papers (6)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (882 KB) | HTML iconHTML

    This paper develops a modeling paradigm called Architectural Interaction Diagrams, or AIDs, for the high-level design of systems containing concurrent, interacting components. The novelty of AIDs is that they introduce interaction mechanisms, or buses, as first-class entities into the modeling vocabulary. Users then have the capability, in their modeling, of using buses whose behavior captures int... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software technology in an automotive company - major challenges

    Publication Year: 2003, Page(s):498 - 503
    Cited by:  Papers (40)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (338 KB) | HTML iconHTML

    The automotive industry is one of the sectors which has been affected significantly by the industrial software revolution during the last few years. Competitive challenges, which are of major relevance for the growing number of software-based automotive innovations, are presented by a dramatic growth in system complexity, rising time and cost pressure, and high quality demands. All these requireme... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Goal-oriented requirements engineering: from system objectives to UML models to precise software specifications

    Publication Year: 2003, Page(s):744 - 745
    Cited by:  Papers (13)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (294 KB) | HTML iconHTML

    This tutorial presents a comprehensive overview of state-of-the-art techniques for eliciting, modeling, specifying, analyzing and documenting high-quality system requirements. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using benchmarking to advance research: a challenge to software engineering

    Publication Year: 2003, Page(s):74 - 83
    Cited by:  Papers (42)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (274 KB) | HTML iconHTML

    Benchmarks have been used in computer science to compare the performance of computer systems, information retrieval algorithms, databases, and many other technologies. The creation and widespread use of a benchmark within a research area is frequently accompanied by rapid technical progress and community building. These observations have led us to formulate a theory of benchmarking within scientif... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • ICSE workshop on dynamic analysis (WODA 2003)

    Publication Year: 2003, Page(s):795 - 796
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (199 KB) | HTML iconHTML

    Dynamic analysis of software systems has long proven to be a practical approach to gain understanding of the operational behavior of the system. This workshop will bring together researchers in the field of dynamic analysis to discuss the breadth of the field, order the field along logical dimensions, expose common issues and approaches, and stimulate synergistic collaborations among the participa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Palantir: raising awareness among configuration management workspaces

    Publication Year: 2003, Page(s):444 - 454
    Cited by:  Papers (73)  |  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (357 KB) | HTML iconHTML

    Current configuration management systems promote workspaces that isolate developers from each other. This isolation is both good and bad It is good, because developers make their changes without any interference from changes made concurrently by other developers. It is bad, because not knowing which artifacts are changing in parallel regularly leads to problems when changes are promoted from works... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • About the development of a point of sale system: an experience report

    Publication Year: 2003, Page(s):528 - 533
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (313 KB) | HTML iconHTML

    This report comprises some experiences, which were made during the development of a point of sale (POS) system. Specific about the project is the fact that it started as an attempt to develop customizable standard software, and then was restructured to deliver a unique project solution. This report details the situation before and after the restructuring, and discusses the experiences made through... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design recovery of interactive graphical applications

    Publication Year: 2003, Page(s):114 - 124
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1038 KB) | HTML iconHTML

    Nowadays, the majority of productivity applications are interactive and graphical in nature. In this paper, we explore the possibility of taking advantage of these two characteristics in a design recovery tool. Specifically, the fact that an application is interactive means that we can identify distinct execution bursts corresponding closely to "actions" performed by the user The fact that the app... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modular verification of software components in C

    Publication Year: 2003, Page(s):385 - 395
    Cited by:  Papers (45)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (325 KB) | HTML iconHTML

    We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompose the verification of large software systems into subproblems of manageable complexity. The decomposition reflects the modularity in the software design. We use weak simulation as the notion of conformance between the pro... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • From scenarios to code: an air traffic control case study

    Publication Year: 2003, Page(s):490 - 495
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (332 KB) | HTML iconHTML

    Two high profile workshops at OOPSLA and ICSE, an IEEE Computer article by David Harel and a growing number of research papers have all suggested algorithms that translate scenarios of a system's behavior into state machines. One of the uses of such algorithms is in the transition from requirements scenarios to component design. To date, however, most efforts have concentrated on the algorithmic d... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Computing systems dependability

    Publication Year: 2003, Page(s):742 - 743
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (325 KB) | HTML iconHTML

    Computer systems provide us with a wide range of services upon which we have come to depend. Many computers are embedded in more complex devices that we use such as automobiles, aircraft, appliances, and medical devices. Others are part of sophisticated systems that provide us with a variety of important facilities such as financial services, telecommunications, transportation systems, and energy ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Improving test suites via operational abstraction

    Publication Year: 2003, Page(s):60 - 71
    Cited by:  Papers (48)  |  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (329 KB) | HTML iconHTML

    This paper presents the operational difference technique for generating, augmenting, and minimizing test suites. The technique is analogous to structural code coverage techniques, but it operates in the semantic domain of program properties rather than the syntactic domain of program text. The operational difference technique automatically selects test cases; it assumes only the existence of a sou... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • JIVE: visualizing Java in action demonstration description

    Publication Year: 2003, Page(s):820 - 821
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (190 KB) | HTML iconHTML

    Dynamic software visualization should provide a programmer with insights as to what the program is doing. Most current dynamic visualizations either use program traces to show information about prior runs, slow the program down substantially, show only minimal information, or force the programmer to indicate when to turn visualizations on or off. We have developed a dynamic Java visualizer that pr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Addressing the challenges of software industry globalization: the workshop on global software development

    Publication Year: 2003, Page(s):793 - 794
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (319 KB) | HTML iconHTML

    The goal of this workshop is to provide an opportunity for researchers and industry practitioners to explore both the state-of-the art and the state-of-the-practice in global software development (GSD). Increased globalization of software development creates software engineering challenges due to the impact of temporal, geographical and cultural differences, and requires development of techniques ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The co-evolution of a hype and a software architecture: experience of component-producing large-scale EJB early adopters

    Publication Year: 2003, Page(s):553 - 556
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (256 KB) | HTML iconHTML

    abaXX. components was one of the first AN software products fully based on Enterprise JavaBeans™ (EJB) technology. We describe the evolution of its architecture as it moved from simply taking the initial EJB hype for the truth, through several intermediate stages, to using EJB simply as one of several encapsulated implementation techniques. So far, the public perception of how to use EJB pro... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Tools for understanding the behavior of telecommunication systems

    Publication Year: 2003, Page(s):430 - 441
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1030 KB) | HTML iconHTML

    Many methods and tools for the reengineering of software systems have been developed so far However, the domain-specific requirements of telecommunication Systems have not been addressed sufficiently. These systems are designed in a process- rather than in a data-centered way. Furthermore, analyzing and visualizing dynamic behavior is a key to system understanding. In this paper, we report on tool... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Tricks and traps of initiating a product line concept in existing products

    Publication Year: 2003, Page(s):520 - 525
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (268 KB) | HTML iconHTML

    Many industries are hampered with introducing the product line concept into already existing products. Though appealing, the concept is very difficult to introduce specifically into a legacy environment. All too often the impacts and risks are not considered adequately. This article describes the introduction of a product line approach in Alcatel's S12 Voice Switching System Business Unit. Practic... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the uniformity of software evolution patterns

    Publication Year: 2003, Page(s):106 - 113
    Cited by:  Papers (22)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (330 KB) | HTML iconHTML

    Preparations for Y2K reminded the software engineering community of the extent to which long-lived software systems are embedded in our daily environments. As systems are maintained and enhanced throughout their lifecycles they appear to follow generalized behaviors described by the laws of software evolution. Within this context, however, there is some question of how and why systems may evolve d... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A compositional formalization of connector wrappers

    Publication Year: 2003, Page(s):374 - 384
    Cited by:  Papers (26)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1072 KB)

    Increasingly systems are composed of parts: software components, and the interaction mechanisms (connectors) that enable them to communicate. When assembling systems front independently developed and potentially mismatched parts, wrappers may be used to overcome mismatch as well as to remedy extra-functional deficiencies. Unfortunately the current practice of wrapper creation and use is ad hoc, re... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fifth international workshop on economics-driven software engineering research (EDSER-5) "The search for value in engineering decisions"

    Publication Year: 2003, Page(s):773 - 774
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (170 KB) | HTML iconHTML

    The series of EDSER workshops are a unique forum to discuss and advance the state-of-the-art research and practice in economics driven software engineering. The EDSER-5 will bring together leading researchers and practitioners to provide further understanding how economic and business considerations affect - and should affect - software engineering decisions. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fragment class analysis for testing of polymorphism in Java software

    Publication Year: 2003, Page(s):210 - 220
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (314 KB) | HTML iconHTML

    Adequate testing of polymorphism in object-oriented software requires coverage of all possible bindings of receiver classes and target methods at call sites. Tools that measure this coverage need to use class analysis to compute the coverage requirements. However, traditional whole-program class analysis cannot be used when testing partial programs. To solve this problem, we present a general appr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Precise dynamic slicing algorithms

    Publication Year: 2003, Page(s):319 - 329
    Cited by:  Papers (21)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (396 KB) | HTML iconHTML

    Dynamic slicing algorithms can greatly reduce the debugging effort by focusing the attention of the user on a relevant subset of program statements. In this paper we present the design and evaluation of three precise dynamic slicing algorithms called the full preprocessing (FP), no preprocessing (NP) and limited preprocessing (LP) algorithms. The algorithms differ in the relative timing of constru... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.