Sharif Digital Repository

In high-integrity systems, certain quality requirements have gained utmost significance in such a way that failing to satisfy them at a particular level may result in the loss of the entire system, endangerment of human life, peril to the organization's existence, or serious damage to the environment. High-integrity computer systems should incorporate top-quality software in order to adequately address their stringent quality requirements. The methodologies used for developing high-integrity software must possess special characteristics in order to ensure successful realization of the requirements. Software Process patterns represent empirically proven methods of software development that... 

Focusing on aspects during early stages of the software development lifecycle has received special attention by many researchers, leading to the advent of numerous Aspect-Oriented Software Development (AOSD) methods. This has consequently given a relatively high level of maturity to aspect-oriented processes. Process patterns, on the other hand, have been adopted as suitable mechanisms for defining or tailoring processes to fit specific organizational/project requirements. Process patterns, which essentially are reusable process components extracted from successful processes and practices, can be used to engineer new software development methodologies or to enhance existing ones. We propose... 

In recent years Open Source Software programs have caused great changes in software world. Open Source software development is something beyond a method of software development or technology. As a result, using open source software development has diverse aspects. In this article the open source software development has been studied and investigated through reviewing some of the carried out works. © 2008 IEEE  

Method Engineering (ME) is based on the notion that no two software development projects are identical, and hence, the same development process is never executed twice. The need therefore arises for custom-built software development methodologies that are tailored to fit the specific project situation at hand, thus giving rise to the various Situational Method Engineering (SME) approaches currently in use. A process pattern is a description of a recurring development process fragment that can be used as a building block for engineering development processes. Software development process patterns are extensively used in SME, mainly as process components assembled together to form bespoke... 

Agile software development methodologies have been greeted with enthusiasm by many software developers, yet their widespread adoption has also resulted in closer examination of their strengths and weaknesses. While analyses and evaluations abound, the need still remains for an objective and systematic appraisal of Agile processes specifically aimed at defining strategies for their improvement. We provide a review of the strengths and weaknesses identified in Agile processes, based on which a Strengths-Weaknesses-Opportunities-Threats (SWOT) analysis of the processes is performed. We suggest this type of analysis as a useful tool for highlighting and addressing the problem issues in Agile... 

Dynamic and accessible web systems have gained utmost importance in modern life. Due to the competitive nature of such systems, they need to be superior as to performance, scalability, and security. Web systems typically require short time-to-markets, and it should be possible to easily implement new requirements into working web systems. These ideals have made agile methods especially suitable for developing such systems, as they promote productivity, facilitate continuous interaction with customers, and enhance the flexibility and quality of the software produced. When starting a web development project, selecting the methodology that fits the project situation can be an important factor... 

We present the first public code for the calculation of the astrometric centroid shift occurring during microlensing events. The computation is based on the contour integration scheme and covers single and binary lensing of finite sources with arbitrary limb darkening profiles. This allows for general detailed investigations of the impact of finite source size in astrometric binary microlensing. The new code is embedded in version 3.0 of vbbinarylensing, which offers a powerful computational tool for extensive studies of microlensing data from current surveys and future space missions. © 2021 The Author(s) Published by Oxford University Press on behalf of Royal Astronomical Society  

Agent-oriented software products are becoming increasingly complicated, and the competitive market is forcing the producers to reduce time-to-market and increase the quality of the software produced. Therefore, developers have come to realize the need for more reliable and efficient agent-oriented software development processes (methodologies) which address the specific needs of each and every project. Software Process Lines provide a solution to this problem by using Process Line Engineering concepts for instantiating bespoke software processes. This research focuses on developing a software process line for Requirements Engineering (RE) in the context of agent-oriented software... 

Reusing the programs which have already been developed can shorten the production time and reduce costs and expenses. One of the important issues in software reuse is finding a program or a program component in a program library which has been already developed and using it in the new program. In view of precision and automation that formal methods can provide, we can use formal methods in retrieval appropriate components from the software libraries. In this paper, some of the works done in the field of retrieval of the components from the libraries by the help of formal methods have been surveyed and reviewed  

It has become essential to scrutinize and evaluate software development methodologies, mainly because of their increasing number and variety. Evaluation is required to gain a better understanding of the features, strengths, and weaknesses of the methodologies. The results of such evaluations can be leveraged to identify the methodology most appropriate for a specific context. Moreover, methodology improvement and evolution can be accelerated using these results. However, despite extensive research, there is still a need for a feature/criterion set that is general enough to allow methodologies to be evaluated regardless of their types. We propose a general evaluation framework which addresses... 

Agile Software Development is regarded as an effective and efficient approach, mainly due to its ability to accommodate rapidly changing requirements, and to cope with modern software development challenges. There is therefore a strong tendency to use agile software development methodologies where applicable; however, the sheer number of existing agile methodologies and their variants hinders the selection of an appropriate agile methodology or method chunk. Methodology evaluation tools address this problem through providing detailed evaluations, yet no comprehensive evaluation framework is available for agile methodologies. We introduce the Comprehensive Evaluation Framework for Agile... 

Agent-oriented software methodologies have found their way to become one of the most important issues of software development. The diversity of existing methodologies and the variety of newly arriving ones have arisen the question of which methodology is best in the context of a special problem, so the need for evaluating and comparing methodologies is becoming more important everyday. On the other hand evaluating methodologies can reveal their strengths and shortcomings which lead to an improvement in development of the next generation of agent-oriented methodologies. In this paper, we are going to introduce an approach for evaluating methodologies via the evaluation of their lifecycle... 

The emergence of agile software development methodologies, and the sheer number of the variants introduced, has raised the need for evaluation and comparison efforts, mostly in order to facilitate the selection or engineering of an agile methodology aimed at a specific software development situation. But existing evaluation frameworks and comparison tools do not satisfy all the needs of project managers and method engineers. The principal objectives of this paper are to introduce a fundamental basis for evaluation frameworks that target existing challenges, and also to evaluate existing evaluation frameworks in order to identify their shortcomings. To this aim, we have proposed an evaluation... 

Context: It is well-known that the use of formal methods in the software development process results in high-quality software products. Having specified the software requirements in a formal notation, the question is how they can be transformed into an implementation. There is typically a mismatch between the specification and the implementation, known as the specification-implementation gap. Objective: This paper introduces a set of translation functions to fill the specification-implementation gap in the domain of database applications. We only present the formal definition, not the implementation, of the translation functions. Method: We chose Z, SQL and Delphi languages to illustrate our... 

Component-Based Development (CBD) has been broadly used in software development, as it enhances reusability and flexibility, and reduces the costs and risks involved in systems development. It has therefore spawned many widely-used approaches, such as Commercial Off-The-Shelf (COTS) and software product lines. On the other hand, in order to gain a competitive edge, organizations need to define custom processes tailored to fit their specific development requirements. This has led to the emergence of process patterns and Method Engineering approaches. We propose a set of process patterns commonly encountered in component-based development methodologies. Seven prominent component-based... 

Because of several vulnerabilities in software products and high amount of damage caused by them, software developers are enforced to produce more secure systems. Software grows up through its life cycle, so software development methodologies should pay special attention to security aspects of the product. This paper focuses on agile methodologies in order to equip them with security activities. We can restrain reduction of agile nature of organization's current process by means of agility measurement and applying an efficient activity integration algorithm with a tunable parameter named agility reduction tolerance (ART). Using this approach, method engineer of the project can enhance his...