The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
There are two types of software defects: (1)implementation defects(i.e., discrepancies between a implementation and its specification), and (2)specification defects(Systems implemented correctly may also fail due to its defective specification design). This paper presents a specification defects detection method called Specification Defects Detection Using Statecharts (SDDS), and applies it to 5 classes...
People with different personalities see a problem from several perspectives and make different decisions in a software project. Therefore, some researchers have associated software personnel's psychological personality types with the various tasks in recent years. But which psychological personality model is best suited to software engineering field has not been examined fully. This article discusses...
Model checking at the design level makes it possible to find protocol flaws in security-critical applications automatically. But depending on the size of the application and especially on the abstraction of the application model, model checking may need a lot of resources, primarily time. To reduce the complexity, the application models are usually highly abstracted. But in a model-driven approach...
The SOFL (Structured Object-Oriented Formal Language) formal engineering method is developed to overcome the deficiencies of existing formal methods and to provide both rigorous and practical techniques for building formal specifications, transforming specifications to programs, and verifying both specifications and programs. Although it has been applied to system modeling and design in both industrial...
In modern enterprises, customer data is highly valued for consumer behavior analysis and business strategy development. The objective of this research is to develop a framework that promotes the use of Unity for Big Data Analytics on consumer behaviors with Technology Acceptance Model. Unity3D is a popular game engine and a development tool that enables graphical game development for multiple platforms...
The development of a distributed simulation is a complex multidisciplinary task. It brings together computer science, systems engineering, operational research and a range of domain specific expertise. Thus, MATLAB introduced many distributed connectivity for developers, this connectivity with other environments requires some resources. In this paper, a new software connector is introduced to facilitate...
For traditional data mining tasks, algorithms are commonly selected by manual effort. However, it is a challenge for any practitioner to select the most appropriate algorithm from hundreds of candidates. To address this issue, we have proposed a novel model for supporting automatic selection on data mining algorithms. The model incorporates the extracted characteristics of data sets and the dynamically...
This paper presents an improvement of heuristic placement algorithm for solving two-dimensional knapsack packing problem. The packing patterns were enhanced by modifying the packing rules. This approach can increase the feasibility for packing more suitable items to a container while also preserves the advantages of rules greediness. The total average percentage of trim loss is reduced nearly 15 percent...
Recently, Web service has become an important issue in the research community. Especially, predicting the Quality of Service (QoS) for users has been a hot topic which needs researching and applicating. In the other hand, with the rapid growth of the number of service providers and users, it results a large number of datasets. It significantly effects on the QoS as management and supervision to describe...
Probabilistic real-time systems have a difficult controlling management, because of their random behaviors and quantitative operations. So, the procedure of system behavior will changed any time. Adding a probable factor can effect on some systematic problems such as fairness, deadlock and starvation in a probabilistic real-time system. In this paper, we study on a new probable decision making approach...
During in-house development of custom enterprise web based applications, a lot of reusable code is written by software developers. This code from smaller units to sub systems and sometimes even fully functional autonomous components is, at times, required in other projects due to related needs across the enterprise. In the absence of a component model based development, it becomes nearly impossible...
According to research literature, Service blueprints suffer from weaknesses that include difficulty in representing all information using only flowchart-style diagrams and ambiguous traditional notation. Accordingly, a service blueprint itself is not sufficient as a base for designing practical service, and service design processes have been proposed based on an extended service blueprint representation,...
Aim of this study is to investigate metrics that can be obtained from early object oriented designs and show empirically their effect on lines of code of the resulting software. For this purpose, by conducting a literature review a set of OO metrics are identified including metrics in MOOD suite, QMOOD Suite, Martin Suite and CK suite and other metric survey studies. By analyzing metric definition...
Setting up new data and image processing systems is an always recurring task. Since reusing algorithms and other functionality leads to higher program quality and mostly shorter development time, this approach introduces a novel Component-Based Software Engineering System (CBSE). It supports special types such as diagrams and structures, components and component-instance-diagrams known from UML. The...
Self adaptive systems have been suggested as a promising solution for managing the complex and uncertain nature of today's software intensive systems. Yet, their design is still not conducted in a systematic manner. In particular, there is little work on the issue of developing a framework that accommodates the necessary reusable process elements and system components that augment the system under...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.