By Topic

2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops

Date 15-16 Sept. 2008

Filter Results

Displaying Results 1 - 25 of 48
  • [Title page]

    Publication Year: 2008, Page(s): i
    Request permission for commercial reuse | PDF file iconPDF (127 KB)
    Freely Available from IEEE
  • [Copyright notice]

    Publication Year: 2008
    Request permission for commercial reuse | PDF file iconPDF (21 KB)
    Freely Available from IEEE
  • ARAMIS 2008 International workshop on Automated engineeRing of Autonomous and run-tiMe evolvIng Systems

    Publication Year: 2008, Page(s): iii
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (47 KB) | HTML iconHTML

    First Page of the Article
    View full abstract»

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

    Publication Year: 2008, Page(s): iv
    Request permission for commercial reuse | PDF file iconPDF (61 KB) | HTML iconHTML
    Freely Available from IEEE
  • Committee

    Publication Year: 2008, Page(s): v
    Request permission for commercial reuse | PDF file iconPDF (41 KB)
    Freely Available from IEEE
  • Table of contents

    Publication Year: 2008, Page(s): vi
    Request permission for commercial reuse | PDF file iconPDF (67 KB)
    Freely Available from IEEE
  • Algorithms for efficient symbolic detection of faults in context-aware applications

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

    Context-aware and adaptive applications running on mobile devices pose new challenges for the verification community. Current verification techniques are tailored for different domains (mostly hardware) and the kind of faults that are typical of applications running on mobile devices are difficult (or impossible) to encode using the patterns of ldquotraditionalrdquo verification domains. In this p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A development process for context-aware adaptive services

    Publication Year: 2008, Page(s):9 - 16
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (7794 KB) | HTML iconHTML

    Pervasive computing infrastructure makes it possible for mobile users to run software services on extremely heterogeneous and resource-constrained mobile devices. Heterogeneity and device limitedness creates serious problems for the development and deployment of mobile services that are able to run properly on the execution context and are able to ensures that users experience the ldquobestrdquo Q... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Building autonomic components: The SelfLets approach

    Publication Year: 2008, Page(s):17 - 24
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (341 KB) | HTML iconHTML

    Autonomic computing is an emergent field aiming at the development of large-scale, self-managing, distributed component-based systems. This paper presents the model and the architecture of an autonomic computing element called SelfLet, which is a building component that can be used to create autonomic systems. SelfLets can be defined by specifying their goal, behaviors, services they need to use a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Self-healing strategies for component integration faults

    Publication Year: 2008, Page(s):25 - 32
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (202 KB) | HTML iconHTML

    Software systems increasingly integrate Off-The-Shelf (OTS) components. However, due to the lack of knowledge about the reused OTS components, this integration is fragile and can cause in the field a lot of failures that result in dramatic consequences for users and service providers, e.g. loss of data, functionalities, money and reputation. As a consequence, dynamic and automatic fixing of integr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems

    Publication Year: 2008, Page(s):33 - 40
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (408 KB) | HTML iconHTML

    The safe run-time evolution of complex software-intensive systems requires that the impact of changes can be predicted at run-time. In this paper we consider the specific case of self-adaptive software-intensive systems using an example for the coordination of autonomous vehicles. We show how incremental run-time checks can verify that changes in the rule set which governs the distributed rule-bas... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Architecture support for runtime integration and verification of component-based Systems of Systems

    Publication Year: 2008, Page(s):41 - 48
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (446 KB) | HTML iconHTML

    Systems-of-systems (SoS) represent a novel kind of system, for which runtime evolution is a key requirement, as components join and leave during runtime. Current component integration and verification techniques are not enough in such a dynamic environment. In this paper we present ATLAS, an architectural framework that enables the runtime integration and verification of a system, based on the bui... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • SAVVY-WS at a glance: Supporting verifiable dynamic service compositions

    Publication Year: 2008, Page(s):49 - 56
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (225 KB) | HTML iconHTML

    Service-oriented architectures support the development of distributed and evolvable applications that live in an open world. We focus on Web service compositions through which new added-value services are provisioned by integrating pre-existing services through a workflow. We assume that such pre-existing services can be selected and bound at run time to support continuous evolution and contextual... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Introducing service-oriented coverage testing

    Publication Year: 2008, Page(s):57 - 64
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (411 KB) | HTML iconHTML

    Testing of service-oriented systems is challenged by loose coupling and high dynamism, which are the founding characteristics of this emerging paradigm. Traditional test approaches needs to be revised for such systems, and in particular white-box techniques cannot be applied because services only grant black-box access. We introduce here a novel methodology, called SOCT (service-oriented coverage ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • PLASTIC: Providing lightweight & adaptable service technology for pervasive information & communication

    Publication Year: 2008, Page(s):65 - 70
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4552 KB) | HTML iconHTML

    The PLASTIC project adopts and revisits service-oriented computing for Beyond 3rd Generation (B3G) networks, in particular aiming at assisting the development of services targeted at mobile devices. Specifically, PLASTIC introduces the PLASTIC platform to enable robust distributed lightweight services in B3G networking environments through: (a) A development environment for the thorough... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • SHADOWS: Self-healing complex software systems

    Publication Year: 2008, Page(s):71 - 76
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3229 KB) | HTML iconHTML

    As software systems grow in size and complexity, their vulnerability to faults increases, and their reliability and manageability deteriorate. Software assurance methods which aim to alleviate this problem do not scale well. Careful design can also help eliminating faults, yet some are never addressed at design time. Software self-healing is an emerging approach to tackling this problem. Self-heal... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards supporting evolution of service-oriented architectures through quality impact prediction

    Publication Year: 2008, Page(s):77 - 81
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1995 KB) | HTML iconHTML

    The difficulty in evolving service-oriented architectures with extra-functional requirements seriously hinders the spread of this paradigm in critical application domains. This work tries to offset this disadvantage by introducing a design-time quality impact prediction and trade-off analysis method, which allows software engineers to predict the extra-functional consequences of alternative design... View full abstract»

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

    Publication Year: 2008, Page(s): 82
    Request permission for commercial reuse | PDF file iconPDF (41 KB)
    Freely Available from IEEE
  • [Title page]

    Publication Year: 2008, Page(s): i
    Request permission for commercial reuse | PDF file iconPDF (35 KB)
    Freely Available from IEEE
  • [Copyright notice]

    Publication Year: 2008, Page(s): ii
    Request permission for commercial reuse | PDF file iconPDF (22 KB)
    Freely Available from IEEE
  • Preface

    Publication Year: 2008, Page(s): iii
    Request permission for commercial reuse | PDF file iconPDF (41 KB) | HTML iconHTML
    Freely Available from IEEE
  • Committee

    Publication Year: 2008, Page(s): iv
    Request permission for commercial reuse | PDF file iconPDF (38 KB)
    Freely Available from IEEE
  • Contents

    Publication Year: 2008, Page(s): v
    Request permission for commercial reuse | PDF file iconPDF (64 KB)
    Freely Available from IEEE
  • A survey of social software engineering

    Publication Year: 2008, Page(s):1 - 12
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (384 KB) | HTML iconHTML

    Software engineering is a complex socio-technical activity, due to the need for discussing and sharing knowledge among team members. This has raised the need for effective ways of sharing ideas, knowledge, and artifacts among groups and their members. The social aspect of software engineering process also demands computer support to facilitate the development by means of collaborative tools, appli... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Bridging ontologies and folksonomies to leverage knowledge sharing on the social Web: A brief survey

    Publication Year: 2008, Page(s):13 - 18
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (321 KB) | HTML iconHTML

    Social tagging systems have recently became very popular as a means to classify large sets of resources shared among on-line communities over the social Web. However, the folksonomies resulting from the use of these systems revealed limitations : tags are ambiguous and their spelling may vary, and folksonomies are difficult to exploit in order to retrieve or exchange information. This article comp... View full abstract»

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