Filters
total: 1652
-
Catalog
displaying 1000 best results Help
Search results for: software requirement specification
-
International Journal on Software Tools for Technology Transfer
Journals -
Ruan Jian Xue Bao/Journal of Software
Journals -
International Journal of Open Source Software and Processes
Journals -
JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION-RESEARCH AND PRACTICE
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...
-
Hardware-Software Implementation of a Sensor Network for CityTraffic Monitoring Using the FPGA- and ASIC-Based Sensor Nodes
PublicationArtykuł opisuje prototypową sieć sensorową do monitorowania ruchu pojazdów w mieście. Węzły sieci sensorowej, wyposażone w kamerę o niskiej rozdzielczości, obserwują ulice i wykrywają poruszające się obiekty. Detekcja obiektów jest realizowana w oparciu o własny algorytm segmentacji obrazów, wykorzystujący podwójne odejmowanie tła, wykrywanie krawędzi i cieni, działający na dedykowanym systemie mikroelektronicznym typu ''System...
-
Impact of Feature Selection Methods on the Predictive Performance of Software Defect Prediction Models: An Extensive Empirical Study
Publication -
On efficient collaboration between lawyers and software engineers when transforming legal regulations to law-related requirements
PublicationAby zapewnić zgodność systemów informatycznych z prawem, konieczna jest współpraca pomiędzy prawnikami a informatykami. W referacie przedstawiono opis problemów dotyczących przekształcania przepisów prawa na wymagania względem systemu z perspektywy prawnika i informatyka. Zaprezentowano również ideę przestrzeni wspólnych informacji umożliwiających efektywną współpracę oraz proces, który integruje analizę wymagań wynikających z...
-
Application of 3D graphic software and GIS in visual impact assessment of high-voltage overhead transmission lines
Publication -
Forum on Specification and Design Languages (Forum on Specification, Verification and Design Languages)
Conferences -
Rengel Cane Sia Doctoral Candidate
PeopleI’m Rengel, born and raised in the Philippines. As an undergraduate I did kinetic modeling on Copper-catalyzed atom transfer radical addition (ATRA). Then I was inspired to do both theoretical and experimental studies, which led me to propose my master’s thesis on Synthesis, Computational, Electrochemical, and Photoconductivity Studies on Naphthalene and its derivatives. This led to a master’s degree in Chemistry in the Mindanao...
-
Statistical process control in software project management : a way to transfer single incident-related knowledge into organizational knowledge
PublicationZaproponowano statystyczne podejście do procesu kontroli zarządzania projektami informatycznymi. Przedstawiono sposób zamiany wiedzy incydentalnej na wiedzę organizacyjną.
-
Review of intelligent software architectures for the development of an intelligent decision support system for design process planning in concurrent engineering
PublicationW artykule poddano dogłębnej analizie szereg inteligentnych technik miękkie-go modelowania pod katem ich przydatności w obszarze wspomagania procesówplanowania dla inżynierii współzadaniowej. Skoncentrowano się na wspomaganiujednego z najważniejszych obszarów inżynierii współzadaniowej, a mianowicieprocesu projektowania. W wyniku analizy zaproponowano architekturę wspomaga-nia opartą na tablicowej bazie wiedzy modelującej wnioskowanie...
-
IEEE 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...
-
International Journal of Software Science and Computational Intelligence-IJSSCI
Journals -
On some aspects of Concurrent Control Processes Modelling and Implementation in LAD Diagram Language With Use of New Generation Engineering Software
Publication -
Signal Receiving and Processing Platform of the Experimental Passive Radar for Intelligent Surveillance System Using Software Defined Radio Approach
Publication -
ProSIL software for computer aided functional Safety management = Program komputerowy ProSIL do wspomagania zarządzaniem bezpieczeństwa funkcjonalnego
Publication..
-
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)...
-
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING
Journals -
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.
-
Ontology Engineering Aspects in the Intelligent Systems Development
PublicationThe ontology engineering encompasses both, artificial intelligence methods and software engineering discipline. The paper tries to address a selection of aspects pertaining to development activities such as choice of the environmental framework, functionality description, specification methods and roles definition. Authors refer to the ontology development projects they were involved in.
-
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...
-
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...
-
SOFTWARE QUALITY JOURNAL
Journals -
Marek Blok dr hab. inż.
PeopleMarek Blok in 1994 graduated from the Faculty of Electronics at Gdansk University of Technology receiving his MSc in telecommunications. In 2003 received Ph.D. and in 2017 D.Sc. in telecommunications from the Faculty of Electronics, Telecommunications and Informatics of Gdańsk University of Technology. His research interests are focused on application of digital signal processing in telecommunications. He provides lectures, laboratory...
-
<title>Software layer for SIMCON ver. 2.1. FPGA based LLRF control system for TESLA FEL part II: application layer, networking, examples</title>
Publication -
Exploring Impact of Requirements Engineering on Other IT Project Areas – Case Study
PublicationRequirements Engineering (RE) is recognized as one of the most important (yet difficult) areas of software engineering that has a significant impact on other areas of IT projects and their final outcomes. Empirical studies investigating this impact are hard to conduct, mainly due to the great effort required. It is thus difficult for both researchers and industry practitioners to make evidence-based evaluations about how decisions...
-
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,...
-
Test Design Patterns for Embedded Systems,
PublicationTest suites for embedded systems are typically created from scratch using dif- ferent, often inadequate methods. In consequence, industry branches dealing with software-intensive embedded systems have to cope with quality problems, even though test processes are particularly time-consuming and costly. Based on an evolving model-based testing methodology we introduce test design patterns for simplifying and accelerating...
-
Journal of Software-Evolution and Process
Journals -
Open Journal of Communication and Software
Journals -
ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE
Journals -
Paweł Weichbroth dr
People -
Wojciech Waloszek dr inż.
People -
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 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...
-
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...
-
e-Informatica Software Engineering Journal
Journals -
Journal of Computer Science and Software Application
Journals -
Toolchain Modeling: Comprehensive Engineering Plans for Industry 4.0
PublicationThe fourth industrial revolution (Industry 4.0) elevates the complexity and autonomy of industrial systems and engineering environments to levels not seen before. The novel challenges involve not only the software running on the partaking autonomous devices, but also architectural considerations and the technological infrastructure around the entire engineering process. In this paper, complementing the trends in industrial systems...
-
Good practices in requirements, project and risk managment in educational IT projects
PublicationOne can find many learning aids and simulations of physical phenomena on the market - provided as a standalone application or as part of an educational package. However, only a few of them allow for the building of interactive experiments: experiments similar to those that should be conducted in physics laboratories at schools. Gdańsk University of Technology decided to fill this market niche by designing and constructing a set...
-
Aleksander Jarzębowicz dr inż.
People -
Teresa Zawadzka dr inż.
People -
Description logic based generator of data-centric applications
PublicationThe knowledge stored in Ontology Management Systems (OMS) that originally has the form of expressions, can be seen as a user application specification or as knowledge provided by an expert. The generator of applications discussed in this paper is defined as a program that automatically generates an application that meets a certain specification stored in OMS. It is shown that it is possible to build a user interface for data management...
-
Description logic based generator of data-centric applications
PublicationThe knowledge stored in Ontology Management Systems (OMS) that originally has the form of expressions, can be seen as a user application specification or as knowledge provided by an expert. The generator of applications discussed in this paper is defined as a program that automatically generates an application that meets a certain specification stored in OMS. It is shown that it is possible to build a user interface for data management...
-
IFIP Joint International Conference on Formal Description Techniques and Protocol Specification, Testing, And Verification
Conferences