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

3-10 May 2003

Filter Results

Displaying Results 1 - 25 of 126
  • Towards systematic recycling of systems requirements

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

    Many (technical) systems are not developed from scratch but as an evolution of existing systems. Consequently, a large portion of the system requirements employed can be recycled when building the next version of the product. Usually, this recycling step is performed unsystematically, i.e. simply by copying and modifying complete requirements documents. In this paper, we present in a case study a ... View full abstract»

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

    Publication Year: 2003, Page(s):705 - 715
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (275 KB) | HTML iconHTML

    As more business activities are being automated and an increasing number of computers are being used to store sensitive information, the need for secure computer systems becomes more apparent. This need is even more apparent as systems and applications are being distributed and accessed via an insecure network, such as the Internet. The Internet itself has become critical for governments, companie... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The grand challenge of trusted components

    Publication Year: 2003, Page(s):660 - 667
    Cited by:  Papers (31)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (733 KB) | HTML iconHTML

    Reusable components equipped with strict guarantees of quality can help reestablish software development on a stronger footing, by taking advantage of the scaling effect of reuse to justify the extra effort of ensuring impeccable quality. This discussion examines work intended to help the concept of Trusted Component brings its full potential to the software industry, along two complementary direc... 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.
  • Positive experiences with an open project assignment in an introductory programming course

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

    The course SIF8005 Object-Oriented Programming at the NTNU is in many respects taught in a quite traditional manner, with a well-known textbook, lectures in huge auditoria, and compulsory exercises that the students have to deliver to be allowed to sit a final written exam. The exercise part of the course is a mixture of individual exercises on a weekly basis, and a somewhat larger project to be d... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Experiences on defining and evaluating an adapted review process

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

    This paper presents our experiences with the introduction of a review process for software requirements documents in a development project of the Passenger Car Development business unit (PCD) of DaimlerChrylser AG. As software quality management and quality assurance must be carefully integrated into existing company processes or business cultures, we had to substantially adapt the review process ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Patterns, frameworks, and middleware: their synergistic relationships

    Publication Year: 2003, Page(s):694 - 704
    Cited by:  Papers (23)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (1068 KB) | HTML iconHTML

    The knowledge required to develop complex software has historically existed in programming folklore, the heads of experienced developers, or buried deep in the code. These locations are not ideal since the effort required to capture and evolve this knowledge is expensive, time-consuming, and error-prone. Many popular software modeling methods and tools address certain aspects of these problems by ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Empowering software engineers in human-centered design

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

    Usability is about to become the quality measure of today's interactive software including Web sites, and mobile appliances. User-centered design approach emerges from this need for developing more usable products. However, interactive systems are still designed and tested by software and computer engineers unfamiliar with UCD and the related usability engineering techniques. While most software d... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A software process scheduling simulator

    Publication Year: 2003, Page(s):816 - 817
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (222 KB) | HTML iconHTML

    To cut development cost and meet tight deadlines in short staffed software projects, managers must optimize the project schedule. Scheduling a software project is extremely difficult, though, because the time needed to complete a software development activity is hard to estimate. Often, the completion of a task is delayed because of unanticipated rework caused by feedback between activities in the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software engineering for large-scale multi-agent systems - SELMAS'2003

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

    Objects and agents are abstractions that exhibit Points of similarity, but the development of multi-agent systems (MASs) poses other challenges to Software Engineering since software agents are inherently more complex entities. In addition, a large MAS needs to satisfy multiple stringent requirements such as reliability, trustability, security, interoperability, scalability, reusability, and maint... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The impact of pair programming on student performance, perception and persistence

    Publication Year: 2003, Page(s):602 - 607
    Cited by:  Papers (35)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (232 KB) | HTML iconHTML

    This study examined the effectiveness of pair programming in four lecture sections of a large introductory programming course. We were particularly interested in assessing how the use of pair programming affects student performance and decisions to pursue computer science related majors. We found that students who used pair programming produced better programs, were more confident in their solutio... 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 (43)
    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.
  • 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.
  • Second workshop on scenarios and state machines: models, algorithms, and tools

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

    Following the success of the "First Workshop on Scenarios and State Machines: Models, Algorithms, and Tools" held at ICSE 2002 in Orlando [1], this workshop aims at bringing together researchers and practitioners to build a shared understanding on the relation between scenarios and state machines and to gain insight into techniques and tools that may leverage the combination of these approaches to... 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 (48)  |  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.
  • Component technology - what, where, and how?

    Publication Year: 2003, Page(s):684 - 693
    Cited by:  Papers (49)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (838 KB) | HTML iconHTML

    Software components, if used properly, offer many software engineering benefits. Yet, they also pose many original challenges starting from quality assurance and ranging to architectural embedding and composability. In addition, the recent movement towards services, as well as the established world of objects, causes many to wonder what purpose components might have. This extended abstract summari... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the supervision and assessment of part-time postgraduate software engineering projects

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

    This paper describes existing practices in the supervision and assessment of projects undertaken by part-time, postgraduate students in Software Engineering. It considers this aspect of the learning experience, and the educational issues raised, in the context of existing literature-much of which is focussed upon the experience of full-time, undergraduate students. The importance of these issues w... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • FEAT a tool for locating, describing, and analyzing concerns in source code

    Publication Year: 2003, Page(s):822 - 823
    Cited by:  Papers (23)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (302 KB) | HTML iconHTML

    Developers working on existing programs repeatedly have to address concerns, or aspects, that are not well modularized in the source code comprising a system. In such cases, a developer has to first locate the implementation of the concern in the source code comprising the system, and then document the concern sufficiently to be able to understand it and perform the actual change task. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Computer-assisted assume/guarantee reasoning with VeriSoft

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

    We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of parallel processes automatically. The analysis is meant to complement standard assume/guarantee reasoning which is usually carried out solely with "pencil and paper". While a successful analysis does not always imply the ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Teaching contract programming concepts to future software engineers

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

    Current research in software engineering at Karlstad University is concentrated on non-formal software design methods with a focus on semantics. One goal is to produce methods, which may be applied in both industry and academia. In concrete terms, ideas from contract programming, including preand postconditions have been introduced into the first year curriculum. This paper presents results taken ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • DRT: A tool for design recovery of interactive graphical applications

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

    Nowadays, the majority of productivity applications are interactive and graphical in nature. In this demonstration, 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 tha... View full abstract»

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

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

    The Pioneers' Symposium provides a forum in which Software Engineering's next generation of researchers, faculty, and practitioners have the opportunity to interact with and learn from some of the field's pioneering thinkers. The invited speakers are individuals whose works are not only seminal, but have demonstrated enduring value to both the research and development communities. Attendees will h... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Why can't they create architecture models like "Developer X"? An experience report

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

    A large financial company, struggling with legacy systems that did not interoperate, performed a pilot project to teach software architecture to an enthusiastic application development team. Experienced mentors, including the author, worked with the application team for seven months to complete their engineering goal successfully. However, the mentors were unsuccessful in their attempt to train an... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • eXtreme programming at universities - an educational perspective

    Publication Year: 2003, Page(s):594 - 599
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (682 KB)

    To address the problems of traditional software development, recent years have shown the introduction of more light-weight or "agile" development processes (eXtreme Programming being the most prominent one). These processes are intended to support early and quick production of working code by structuring the development into small release cycles and focus on continual interaction between developer... 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.