Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Results found: 4

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  software quality
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
PL
W związku z rosnącym zapotrzebowaniem na różnego typu e-usługi na rynku pojawia się coraz więcej systemów pozwalających na świadczenie tego typu usług i zarządzanie nimi. Doskonalenie jakości takich narzędzi powinno być dokonywane przy współudziale klientów, na podstawie informacji o poziomie ich zadowolenia z użytkowania. Jest to możliwe dzięki prowadzeniu przez przedsiębiorstwa regularnych badań satysfakcji użytkowników. W artykule zaprezentowano koncepcję szacowania satysfakcji z użytkowania oprogramowania e-usługowego, która opiera się na dorobku badań marketingowych oraz badań nad jakością oprogramowania.
EN
Due to the growing demand for different types of e-services there are more and more systems that allow for e-services provision and management on the market. The quality of such solutions should be improved in cooperation with customers on the basis of information about the level of their satisfaction with the usage. This can be possible owing to regular user satisfaction research. The article presents the concept of estimating satisfaction with e-service software which is based on the achievements of marketing research and software quality studies.
EN
Background: Software reliability is of great importance for the development of embedded systems that are often used in applications that have requirements for safety. Since the life cycle of embedded products is becoming shorter, productivity and quality simultaneously required and closely in the process of providing competitive products Objectives: In relation to this, MODUS (Method and supporting toolset advancing embedded systems quality) project aims to provide small and medium-sized businesses ways to improve their position in the embedded market through a pragmatic and viable solution Methods/Approach: This paper will describe the MODUS project with focus on the technical methodologies that can assist formal verification and formal model checking. Results: Based on automated analysis of the characteristics of the system and by controlling the choice of the existing opensource model verification engines, model verification producing inputs to be fed into these engines. Conclusions: The MODUS approach is aligned with present market needs; the familiarity with tools, the ease of use and compatibility/interoperability remain among the most important criteria when selecting the development environment for a project
EN
The level of failure of IT projects is high and has not changed over many years despite improvement in software development processes. One of the obvious reasons for this is shortening the delivery time of information systems in the projects and rapidly changing technology. Quality assurance in software development process is a key issue in ensuring the proper operation of an IT system. In order to know the causes of the problems, it is important to know viewpoints of members of the teams developing software. These views were obtained by carrying out the survey. At the beginning categories of reasons are identified using Ishikawa diagram, a tool for quality management. In the next step an analysis was performed using the Pareto principle. The analysis allowed the identification of the most important causes of errors in the software development process. A detailed analysis of the observed results and appropriate conclusions of this analysis will help improve the processes of software development and collaboration between project management and software development processes.
EN
The article comprises an analysis of legal implications linked with the application of artificial intelligence (AI) in the economy. The current rules of civil law are often inadequate to address the consequences of actions taken by AI systems, as they fail to determine who is liable and on what legal basis. The essence of the problem is that AI’s decisions are autonomous. Vesting AI with legal personality would not suffice to solve the problems at issue. The combination of AI and blockchain technology in the form of smart contracts entails a situation where algorithms impact contract terms. Security of smart contract transactions depends on the quality of underlying algorithms. Relevant legislative modifications needed to provide for the liability of algorithms, especially in the context of AI, seem imminent. In fact, directives 2019/770 and 2019/771, which have only recently been adopted by the EU, are notable examples of a new regulatory approach to the issue of software liability. The author of this article suggests that in order to provide enhanced legal certainty, the quality of AI program code should be standardised. This would set a benchmark of algorithm quality that could be used to determine the liability of computer programs for their autonomous decisions.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.