Sharif Digital Repository

This study presents a process-driven view on the use of model-based testing (MBT) in agile/lightweight processes. It argues that process-related aspects of MBT and agile processes should be explicitly considered in any practical MBT approach intended for use in agile development (AD). It demonstrates that an effective MBT approach for lightweight processes has to specify how MBT activities are integrated into a development process, how and when MBT artefacts are generated in relation to other development artefacts, and who would carry out MBT activities. Accordingly, a set of integration criteria is introduced for complete incorporation of MBT into agile/lightweight processes. The... 

Organizations look for effective ways to teach their business processes to their employees. The application of serious games for teaching business processes is getting attraction recently. However, existing works are by large business-specific and few of them aim at teaching business processes in general, besides that the development of such games inherently suffers lack of precise and clear development approaches. This paper presents SeGa4Biz, a model-driven framework for serious game development for teaching business processes. Modeling supports different levels of abstraction and hence, increases user involvement throughout the development. SeGa4Biz particularly provides metamodels for... 

The development and application of inventory models for deteriorating items is one of the main concerns of subject matter experts. The inventory models developed in this field have focused mainly on supply chains under the assumption of constant lead time. In this study, we develop an inventory model for a main class of deteriorating items, namely perishable products, under stochastic lead time assumption. The inventory system is modeled as a continuous review system (r, Q). Demand rate per unit time is assumed to be constant over an infinite planning horizon and the shortages could be backordered completely. For modeling the deterioration process, a non-linear holding cost is considered.... 

The Software Product Line (SPL) approach is a paradigm for systematic reuse of software products, and a Software Factory is a SPL aimed at the industrialization of software development. Based on the notion that a software/RE process can be developed via an engineering process (much akin to engineering other types of software), this research aims to provide a feature-based RE process factory to develop RE processes based on the characteristics of the project at hand (project situation). In our approach, the project situation is modeled as the problem domain through using the i* modeling language (resulting in a situation model). A feature model can encapsulate all the features in an SPL;... 

Model-Driven Development (MDD) is a promising approach to software development, mainly due to the pivotal role of models in its process, and the high potential it provides for automated model/software generation. Since software processes can themselves be considered as software, any technique or approach applied in the context of software development is also of potential use in the development of software development processes. Accordingly, the MDD approach can potentially be applied in the context of Situational Method Engineering (SME) - a branch devoted to the study of developing bespoke software development processes and methods based on the specific characteristics of the development... 

This paper describes the development and implementation of MCRC software, chemometric software for Multivariate Curve Resolution of two-way Chromatographic data. MCRC software is developed for chemometric analysis of chromatographic data; however, it may also be used for other types of multivariate data. It consists of five groups of techniques for preprocessing, chemical rank determination, local rank analysis, multivariate resolution and peak integration. This software has the ability of the analysis of complex multi-component chromatographic signals of gas chromatography-mass spectrometry (GC-MS) and high performance liquid chromatography-diode array detection (HPLC-DAD). The software... 

Information systems are expected to satisfy increasingly ambitious requirements, while reducing time-to-market has become a primary objective. This trend has necessitated the advent of development approaches that are better equipped and flexible enough to cope with modern challenges. Model-Driven Architecture (MDA) and Situational Method Engineering (SME) are approaches addressing this requirement: MDA provides promising means for automating the software process, and revitalizes the role of modeling in software development; SME focuses on project-specific methodology construction, mainly through assembling reusable method fragments (process patterns) retrieved from a method base. We provide... 

The Model Driven Architecture (MDA) is meant to facilitate system development by using models for representing both the "problem" and its "solution". In its ideal form, software development based on MDA would follow a development process that begins by producing models of the problem domain at a high level of abstraction, and then proceeds by gradually and automatically transforming them into executable code with the help of tools. However, MDA-based development has encountered several setbacks, the mitigation of which requires detailed scrutiny and analysis. In this research, MDA-based development is analyzed through applying SWOT (Strengths, Weaknesses, Opportunities, and Threats) analysis... 

In this work, an experimental and theoretical study has been conducted to investigate the permeability reduction due to CaSO4 scale deposition in packed column porous media. Permeability reduction by calcium sulphate deposition follows a systematic trend considering various important parameters that are affected in this complex process. Hence, a novel dimensionless model has been proposed for the prediction of permeability reduction rate with high accuracy. The developed model is based on the data obtained from glass bead and carbonate grain packed column at low pressure. The proposed model was validated with Berea sandstone cores data at high pressure (100-20,678 kPa), various flow rates... 

A high-throughput solid-phase microextraction (SPME) on 96-well plate together with gas chromatography-mass spectrometry (GC-MS) was developed for the determination of some selected pesticides in cucumber samples. Pieces with the length of 1.0cm of silicon tubing were precisely prepared and then coated on the end part of stainless steel wires. The prepared fibers were positioned in a home-made polytetrafluoroethylene (PTFE)-based constructed ninety-six holes block to have the possibility of simultaneous immersion of the SPME fibers into the center of individual wells. Pesticides such as diazinon, penconazol, tebuconazol, bitertanol, malathion, phosalone and chlorpyrifos-methyl were selected... 

Understanding the hydrodynamic behavior of tapered fluidized beds is essential for accurate design and better operation in these fluid-solid contactors. Minimum fluidization velocity, minimum velocity of full fluidization, maximum pressure drop and bed expansion ratio are more important hydrodynamic characteristics in tapered fluidized beds. In this study, based on experimental data, dimensional analysis has been used to develop dimensionless correlations for predicting hydrodynamic characteristics of Geldart B particles in tapered fluidized bed. The effects of bed geometry, static bed height, particle density, size, and sphericity and also interparticle forces on hydrodynamic behavior of... 

This paper presents an investigation of the dynamics of two coupled non-identical FitzHugh-Nagumo neurons with delayed synaptic connection. We consider coupling strength and time delay as bifurcation parameters, and try to classify all possible dynamics which is fairly rich. The neural system exhibits a unique rest point or three ones for the different values of coupling strength by employing the pitchfork bifurcation of non-trivial rest point. The asymptotic stability and possible Hopf bifurcations of the trivial rest point are studied by analyzing the corresponding characteristic equation. Homoclinic, fold, and pitchfork bifurcations of limit cycles are found. The delay-dependent stability... 

Automotive industry frequently needs to test new products, according to different production parameters, in order to determine the actual thermal behavior of bodies before mass production is implemented. Numerical simulation of these processes can reduce the very expensive and time consuming experimental procedures. For the drying and hardening process of the top paint applied in the coating process, the body temperature must be raised according to the paint manufacturer regulations. Consequently, prediction of temperature distribution of the car body during various zones of ovens is very vital in the design and performance analysis of the paint dryers. In this research, a novel... 

For the first time, a new platform based on electrochemical growth of Au nanoparticles on aligned multi-walled carbon nanotubes (A-MWCNT) was developed for sensitive lable-free DNA detection of the TP53 gene mutation, one of the most popular genes in cancer research. Electrochemical impedance spectroscopy (EIS) was used to monitor the sequence-specific DNA hybridization events related to TP53 gene. Compared to the bare Ta or MWCNT/Ta electrodes, the synergistic interactions of vertically aligned MWCNT array and gold nanoparticles at modified electrode could improve the density of the probe DNA attachment and resulting the sensitivity of the DNA sensor greatly. Using EIS, over the extended... 

A simple, rapid and sensitive method based on microextraction in packed syringe (MEPS), in combination with gas chromatography-mass spectrometry (GC-MS) was developed. Polyaniline (PANI) nanowires network was synthesized and used as sorbent of MEPS for the multiresidue determination of selected analytes from triazine, organochlrorine and organophosphorous pesticides in aqueous samples. The PANI nanowires network was prepared using soft template technique and its characterization was studied by scanning electron microscopy (SEM). The presence of micelles in this methodology showed to be an important parameter in shaping the growing polymer. Hexadecyltrimethylammonium bromide (HTAB) was used... 

Solid-phase microextraction (SPME) is a fast, solvent-free technique, which, since its introduction in the 1990s, has been increasingly applied to sample preparation in analytical chemistry. Conventional SPME fibers are fabricated by making a physical bond between the usual silica substrate and the polymeric coatings. However, some applications are limited, as the lifetime and the stability of conventional SPME fibers cannot meet the demands of analyzing relatively non-volatile compounds with more polar moieties. There have been attempts to analyze less volatile compounds by increasing the thermal, physical and chemical stability of the fibers. In this review, we present some new... 

A headspace adsorptive microextraction technique was developed using a novel polyaniline-nylon-6 (PANI-N6) nanofiber sheet, fabricated by electrospinning. The homogeneity and the porosity of the prepared PANI-N6 sheet were studied using the scanning electron microscopy (SEM) and nanofibers diameters were found to be around 200nm. The novel nanofiber sheet was examined as an extracting medium to isolate some selected chlorobenzenes (CBs), as model compounds, from aquatic media. The extracted analytes were desorbed using μL-amounts of solvent and eventually an aliquot of extractant was injected into gas chromatography-mass spectrometry (GC-MS). Various parameters affecting the extraction and... 

Response surface methodology is used to establish robust and user-friendly predictive equations that relate responses of a complex detailed trunk finite element biomechanical model to its input variables during sagittal symmetric static lifting activities. Four input variables (thorax flexion angle, lumbar/pelvis ratio, load magnitude, and load position) and four model responses (L4-L5 and L5-S1 disc compression and anterior-posterior shear forces) are considered. Full factorial design of experiments accounting for all combinations of input levels is employed. Quadratic predictive equations for the spinal loads at the L4-S1 disc mid-heights are obtained by regression analysis with adequate... 

To evaluate the selectivity and efficiency of solid phase microextraction (SPME) fiber coatings, synthesized by sol-gel technology, roles of precursors and coating polymers were extensively investigated. An on-line combination of capillary microextraction (CME) technique and high performance liquid chromatography (HPLC) was set up to perform the investigation. Ten different fiber coatings were synthesized in which five of them contained only the precursor and the rests were prepared using both the precursor and coating polymer. All the coatings were chemically bonded to the inner surface of copper tubes, intended to be used as the CME device and already functionalized by self-assembly... 

A method based on solid-phase microextraction (SPME) followed by on-fiber derivatization and gas chromatography-mass spectrometry detection (GC-MS) for determination of phenol in air was developed. Three different types of SPME fibers, polar and non-polar poly(dimethylsiloxane) (PDMS) and polyethylene glycol (PEG) were synthesized using sol-gel technology and their feasibility to the sampling of phenol were investigated. Different derivatization reagents for post on-fiber derivatization of phenol were studied. Important parameters influencing the extraction and derivatization process such as type of fiber coating, type and volume of derivatizing reagent, derivatization time and temperature,...