SIGSOFT

Requirements Engineering (RE) is a socially constructed activity and as such it includes the creation, development, assessment and communication of innovative ideas. An idea can take the form of a thought related either to the analysis of a problem, or ...

Prioritization is an essential task within requirements engineering to cope with complexity and to establish focus properly. The 3rd Workshop on Requirements Prioritization for customer oriented Software Development (RePriCo'12) focused on requirements ...

It is with great pleasure that we introduce the 5th IEEE Interna-tional Workshop on UML and Formal Methods. Already, in its short 5 year history, the workshop has been located across the globe: Japan, Brazil, China, Ireland, and this year in Paris, ...

UML is a well-known and widely used design notation: it offers a rich set of modeling elements, but their behavior is often not properly defined. Many proposals have tried to provide UML with a formal semantics, but they often focus on a limited number ...

This paper presents an encoding of the UML class diagram with OCL invariants in an SMT solver for enumerating all the object graphs from the class diagram. Enumeration of all the object graphs was necessary for our verification of operating systems by ...

UML state machines are an interesting graphical language to express dynamic systems behavior. However, using the different features available (hierarchy, internal/external transitions, entry/exit/do activities, history pseudostates, etc.) may yield ...

Behavioral types for model-based development comprise abstract behavioral aspects of the models they are associated with. Behavioral types allow checking that a model fulfills these behavioral aspects. Furthermore, as types can be related with each ...

The Extended Hierarchical State Transition Matrix (EHSTM) is a table-based modeling language frequently used in industry for specifying behaviors of a system. However, assuring correctness, i.e., having a design satisfy certain desired properties, is a ...

Critical Real-Time Systems (RTS) have strong requirements concerning system's reliability. UML and its profile MARTE are standardized modeling languages widely accepted by industrial designers to cope with the development of complex RTS. Relying on ...

As a standard high-level model transformation language, QVT Relations defines a graphical notation, which provides a concise, intuitive way to specify transformations. However, QVT Relations relies only on the textual language OCL for model querying, ...

We present a formal approach for partial transformation of scenario-based specifications. Scenarios are captured as sequence diagrams (SDs) and (partially) transformed into coloured Petri nets (CPNs). Partial transformation is of interest for local ...

The development of software in accordance with the model-driven engineering paradigm places model transformations at a central position. Desirable yet contradicting properties of model transformations are user-friendliness as offered by-demonstration ...

astd is a formal and graphical language specifically defined for information system specification. Up to now, a specifier had to build an astd specification from scratch and there were no refinement techniques for stepwise construction. This paper aims ...

The objective of this paper is to define an approach to formalize and verify the SysML blocks in a refinement process. We propose to specify system architecture with SysML Block Definition Diagram, this diagram is then analyzed and decomposed into ...

Several techniques have been developed to identify and fix defects in software before its deployment. However, the challenge is to quantify how well these techniques prevent defects from occurring in the field from a holistic perspective. Therefore, we ...

Sourcing and selection of online advertisement is done with the objective of streaming advertisements that match user's interests and internet surfing habits. Choosing relevant advertisements that bring user's focus and attention have higher click rate. ...

In this paper we use a formal approach to describe Agile Software Development Methodologies. We extract common attributes and properties out of Agile Methodologies to establish a common Agile Software Development Model (ASDM). To build our model we take ...

Various factors having impact on reusability have been found in research and practice. However, their true interdependencies were never taken into consideration. Using the approach discussed in this paper, various factors and their dependencies can be ...

In Wireless Ad Hoc Network environment, there are three ways to understand a routing protocol: (i) monitoring, (ii) simulation and (iii) modeling. In this paper, the different trust based secure routing protocols used in wireless ad hoc networks are ...

Reputation systems aim to reduce the risk of loss due to untrustworthy participants by providing a mechanism for establishing trustworthiness between mutually unknown online entities in an information asymmetric e-market. These systems encourage honest ...