By Topic

33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO 2007)

Date 28-31 Aug. 2007

Filter Results

Displaying Results 1 - 25 of 61
  • 33rd EUROMICRO Conference on Software Engineering and Advanced Applications - Cover

    Publication Year: 2007, Page(s): c1
    Request permission for commercial reuse | PDF file iconPDF (42 KB)
    Freely Available from IEEE
  • 33rd EUROMICRO Conference on Software Engineering and Advanced Applications - Title page

    Publication Year: 2007, Page(s):i - iii
    Request permission for commercial reuse | PDF file iconPDF (178 KB)
    Freely Available from IEEE
  • 33rd EUROMICRO Conference on Software Engineering and Advanced Applications - Copyright

    Publication Year: 2007, Page(s): iv
    Request permission for commercial reuse | PDF file iconPDF (159 KB)
    Freely Available from IEEE
  • 33rd EUROMICRO Conference on Software Engineering and Advanced Applications - Table of contents

    Publication Year: 2007, Page(s):v - ix
    Request permission for commercial reuse | PDF file iconPDF (144 KB)
    Freely Available from IEEE
  • Message from the Conference Chairs

    Publication Year: 2007, Page(s): xi
    Request permission for commercial reuse | PDF file iconPDF (136 KB) | HTML iconHTML
    Freely Available from IEEE
  • Message from the Track Chairs - Component-based Software Engineering

    Publication Year: 2007, Page(s): xi
    Request permission for commercial reuse | PDF file iconPDF (136 KB) | HTML iconHTML
    Freely Available from IEEE
  • Message from the Track Chair - Multimedia and Telecommunications

    Publication Year: 2007, Page(s): xiii
    Request permission for commercial reuse | PDF file iconPDF (131 KB) | HTML iconHTML
    Freely Available from IEEE
  • Message from the Track Chairs - Software Process and Product Improvement

    Publication Year: 2007, Page(s): xiv
    Request permission for commercial reuse | PDF file iconPDF (124 KB) | HTML iconHTML
    Freely Available from IEEE
  • Message from the Special Sessions Chairs - Next Generation of Web Computing

    Publication Year: 2007, Page(s): xv
    Request permission for commercial reuse | PDF file iconPDF (126 KB) | HTML iconHTML
    Freely Available from IEEE
  • Message from the Special Sessions Chairs

    Publication Year: 2007, Page(s): xvi
    Request permission for commercial reuse | PDF file iconPDF (133 KB) | HTML iconHTML
    Freely Available from IEEE
  • Message from the Special Sessions Chairs - Software Management

    Publication Year: 2007, Page(s): xvii
    Request permission for commercial reuse | PDF file iconPDF (121 KB) | HTML iconHTML
    Freely Available from IEEE
  • Program Committees

    Publication Year: 2007, Page(s): xviii
    Request permission for commercial reuse | PDF file iconPDF (131 KB)
    Freely Available from IEEE
  • A Taxonomy of Information Security for Service-Centric Systems

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

    Pervasive communications and the rapid expansion of Internet trigger a myriad of concerns about trust and information security. Moreover, composing software from components and services, originating from diverse sources, without a thorough quality assurance practices may expose serious weaknesses that open up the systems for malicious attacks and misuse. In order to guarantee the security of the s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Component-Based and Service-Oriented Software Engineering: Key Concepts and Principles

    Publication Year: 2007, Page(s):13 - 20
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (265 KB) | HTML iconHTML

    Component-based software engineering (CBSE) and service-oriented software engineering (SOSE) are two of the most dominant engineering paradigms in current software community and industry. Although they have continued their development tracks in parallel and have different focus, both paradigms have similarities in many senses, which also have resulted in confusion in understanding and applying sim... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Component Model for Adaptive Middleware Services and Applications

    Publication Year: 2007, Page(s):21 - 30
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (489 KB) | HTML iconHTML

    This paper contributes a novel component model (called MidGate) that enables behavioral adaptation of pervasive middleware services and applications as part of a reflective middleware platform. The component model applies the concept of middleware reflection to dynamically varying computing resources. The research problem addressed in the paper is how to support a pervasive computing environment's... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Elastic Components: Addressing Variance of Quality Properties in Components

    Publication Year: 2007, Page(s):31 - 38
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (247 KB) | HTML iconHTML

    The quality properties of a software component, although verified by the component developer and even certified by a trusted third-party, might very well be inappropriate for the requirements of a new system. This is what we call the quality mismatch problem: the mismatch between the quality requirements of a new system with the quality properties exhibited by the components that we want to use fo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Improving service selection in component-based architectures with optimal stopping

    Publication Year: 2007, Page(s):39 - 46
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (296 KB) | HTML iconHTML

    This paper describes how optimal stopping strategies are applicable to certain situations of service selection in component-based and service-oriented software architectures. It shows how optimal stopping can be used at runtime to stop with 0(n) complexity a dynamic service selection process and then yield 1/e probability for the best choice. It provides experimental confirmation in a simulation w... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using a Configurator for Predictable Component Composition

    Publication Year: 2007, Page(s):47 - 58
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (267 KB) | HTML iconHTML

    Predicting the properties of a component composition has been studied in component-based engineering. However, most studies do not address how to find a component composition that satisfies given functional and nonfunctional requirements. This paper proposes that configurable products and configurators can be used for solving this task. The proposed solution is based on the research on traditional... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using Model Differencing for Architecture-level Regression Testing

    Publication Year: 2007, Page(s):59 - 66
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (844 KB) | HTML iconHTML

    Regression testing can be systematically applied at the software architecture level in order to reduce the cost of retesting modified systems, and also to assess the regression testability of the evolved system. With the advent of model-based specification and analysis of software architectures, regression testing at the architectural level can be handled by analyzing how the architectural model e... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Guiding Component-Based Hardware/Software Co-Verification with Patterns

    Publication Year: 2007, Page(s):67 - 74
    Cited by:  Papers (2)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (159 KB) | HTML iconHTML

    In component-based hardware/software co-verification, properties of an embedded system are established from properties of its hardware and software components. A major challenge in component-based co-verification is the property formulation problem: (1) what are the system properties to verify, (2) what are the component properties needed for verifying the system properties, and (3) what are the e... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Partial Verification of Software Components: Heuristics for Environment Construction

    Publication Year: 2007, Page(s):75 - 82
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (296 KB) | HTML iconHTML

    Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single component typically comprises a smaller state space than the whole system. We present a technique that mitigates the problem of state explosion in code checking of primitive components with the Java PathFinder in case the check... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Software Component Maturity Model (SCMM)

    Publication Year: 2007, Page(s):83 - 92
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (240 KB) | HTML iconHTML

    Component-based software development (CBSD) is focused on assembling existing components to build a software system, with a potential benefit of delivering quality systems more fast, thus, increasing its productivity. These benefits are just achieved if the software components used to compose the software system were previously evaluated in order to establish a certain quality level. However, ther... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Experimental Study in Domain Engineering

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

    This paper reports on an experimental study in trying to analyze a domain engineering process in order to evaluate its efficiency and difficulties of using it in a domain engineering project. The study discusses since its definition until the lessons learned. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Compatibility and reuse in component-based systems via type and unit inference

    Publication Year: 2007, Page(s):101 - 108
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (260 KB) | HTML iconHTML

    In many branches of industry, the component-based approach to systems design is predominant, e. g., as in embedded control systems which are often modelled using MATLAB/Simulink. In order to facilitate reuse, and to raise the level of abstraction for future designs and frequently used functions, the employed tool sets offer built-in mechanisms to create sophisticated component libraries. For large... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Platform Design for Software Product Lines of Data-intensive Systems

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

    Software product line engineering promises rapid, feature oriented development of similar products in a particular domain by reusing core artifacts. Commonalities and variabilities of individual products are obtained by domain analysis and described in feature models. According to the feature model, reusable core assets or artifacts need to be designed and implemented to be assembled in particular... View full abstract»

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