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.
A significant number of techniques dedicated to requirements specification and documentation is described in the available sources. As there is no purpose to use all of them, a selection has to be made, taking into consideration the context of a given software project, for example its size, usage of agile approach or stakeholders' technical competency. This paper is intended to provide guidelines...
This article describes the methods and tools to verify the location of nodes in wireless sensor networks. Software product that allows to analyze the positioning based on the distance with different algorithms is proposed. As a result of simulation the next statistical output variables are defined: percentage of nodes, which have position determined; minimum, maximum and average error in assessing...
Software Quality is a multidimensional concept for which Reliability is considered as a key attribute. Notwithstanding, due to its conceptual complexity, there is no common agreement on what Software Reliability is, thus different stakeholders use a variety of Software Reliability views. With the aim to improve our understanding of what Software Reliability means for industrial stakeholders as well...
OpenFlow has been applied to a variety of demands of the transmission quality of the Internet business and it is still growing on its way. To test this protocol with its evolution consideration, we analyzed the working process of OpenFlow protocol and constructed the CPN model through phasing firstly and then role division for version 1.0. In addition, the selection of tokens and their given values...
The User Requirements Notation is a standard published by the International Telecommunication Union that contains two complementary notations for goal and scenario/workflow modeling. Use Case Maps (UCM) – the workflow notation – focuses on the causal relationships of the steps in a workflow without requiring the specification of detailed message exchanges and data. A UCM model captures the interactions...
Due to the increasing complexity of software systems, model-driven engineering has been introduced to shift the developer's focus from machine-centric program code to human-centric models of the software under development. In model-driven approaches, program code in conventional programming languages (e.g., C++, Java) is commonly generated from models and then compiled or interpreted. Intermediate...
Modern automotive systems consist of hundreds of functionalities implemented in software. Moreover, these functionalities are constantly evolving with increasing demand for automation, industry competition and changing sensor and actuator capabilities. Correspondingly, it is important to adapt the engineering and software development processes for such systems to consider fast management of this evolution...
This paper describes the process of approving internally, through Quality matters, an advanced undergraduate online course teaching System Analysis and Design.
The development process of complex production machines requires an intense collaboration of different technical disciplines. In this context, the interdisciplinary development team often lacks a common and continuously updated system model of the machine, which can consequently lead to high communication effort and delays the overall development process. For a more efficient and effective production...
OCRA provides a language and tool support to model and analyze acomponent-based architecture enriched with contracts. Assumptions andguarantees of components are specified in different variants oflinear-time temporal logics, supporting variables with infinitedomains and continuous dynamics. The tool provides different analysistechniques including contracts refinement checking, contract-basedcompositional...
Model Driven Development (MDD) is deemed as a key to address the increasing complexity of software systems. It is imperative that the developed software fulfills the end-user's requirements. This implies that a collaboration between the Requirements Management (RM) tools and the modeling tools, enabling complete traceability and interfacing among these tools, is essential. On the other hand, existing...
Software process improvement (SPI) aims to increase the quality of the software products or service. There are many software standers for software process improvement must be implemented during development process to achieve software quality characteristic such as functionality, reliability, efficiency, operability, security and maintainability on the other hand to reduce the development effort. There...
The research community has broadly recognized the importance of the validation of non-functional properties including performance and dependability requirements. However, the results of a systematic survey we carried out evidenced the lack of a standard notation for designing non-functional test cases. For some time, the greatest attention of Model-Based Testing (MBT) research has focused on functional...
Safety analysis is increasingly important for a wide class of systems. In the automotive field, the recent ISO26262 standard foresees safety analysis to be performed at system, hardware, and software levels. Failure Modes and Effects Analysis (FMEA) is an important step in any safety analysis process, and its application at hardware and system levels has been extensively addressed in the literature...
Keccak is the hash function selected by NIST as the new SHA-3 standard. Keccak is built on Sponge construction and it provides a new MAC function called MAC-Keccak. These new algorithms have raised questions with regards to side-channel leakage and analysis attacks of MAC-Keccak. So far there exists prior work on attacks of software implementations of MAC-Keccak, but there has been no comprehensive...
Climate simulation and weather forecasting codes are among the most complex examples of scientific software. Moreover, many of them are written in Fortran, making them some of the largest and most complex Fortran codes ever developed. For companies and researchers creating Fortran development tools -- IDEs, static analyzers, refactoring tools, etc. -- it is helpful to study these codes to understand...
In 1978, Putnam presented his "general empirical solution" for the software estimation problem and claimed that the problem was solved. His results continue to be influential, and are sometimes treated as authoritative. Focusing on the effort-duration trade-off, we evaluate his study and its results, examining both his approach and studies that have been published since. Several serious...
This paper presents a model-driven approach to transforming the source metamodels of UML Class diagram and Use Case Description to the target metamodel of Sequence diagram, using ATL as the model transformation language. Natural Language Processing is applied for text processing of sentences written in Use Case Description. The resulting metamodel of Sequence diagram is then transformed by Executable...
Predicting the effort, duration and cost required to develop and maintain a software system is crucial in IT project management. Although an accurate estimation is invaluable for the success of an IT development project, it often proves difficult to attain. This paper presents an empirical evaluation of four parametric software estimation models, namely COCOMO II, SEER-SEM, SLIM, and True Planning,...
It is an increasing trend to apply Software Product Line (SPL) concepts and techniques for software process tailoring, generating a Software PRocess Line (SPrL). However, there are several aspects that must be addressed before SPrLs can be fully adopted by industry, a key aspect being how software process variability is specified and managed. In the literature, there are several general-purpose as...
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.