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.
Design and implementation are two major aspects of the software development and the deviation between them needs to be minimized to the best extent possible. Of the many difficulties in detecting the deviation is the absence of common notation to compare the implementation artefact (code) against the design artefact. In this paper we present an approach to bridge the gap by providing a methodology...
Finite-state machines (FSMs) are among the oldest models employed in the formalization and analysis of both software and hardware. Owing to their simplicity, there exist various implementations to support their practical application in mainstream programming languages. Through such software libraries, programmers can explicitly define states, events and transitions in order to delegate the machine's...
Modeling languages evolve regularly. Companies need to maintain all those models that are used in running projects, which can cause these projects to fall back in their schedules. Since 10 years research addresses this issue with approaches for automating co-evolution. The dominant core of these approaches are model resolution strategies. They define 1) how models have to be changed in reaction to...
The paper considers mobile peculiarities of the development for Android platform by the example of an electronic library. Here by we concentrate on applications development on the example of Eclipse development environment.
Framework is a way of reusing the design of whole system or part of it, which is considered as the most effective way now in software engineering. The trend of automatic test system (ATS) software is becoming more and more complex. In response to this trend and to improve the efficiency of its software development, combined with the technology related to software engineering and automatic test technology,...
Functional size measurement provides a solid ground throughout software projects to estimate planning parameters and track progress. Since it is time-consuming and costly when functional size measurement is made manually, automating the process of measurement has gained importance. In order to measure COSMIC functional size, in this study we propose a measurement procedure that automatically installs...
With the increasing use of information technology (IT) within organizations, there was an increased need for support customers and its infrastructure, especially in calls for incident resolution. Decisions and actions are taken to repair and normalize the services caused by incidents. The process of efficient decision-making requires timing and standardization among all members of a team. Many organizations...
Smart Cyber Physical Systems (sCPS) are composed by a highly heterogeneous interconnection of platforms and devices offering a wide diversity of capabilities ranging from cloud server with virtually unlimited resources down to microcontrollers with only a few KB of RAM. This paper motivates the fact that no single software framework or software engineering approach is suited to span across this range,...
Software application is insufficient when it does not meet both functional and non functional requirement. Usually we check the validation of non functional requirement after functional testing and any correction made after functional testing requires lots of cost and success rate becomes minimum. If a model or methodology helps to predict attributes of non-functional early in the phase of software...
Use case driven software development typically starts with abstract problem domain descriptions of how the users see themselves using the system being developed, and entails a series of iterative refinement steps that incrementally detail the user stories/use case model, in order to bring those descriptions to the solution domain. This process tends to produce overcrowded detailed use case models...
Recommender systems for source code artifacts are newly emerging and are now successfully supporting programmers. Their underlying knowledge bases, recommender algorithms, and user interfaces are well studied. Integrated into the development environment, they do a fairly good job in reducing complexity and development time.
Research Center for Biology LIPI as research institutions have made use of ICT in improving the function of libraries with digital library system named BIOLIB. But because it was his application biolib many features that are not working properly. Therefore, Research Center for Biology require a new digital library system that can search a collection, booking reference, report the results of a reservation,...
Future smart systems will provide functionality by dynamically interacting with each other in cyber-physical systems. Such interactions require a message-based coordination under hard real-time constraints. This is realized by complex software, which combines discrete, state-based behavior with continuous behavior controlling the dynamics of the physical system parts. The development methods and tools...
Requirements are artefacts often described with text and models. It is important to manage traceability between requirements and other software artefacts, including designs and test cases, also often captured with specialized models. Some Requirements Management Systems (RMS) support traceability relationships, between (textual) requirements artefacts in the RMS and model artefacts created outside...
Software testing is one of the essential parts of the software development life cycle. In software industry, the testing cost can be approximately 50% of the total cost of a software project so efficient ways of testing software are crucially important in reducing costs, time and effort. There are two major methods of software testing; black-box testing (focuses only what the software can do) and...
Combinatorial test design model consists of parameters, values and the associated constraints. This model is the input for test generators. In this paper we present a rule based approach for deriving combinatorial test design model from UML activity diagrams resulting from requirement analysis. We have explored this approach on few sample cases. Our initial results suggest that this automated approach...
The simulation of radioactive decays is a common task in Monte-Carlo systems such as Geant4. Usually, a system either uses an approach focusing on the simulations of every individual decay or an approach which simulates a large number of decays with a focus on correct overall statistics. The radioactive decay package presented in this work permits, for the first time, the use of both methods within...
At present, the level of library management way in most universities is still a manual operation. For the problem of the traditional manual operation is time-consuming and inconvenience, this paper proposes a library management system is designed and implemented based on the web service. In this system, the three-layer architecture is employed, applying model building language that UML carries on...
We herein propose Program-oriented Modeling (POM), a novel approach to extract software models automatically from source code. The proposed approach is developed in order to satisfy the requirements of model abstraction for situations in which a model is used. The POM model extraction framework provides rule-based abstraction using the Meta-Object Facility (MOF) model transformation technology. We...
Requirements validation is an integral activity of Requirements Engineering. An early detection of mismatch between the observable behavior of the real-world and the interpreted behavior of the information system after requirements analysis is essential to the success of the software developed. This paper presents how norm analysis patterns can be effectively utilized for automated software validation...
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.