Filters
total: 1461
-
Catalog
displaying 1000 best results Help
Search results for: software
-
ProSIL software for computer aided functional Safety management = Program komputerowy ProSIL do wspomagania zarządzaniem bezpieczeństwa funkcjonalnego
Publication..
-
Systems Software Design 1
e-Learning CoursesSystems Software Design
-
Software Engineering 2022/2023
e-Learning CoursesCourse for Data Engineering, semester 3 Access credentials will be provided during the first lab class.
-
Software Engineering 2023/2024
e-Learning CoursesCourse for Data Engineering, semester 3 Access credentials will be provided during the first lab class.
-
Software Systems Design 2024
e-Learning Courses -
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING
Journals -
Pączkowanie - metoda rozwoju interoperacyjnych komponentów dla systemów rozproszonych = Budding – the software development method of interoperable components for distributed systems
PublicationPrzedstawiono 2 współczesne metody wytwarzania oprogramowania: iteracyjno-przyrostową oraz techniki zwinne, ich zalety i wady w kontekście budowy interoperacyjnych platform i środowisk rozproszonych. Zaprezentowano metodę rozwoju oprogramowania przez pączkowanie, jej założenia, zalety i wady. Przedstawiono technologie, na bazie których działa metodologia wytwarzania oprogramowania przez pączkowanie: Software Product Line, Enterprise...
-
Machine Learning Assisted Interactive Multi-objectives Optimization Framework: A Proposed Formulation and Method for Overtime Planning in Software Development Projects
PublicationMachine Learning Assisted Interactive Multi-objectives Optimization Framework: A Proposed Formulation and Method for Overtime Planning in Software Development Projects Hammed A. Mojeed & Rafal Szlapczynski Conference paper First Online: 14 September 2023 161 Accesses Part of the Lecture Notes in Computer Science book series (LNAI,volume 14125) Abstract Software development project requires proper planning to mitigate risk and...
-
ProSIL Software for functional saferty management in life cycle = Aplikacja ProSIL do zarządzania bezpieczeństwem funkcjonalnym w cyklu życia
PublicationIn the paper the ProSIL software to aid the functional safety management is presented. The software consists of three modules to aid: determination of the required SIL level (ProSILen), veryfication of the SIL level (ProSILver). In the aplication the method of the calibrated risk graph to determine the required safety integrity level SIL for defined safety instrumented functions is applied. The methods concerning functional safety...
-
Finite State Machine Based Modelling of Discrete Control Algorithm in LAD Diagram Language With Use of New Generation Engineering Software
Publication -
Integracja narzędzi do zarządzania wymaganiami oraz modelowania na przykładzie IBM Rational Requirements Composer i Software Architect
PublicationDzisiejsze wyzwania zarządzania technologiami informatycznymi coraz częściej dotykają bardzo istotnej kwestii, jaką jest problematyka integracji. Rozdział porusza zagadnienia związane z integracją narzędzi wykorzystywanych w realizacji przedsięwzięć informatycznych.
-
From Functional Requirements through Test Evaluation Design to Automatic Test Data Retrieval – a Concept for Testing of Software Dedicated for Hybrid Embedded Systems
PublicationFrom Functional Requirements through Test Evaluation Design to Automatic Test Data Retrieval – a Concept for Testing of Software Dedicated for Hybrid Embedded Systems
-
The Ellenbogen’s “Matter as Software” Concept for Quantum Computer Implementation: IV. The X@C60 Molecular Building Blocks (MBBs) and Computing System Lifetime Estimation
PublicationThe problem of approximate lifetimes of individual X@C60 MBBs and tip-based nanofabricated quantum computing device systems is discussed under the conservative assumption of single-point failure. A single chemical transformation of the C60 cage into high-energy opened o-C60 isomer which forms the communication canal for the low energy transfer of an X atom from X@C60 MBB to the outside environment was studied. According to the...
-
ADVANCES IN ENGINEERING SOFTWARE
Journals -
SOFTWARE QUALITY JOURNAL
Journals -
Software Systems Design 2024 kopia 2
e-Learning Courses -
<title>Software layer for SIMCON ver. 2.1. FPGA based LLRF control system for TESLA FEL part II: application layer, networking, examples</title>
Publication -
Critical systems software testing and QA - Spring'24
e-Learning CoursesCourse objectives: Present software development standards in the European space industry and techniques of their implementation. Learn how to assess and manage critical system software quality in an IT project. Gain basic hands-on experience in bug tracking and reporting in a software project.
-
Electrical and Software Systems Engineering [WIMiO][2023/24]
e-Learning Courses -
Electrical and Software Systems Engineering [WIMiO][2022/23]
e-Learning Courses -
Journal of Software-Evolution and Process
Journals -
Open Journal of Communication and Software
Journals -
ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE
Journals -
The Ellenbogen's “Matter as Software” Concept for Quantum Computer Implementation. C60 and X@C60 Molecules as Available Molecular Building Blocks (MBBs) for Tip-Based Nanofabrication (TBN) of Quantum Computing Devices
PublicationThe TBN bottom-up strategy of building quantum devices from C60 and X@C60 MBBs is proposed as an extension of the Ellenbogen's “Matter as Software” idea to quantum information processing. The capped SW or DW CNT STM tip is considered as device for manipulating C60 and X@C60 molecules. In this article, the possibility of using easily available on the market C60 Fullerene and endohedral X@C60 molecules together with commercial CNT...
-
Cluster Computing-The Journal of Networks Software Tools and Applications
Journals -
Bulletin of the South Ural State University Series-Mathematical Modelling Programming & Computer Software
Journals -
The Ellenbogen's "Matter as Software" Concept for Quantum Computer Implementation: III. Selection of X@C60 Molecular Building Blocks (MBBs) for Tip-Based Nanofabrication (TBN) of Trapped Neutral Atom Quantum Computing Devices
PublicationThe selection of guest atoms X of X@C60 MBBs for TBN of trapped neutral atom quantum computing devices is reported. Assuming the all-optical quantum computing as a final target stage, the two criteria are most important: the charge q accumulated on the C60 host must be as low as possible, and the atom X must have one or more available excited states within the band falling into the low energy window of neutral C60 molecule electronic...
-
The Ellenbogen's "Matter as Software" Concept for Quantum Computer Implementation: II Bonding Between the C60 and X@C60 Molecules as Available Molecular Building Blocks (MBBs) for Tip-Based Nanofabrication (TBN) of Quantum Computing Devices
PublicationThe binding energy, BE of the X@C60-X@C60 homodimer and the X@C60-Y@C60 heterodimer resulting from the bond formation between the occupied X@C60 MBB and the C60 molecule was studied by means of semiempirical PM7 calculations, where X and Y denote atoms from H to Bi, excluding Tc and lanthanides. All possible combinations of N = 68 guest atoms were considered, which resulted in K = 2346 of different calculated dimers of (X@C60-Y@C60)...
-
e-Informatica Software Engineering Journal
Journals -
Journal of Computer Science and Software Application
Journals -
charakterystyki sygnału w realizacji software'owego odbiornika systemu GPS
PublicationRealizacja odbiornika w postaci aplikacji komputerowej pozwala nie tylko na kilkukrotne obniżenie kosztów jego produkcji, ale również wykorzystanie procesora ogólnego przeznaczenia do zadań związanych z odbiorem sygnału GPS i określaniem pozycji, a tym samym uproszczenie systemu. Analiza procesu przetwarzania sygnału GPS z wykorzystaniem standardowych narzędzi kompilacji i debugging'u, pozwala na poznanie działania odbiornika GPS...
-
Game-based Sprint retrospectives: multiple action research
PublicationIn today’s fast-paced world of rapid technological change, software development teams need to constantly revise their work practices. Not surprisingly, regular reflection on how to become more effective is perceived as one of the most important principles of Agile Software Development. Nevertheless, running an effective and enjoyable retrospective meeting is still a challenge in real environments. As reported by several studies,...
-
DEPO: A dynamic energy‐performance optimizer tool for automatic power capping for energy efficient high‐performance computing
PublicationIn the article we propose an automatic power capping software tool DEPO that allows one to perform runtime optimization of performance and energy related metrics. For an assumed application model with an initialization phase followed by a running phase with uniform compute and memory intensity, the tool performs automatic tuning engaging one of the two exploration algorithms—linear search (LS) and golden section search (GSS), finds...
-
An annotated timeline of sensitivity analysis
PublicationThe last half a century has seen spectacular progresses in computing and modelling in a variety of fields, applications, and methodologies. Over the same period, a cross-disciplinary field known as sensitivity analysis has been making its first steps, evolving from the design of experiments for laboratory or field studies, also called ‘in-vivo’, to the so-called experiments ‘in-silico’. Some disciplines were quick to realize the...
-
Threat intelligence platform for the energy sector
PublicationIn recent years, critical infrastructures and power systems in particular have been subjected to sophisticated cyberthreats, including targeted attacks and advanced persistent threats. A promising response to this challenging situation is building up enhanced threat intelligence that interlinks information sharing and fine-grained situation awareness. In this paper a framework which integrates all levels of threat intelligence...
-
Towards automation of IT systems repairs
PublicationMonitoring and repair are two sides of the on-the-fly maintenance of IT systems.Monitoring is well supported by automatic tools. In contrast, repairs involve much higherhuman intervention which negatively affects reliability and efficiency. The paper intro-duces a method of automating repairs of IT systems which can be integrated with any ofthe existing monitoring mechanisms. The method is described as a collection of modelsand...
-
Towards modelling of the environmental fate of pharmaceuticals using the QSPR-MM scheme
Publication -
Speed estimation of a car at impact with a W-beam guardrail using numerical simulations and machine learning
PublicationThis paper aimed at developing a new method of estimating the impact speed of a passenger car at the moment of a crash into a W-beam road safety barrier. The determination of such a speed based on the accident outcomes is demanding, because often there is no access to full accident data. However, accurate determination of the impact speed is one of the key elements in the reconstruction of road accidents. A machine learning algorithm...
-
Scaling scrum with a customized nexus framework: A report from a joint industry‐academia research project
Publicationespite a wide range of scaling frameworks available, large-scale agile transformations are not straightforward undertakings. Few organizations have structures in place that fit the predefined workflows – while once one applies an off-the-shelf framework outside of its prescribed process, guidance quickly runs out. In this paper, we demonstrate how to instantiate a method configuration process using a lightweight experimental approach...
-
SoftwareX
Journals -
Werkzeugübergreifende Konsistenzsicherung von Artefakten bei der Entwicklung softwarebasierter Systeme im Automobil
PublicationDie Entwicklung von eingebetteten Systemen im Auto mobilbereich zeichnet sich zunehmend durch steigende Komplexität der zu entwickelnden Fahrzeugfunktionen aus. Die Handhabung dieser Kompl exität wird über entsprechend mächtige Werkzeuge, welche die verschi edenen Aktivitäten des Softwareentwicklungsprozesses unterstützen, angestr ebt. Als eine Schwachstelle erweist sich dabei, dass die eingesetzten Werkzeugk etten im Automobilbereich...
-
The Analysis and Solutions to the Problems of IPv6 Configuration Migration of Small Networks
PublicationThe paper analyzes the problems of IPv4 to IPv6 migration processes and indicates the areas in which migration can be done without expensive replacement of hardware, software and organizational changes. This paper presents the migration tools developed for the SOHO network administrators. The tools provide theoretical knowledge and practical advices on migrating to IPv6 and enable automation of the migration process. The article...
-
Software Education Conference
Conferences -
Automation of Software Test
Conferences -
Onward Software Engineering
Conferences -
Visualization in Software Engineering
Conferences -
Software Quality Conference
Conferences -
Hybrid Algorithm to Protect Java’s Code from Reverse Engineering
Publication -
Heuristic Minimization of Symmetric Index Generation Functions utilizing their Properties
Publication -
Complex Root Finding Algorithm Based on Delaunay Triangulation
PublicationA simple and flexible algorithm for finding zeros of a complex function is presented. An arbitrary-shaped search region can be considered and a very wide class of functions can be analyzed, including those containing singular points or even branch cuts. The proposed technique is based on sampling the function at nodes of a regular or a self-adaptive mesh and on the analysis of the function sign changes. As a result, a set of candidate points...
-
Software Quality, Reliability, and Security (International Conference on Quality Software [QSIC])
Conferences -
International Workshop on Incorporating COTS Software into Software Systems, Tools and Techniques
Conferences -
Australian Workshop on Software Architecture
Conferences -
Algebraic Methodology and Software Technology
Conferences -
Automated Software Engineering Conference
Conferences -
Aspect-Oriented Software Development
Conferences -
International Conference on Software Engineering
Conferences -
ACM Symposium on Software Reusability
Conferences -
Software Product Lines Conference
Conferences -
International Conference on Software Composition
Conferences -
Australian Conference on Software Metrics
Conferences -
ACM Conference on Embedded Software
Conferences -
Fundamental Approaches to Software Engineering
Conferences -
Conference on the Quality of Software Architectures
Conferences -
European Conference on Software Architecture
Conferences -
International Conference on Software Reuse
Conferences -
Conference on Agile Software Development
Conferences -
IEEE Software Engineering Workshop
Conferences -
Australian Software Engineering Conference
Conferences -
International Workshop on Software Quality
Conferences -
International Conference on Software Development
Conferences -
European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
Conferences -
Conference on Software Engineering Education and Training (Conference on Software Engineering Education and Training (previously Conference is Software Engineering Education, CSEE, changed in 1997))
Conferences -
Intenational Environmental Modelling and Software Society
Conferences -
Integration of Software Engineering and Agent Technology
Conferences -
Domain - Specific Languages for Software Engineering
Conferences -
International Symposium on Empirical Software Engineering
Conferences -
Foundations of Software Science and Computational Structures
Conferences -
IEEE International Symposium on Software Metrics
Conferences -
International Workshop on Modelling in Software Engineering
Conferences -
Software Technology and Engineering Practice Conference
Conferences -
Visualization in Software Product Lines Workshop
Conferences -
ACM Virtual Reality Software and Technology
Conferences -
Software Performance Enhancement for Encryption and Decryption
Conferences -
International Symposium on Software Testing and Analysis
Conferences -
International Symposium on Future Software Technology
Conferences -
Product Focused Software Process Improvement
Conferences -
International Workshop on Software Product Management
Conferences -
International Conference on Software Engineering Advances
Conferences -
International Conference on Testing Software and Systems
Conferences -
Software Process Improvement and Capability Determination
Conferences -
International Workshop on Fast Software Encryption
Conferences -
European Conference on Software Maintenance and Reengineering
Conferences -
International Conference on Software Language Engineering
Conferences -
International Conference on Software and Data Technologies
Conferences -
International Conference on Agile Software Development
Conferences -
Conference on Software in Telecommunications and Computer Networks
Conferences -
International Symposium on Software Reliability Engineering
Conferences -
International Conference on Software Quality Management
Conferences -
International IEEE Workshop on Software Evolvability
Conferences