By Topic

Software Engineering Workshop (SEW), 2009 33rd Annual IEEE

Date 13-14 Oct. 2009

Filter Results

Displaying Results 1 - 25 of 26
  • [Front cover]

    Publication Year: 2009 , Page(s): C1
    Save to Project icon | Request Permissions | PDF file iconPDF (269 KB)  
    Freely Available from IEEE
  • [Title page i]

    Publication Year: 2009 , Page(s): i
    Save to Project icon | Request Permissions | PDF file iconPDF (85 KB)  
    Freely Available from IEEE
  • [Title page iii]

    Publication Year: 2009 , Page(s): iii
    Save to Project icon | Request Permissions | PDF file iconPDF (139 KB)  
    Freely Available from IEEE
  • [Copyright notice]

    Publication Year: 2009 , Page(s): iv
    Save to Project icon | Request Permissions | PDF file iconPDF (110 KB)  
    Freely Available from IEEE
  • Table of contents

    Publication Year: 2009 , Page(s): v - vi
    Save to Project icon | Request Permissions | PDF file iconPDF (148 KB)  
    Freely Available from IEEE
  • Preface

    Publication Year: 2009 , Page(s): vii
    Save to Project icon | Request Permissions | PDF file iconPDF (79 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • Program Committee

    Publication Year: 2009 , Page(s): viii - ix
    Save to Project icon | Request Permissions | PDF file iconPDF (96 KB)  
    Freely Available from IEEE
  • A Realistic Model of Real-Time Systems for Efficient Scheduling

    Publication Year: 2009 , Page(s): 3 - 12
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (457 KB) |  | HTML iconHTML  

    In order to take semantical aspects into account for the scheduling problem and obtain scheduling results for a wide class of systems, we extend the Petri net scheduling approach for real-time systems. Our study focuses on tasks with conditional statements. Classical approaches consider only the worst case execution time that occurs in the different branches of conditional statements and don't tak... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Adaptative Framework Architecture for RFID Applications

    Publication Year: 2009 , Page(s): 15 - 24
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (976 KB) |  | HTML iconHTML  

    The rising use of RFID has been stimulating the world market through strong financial investments heading for the adoption of RFID as a standard identification technology. Such initiative has been fomenting the necessity of an infrastructure able to deal with the restrictions and limitations imposed by business areas and RFID environments. This work presents a modular and adaptive framework archit... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • AgentCross: A Platform for the Development of Crosscutting Concerns in Multi-agent Systems

    Publication Year: 2009 , Page(s): 25 - 32
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (485 KB) |  | HTML iconHTML  

    Agent-oriented design relies on key abstractions: goals, plans and actions. These abstractions are used by several agent modeling languages and methodologies to specify the many different multi-agent system (MAS) features. Nevertheless, there are some agency features that cannot be properly modularized using only these abstractions. The Aspect-Oriented Programming paradigm allows the modularizatio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model-Based Engineering of Software: Three Productivity Perspectives

    Publication Year: 2009 , Page(s): 35 - 44
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (764 KB) |  | HTML iconHTML  

    Evolving software products is a tricky business, especially when the domain is complex and changing rapidly. Like other fields of engineering, software engineering productivity advances have come about largely through abstraction, reuse, process, and automation (e.g., moving from assembly language to third generation languages offered increased productivity through better abstraction). For canonic... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Study Case about a Software Project Management Success Metrics

    Publication Year: 2009 , Page(s): 45 - 54
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (617 KB) |  | HTML iconHTML  

    For years, the success of a project is measured using the cost, time and quality, but to restrict the assessment in these dimensions for the evaluation of success of the Project Management has been challenged both by the academic community and by practitioners. Differences emerge from the fact that these criteria are restricted to efficiency, while the results of the project are evaluated in a mor... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Autonomous and Autonomic Systems: Paradigm for Engineering Effective Software-Based Systems?

    Publication Year: 2009 , Page(s): 57
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (208 KB) |  | HTML iconHTML  

    The Autonomous and Autonomic Systems initiative has as its vision the creation of self-directed and self-managing systems to address today's concerns of complexity and total cost of ownership while meeting tomorrow's needs for pervasive and ubiquitous software-based computation and communication. The future of computing and communications is being researched under many areas, including cloud, grid... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards Specification and Refinement of Contracts with Environment Changes

    Publication Year: 2009 , Page(s): 61 - 68
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (326 KB) |  | HTML iconHTML  

    The web environment creates risks together with benefits for web services. Web services often engage attacks from hackers or anyone having hostile intensions. The behavior of services is often effected by the environment changes which should be included in its specifications. In addition, services usually have some mechanisms provided by the developers to deal with the environment changes, especia... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • JaBUTiService: A Web Service for Structural Testing of Java Programs

    Publication Year: 2009 , Page(s): 69 - 76
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (443 KB) |  | HTML iconHTML  

    Web services are an emerging Service-Oriented Architecture technology to integrate applications using open standards based on XML. Software Engineering tools integration is a promising area since companies adopt different software processes and need different tools on each activity. Software engineers could take advantage of software engineering tools available as web services and create their own... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic Classification of Software Change Request Using Multi-label Machine Learning Methods

    Publication Year: 2009 , Page(s): 79 - 86
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (281 KB) |  | HTML iconHTML  

    Automatic text classification of the software change request (CR) can be used for automating impact analysis, bug triage and effort estimation. In this paper, we focus on the automation of the process for assigning CRs to developers and present a solution that is based on automatic text classification of CRs. In addition our approach provides the list of source files, which are required to be modi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Complexity Reduction in Developing Autonomic Systems with ASSL

    Publication Year: 2009 , Page(s): 87 - 93
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (861 KB) |  | HTML iconHTML  

    Autonomic computing promises overall IT complexity reduction by hiding system complexity and intricacy via systems capable of self-management. However, despite the fact that such systems reduce software maintenance costs and complexity, the autonomic computing approach does not provide any means for complexity reduction in autonomic system development. In this paper, we present our approach to red... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development

    Publication Year: 2009 , Page(s): 94 - 103
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (574 KB) |  | HTML iconHTML  

    SPLACID is a semi-formal language conceived for the specification and synthesis of (advanced) transactional models from basic features, such as transaction types and (relaxed) ACID variants. SPLACID is an improvement of the ACTA framework offering a well-structured and formal syntax. Neither ACTA nor SPLACID, however, benefit from a formal tool-supported semantics. This paper presents the first st... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language

    Publication Year: 2009 , Page(s): 104 - 114
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (298 KB) |  | HTML iconHTML  

    Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formalize languages comprising all these features. We have integrated probability, time and concurrency in one single model (called PTSC), where the concurrency feature is modelled using shared-variable based communication. Meanw... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Decentralized Reasoning in Ambient Intelligence

    Publication Year: 2009 , Page(s): 115 - 124
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (351 KB) |  | HTML iconHTML  

    In Ambient Intelligence (AmI), reasoning is fundamental for identifying specific situations that may be meaningful and relevant to some applications. As in such systems usually not all context data is readily available to all reasoners within a system, these reasoning operations may need to evaluate context data collected from distributed sources and stored on different devices. This work proposes... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using Business Processes in System Requirements Definition

    Publication Year: 2009 , Page(s): 125 - 130
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (193 KB) |  | HTML iconHTML  

    The relevance of business process modeling and information technology is growing. That happens because, in general, information systems automate, assist and control those processes. So, the business understanding can be crucial for an appropriate requirements definition. However, there are still few methods that exploit the contributions that the Business Process Engineering can provide for requir... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Data Warehousing in an Industrial Software Development Environment

    Publication Year: 2009 , Page(s): 131 - 135
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (427 KB) |  | HTML iconHTML  

    Data quality is one of the bases for effective data mining. Flexible, consistent and extensible data storage is one of the requirements for effective data analysis. For more than 15 years, researchers in the database and decision making world have been studying the construction of data repositories for data analysis. Named data warehouses, these repositories are historical databases, which are sep... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evaluating MaSE Methodology in the Requirements Identification

    Publication Year: 2009 , Page(s): 136 - 143
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (341 KB) |  | HTML iconHTML  

    Agent orientation appears as a solution for constructing complex systems adapting the requirements identification to cope with agent properties like autonomy, sociability and pro-activeness. Many methodologies were proposed adopting this new paradigm. However, most of them are still in development and therefore need to be adapted. In this work MaSE, an agent-oriented methodology is evaluated. We u... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Knowledge Representation and Data Provenance Model to Self-Tuning Database Systems

    Publication Year: 2009 , Page(s): 144 - 150
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (535 KB) |  | HTML iconHTML  

    Most autonomic database systems do not explicit their decision rationale behind tuning activities. Consequently, users may not trust some of the automatic tuning decisions. In this paper we propose a rather transparent strategy, that provides feedback to database administrators, based on information extracted from the database log. The proposed approach consists in transforming log results into a ... View full abstract»

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

    Publication Year: 2009 , Page(s): 151
    Save to Project icon | Request Permissions | PDF file iconPDF (81 KB)  
    Freely Available from IEEE