The Uniied Modeling Language is becoming more and more popular in the software development. However because of its ambiguisity in its semantic model, few veriication tool has been built. Abstract State Machines have been successfully applied in giving semantics for programming language like C. In this report, we try to use the Abstract State Machines to give a semantics model for UML and then u...

Agile software development is one of the most widely used methodologies for software development. It plans to improve software quality and responsiveness to modifying client requirements. Agile software development is based on an iterative cycle with the goal of faster distribution of solutions with on-going user participation. To improve the market value of software, usability evaluation techn...

Although sustainability is a frequent topic in product development literature, the often segmented and narrow scope of prior works limits the potential benefits of the industrial application of methods, models, and tools developed by the research community. The work herein has the goal of coalescing relevant, recent work supporting the economic and environmental aspects of sustainability for ea...

Software startups are more popular than ever and growing in numbers. They operate under conditions of extreme uncertainty and face plenty of challenges, underlined by their high failure rate. Using Design Science Research, these challenges were investigated. A literature study showed that in recent years, several authors have suggested ways to increase the odds of succeeding as a startup, such ...

Many extremely preterm infants continue to suffer from bronchopulmonary dysplasia, which results from abnormal saccular-stage lung development. Here, we show that fibroblast growth factor-10 (FGF-10) is required for saccular lung development and reduced in the lung tissue of infants with bronchopulmonary dysplasia. Although exposure to bacteria increases the risk of bronchopulmonary dysplasia, ...

in the present study, a total of 595 specimens collected monthly in the northern part of persian gulf between november 2006 and october 2007 were examined by routine macroscopic and histological techniques. monthly changes in the gonadosomatic index showed the spawning season extended within 2 peaks, from april- may and september. the maturity stages are morphologically separated according to t...