Detecting Functional Requirements Inconsistencies within Multi-teams Projects Framed into a Model-based Web Methodology

One of the most essential processes within the software project life cycle is the REP (Requirements Engineering Process) because it allows specifying the software product requirements. This specification should be as consistent as possible because it allows estimating in a suitable manner the effort required to obtain the final product. REP is complex in itself, but this complexity is greatly increased in big, distributed and heterogeneous projects with multiple analyst teams and high integration between functional modules. This paper presents an approach for the systematic conciliation of functional requirements in big projects dealing with a web model-based approach and how this approach may be implemented in the context of the NDT (Navigational Development Techniques): a web methodology. This paper also describes the empirical evaluation in the CALIPSOneo project by analyzing the improvements obtained with our approach.Ministerio de Economía y Competitividad TIN2013-46928-C3-3-RMinisterio de Economía y Competitividad TIN2015-71938-RED

Four facets of a process modeling facilitator

Business process modeling as a practice and research field has received great attention in recent years. However, while related artifacts such as models, tools or grammars have substantially matured, comparatively little is known about the activities that are conducted as part of the actual act of process modeling. Especially the key role of the modeling facilitator has not been researched to date. In this paper, we propose a new theory-grounded, conceptual framework describing four facets (the driving engineer, the driving artist, the catalyzing engineer, and the catalyzing artist) that can be used by a facilitator. These facets with behavioral styles have been empirically explored via in-depth interviews and additional questionnaires with experienced process analysts. We develop a proposal for an emerging theory for describing, investigating, and explaining different behaviors associated with Business Process Modeling Facilitation. This theory is an important sensitizing vehicle for examining processes and outcomes from process modeling endeavors

On the emergence and evolution of artificial cell signaling networks

This PhD project is concerned with the evolution of Cell Signaling Networks (CSNs) in silico. CSNs are complex biochemical networks responsible for the coordination of cellular activities. We are investigating the possibility to build an evolutionary simulation platform that would allow the spontaneous emergence and evolution of Artificial Cell Signaling Networks (ACSNs). From a practical point of view, realizing and evolving ACSNs may provide novel computational paradigms for a variety of application areas. This work may also contribute to the biological understanding of the origins and evolution of real CSNs

Using formal methods to support testing

Formal methods and testing are two important approaches that assist in the development of high quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as complementary. This article reviews the state of the art regarding ways in which the presence of a formal specification can be used to assist testing

A programme management approach for ensuring coherence in IS (higher) education

This paper examines IS higher education, concentrating on issues of ‘coherence’ in IS curricula. While curriculum coherence can be jeopardized by poor curriculum design, misalignment between module content and/or misalignment between module or course aims can cause serious coherence issues over time. Misalignment of this type is exacerbated by the traditional processes of curriculum (re)design, which rely heavily on the (singular) interpretation of highly abstract documents, such as module syllabi and course specifications – often produced by curriculum designers in isolation. To improve curriculum coherence, this paper examines the use of a programme management framework as a means of (a) ‘humanizing’ the abstract aims and goals of curricula schemes and (b) managing the delivery and evolution of curricula in relation to the stakeholders in the process of delivery. The practical use of the framework is examined in the context of a Masters-level course in ‘Information Systems Management’. An action research approach is used to demonstrate the practical utility of the framework in terms of (a) improving communication of curricula, (b) improving the coherence between modules and between modules and course and (c) removing content redundancy. Guidelines are presented that generalize the findings in order that key practices may be adopted by others

Experimental and numerical study on catalyst layer of polymer electrolyte membrane fuel cell prepared with diverse drying methods

High manufacturing cost is a major challenge to commercialization of the polymer electrolyte membrane fuel cell (PEMFC) technology in high volume market. Catalyst layer (CL) of PEMFC should incorporate high effective porosity, electrochemically active surface-area, gas permeability, and favorable ionomer distribution. Drying of the CL is a very significant step of electrode fabrication, and determines most of the properties mentioned above, but is rarely a subject of investigation. From various possible drying processes of CL, freeze-drying shows some beneficial properties, such as higher porosity, better ionomer distribution, and reduces the mass transport resistance significantly by allowing more reactant gas into reactive interface. In this work, the influence of diverse drying techniques on the microstructure and performance is investigated. Complementarily, a transient 2D physical continuum-model is used to investigate the effect of the structural properties on cell performance of electrodes prepared with different drying methods. A sensitivity analysis has been also performed to determine the influence of individual parameters applied in the model. Both of the experimental and simulation results stress on the fact that the freeze-drying technique not only significantly enhances the oxygen transport properties through ionomer but also improves the porosity along with the tortuosity of the CL microstructure