D.2.4 Software/Program Verification | Article |
PROPERTIES PROOF METHOD IN IPCL APPLICATION TO REAL-WORLD SYSTEM CORRECTNESS ... |
Abstract: The correctness proof for programs with parallelism, and interleaving concurrency with
shared memory in particular, is complicated problem because the state of separate execution thread
ca |
D.2.9 Management | Article |
QUALITY AND PRODUCTIVITY ANALYSIS IN A VERY SMALL ENTERPRISE USING TSPI |
Abstract: This article shows the benefits of developing a software project using TSPi in a “Very Small Enterprise”
based in quality and productivity measures. An adapted process from the current |
D.2.9 Management | Article |
QUALITY AND PRODUCTIVITY ANALYSIS IN A VERY SMALL ENTERPRISE USING TSPI |
Abstract: This article shows the benefits of developing a software project using TSPi in a “Very Small Enterprise”
based in quality and productivity measures. An adapted process from the current |
D.2.9 Management | Article |
REQUIREMENTS MANAGEMENT AND ACQUISITION MANAGEMENT ... |
Abstract: As a part of the activities of the first Symposium on Process Improvement Models and Software Quality
of the Spanish Public Administration, working groups were formed to discuss the current |
D.2.0 Genera | Article |
REVIEW OF THE SOFTWARE SOLUTIONS OF LOGISTIC TASKS |
Abstract: Description of software solutions for logistic tasks and their comparative analysis are
considered in the article. The selection of the functionality of Logistics Information System, which |
D.2.1 Requirements/Specifications | Article |
SEMANTIC CONSTRUCTION OF UNIVOCAL LANGUAGE |
Abstract: In this paper a solution is propose to organize the space of words that exist in a specific language in
their different semantic categories. By taking a natural language, we're going to de |
D.2.13 Reusable Software | Article |
SMPR TRAINING-METHODOLOGICAL SYSTEM FOR SUPPORT THE TRAINING COURSES ON ... |
Abstract: The software for support the training courses on decision-making theory in the form of an educational,
methodological and evaluating system is considered. The systems purposes, its design, |
D.2.11 Software Architectures | Article |
SOA PROTOCOL WITH MULTIRESULTING |
Abstract: This paper presents a framework for distributed results in SOA environment. These distributed results
are partially produced by a service and passed to a client program on demand. This appr |
D.2.11 Software Architectures | Article |
SOCIAL SEARCH ENGINE AND INTELLECTUAL DATABASE OF PEOPLE |
Abstract: Social networks are the core of modern Web. Nowadays almost every person have pages in
several social networks. Social networks are very structured, so it is possible to make advanced queri |
D.2.1 Requirements/Specifications | Article |
SOFTWARE MODEL COGNITIVE VALUE |
Abstract: An approach for estimation of Software Models (SMs) from Cognitive Science point of view is
outlined in the paper. The basic notion of this approach is the new term “Software Model Cognit |
D.2 SOFTWARE ENGINEERING | Article |
SOFTWARE TESTING AND DOCUMENTING AUTOMATION |
Abstract: This article describes some approaches to problem of testing and documenting automation in
information systems with graphical user interface. Combination of data mining methods and theory o |
D.2.4 Software/Program Verification | Article |
SYSTEM OF PROGRAMS PROVING |
Abstract: The paper is devoted to the methods of programs proving in the Insertion Modeling System IMS. Architecture and functional possibilities of IMS, the main notions of insertion modeling were pr |
D.2.1 Requirements/Specifications | Article |
SYSTEMOLOGICAL BUSINESS MODELLING FOR INFORMATION SYSTEMS DEVELOPMENT |
Abstract: One of the effective ways of the representation and analysis of the high level-purposes and business
requirements to the information program system is modelling of a context of the system f |
D.2 SOFTWARE ENGINEERING | Article |
SYSTEMOLOGICAL BUSINESS MODELLING FOR INFORMATION SYSTEMS DEVELOPMENT |
Abstract: One of the effective ways of the representation and analysis of the high level-purposes and business
requirements to the information program system is modelling of a context of the system f |
D.2.2 Design Tools and Techniques | Article |
THE APPLICATION OF ARTIFICIAL NEURAL NETWORKS AND EVOLUTIONARY ... |
Abstract: The authors have undertaken a research task with a view to apply of evolutionary algorithms and
artificial neural network to design of the course of a gas nitriding process, which guarantee |
D.2.2 Design Tools and Techniques | Article |
THE APPLICATION OF ARTIFICIAL NEURAL NETWORKS AND EVOLUTIONARY ALGORITHM FOR ... |
Abstract: The authors have undertaken a research task with a view to apply of evolutionary algorithms and
artificial neural network to design of the course of a gas nitriding process, which guarantee |
D.2.2 Design Tools and Techniques | Article |
THE APPLICATION OF GRAPH MODEL FOR AUTOMATION |
THE APPLICATION OF GRAPH MODEL FOR AUTOMATION
OF THE USER INTERFACE CONSTRUCTION
Elena Kudelko
Abstract: The ability of automatic graphic user interface construction is described. It is based on |
D.2.12 Interoperability | Article |
THE SENSOR WEB TESTBED FOR FLOOD MONITORING AND PREDICTION |
Abstract: In this paper we provide an overview of emerging Sensor Web paradigm and show several practical
issues of using Sensor Web technologies for real-world tasks. Issues under study include sens |
D.2.12 Interoperability | Article |
THE SENSOR WEB TESTBED FOR FLOOD MONITORING AND PREDICTION |
Abstract: In this paper we provide an overview of emerging Sensor Web paradigm and show several practical
issues of using Sensor Web technologies for real-world tasks. Issues under study include sens |
D.2.1 Requirements/Specifications | Article |
THE TECHNOLOGY OF PROGRAMMING FOR A CLUSTER COMPUTER ... |
Abstract. The problem of preparation of a program to perform it on multiprocessor system of a cluster type is
considered. When developing programs for a cluster computer the technology based on use o |
D.2.7 Distribution, Maintenance, and Enhancement | Article |
TRACEABILITY MANAGEMENT ARCHITECTURES SUPPORTING TOTAL TRACEABILITY ... |
Abstract: In the area of Software Engineering, traceability is defined as the capability to track requirements, their
evolution and transformation in different components related to engineering proce |
D.2.2 Design Tools and Techniques | Article |
USER-CENTRIC AND CONTEXT-AWARE ABC&S |
Abstract: The evolving Always Best Connected and best Served (ABC&S) communication paradigm is
addressed in this paper. The goal is to propose aspects of a novel vision together with the
consequenti |
D.2.12 Interoperability | Article |
USING THE BUSINESS PROCESS EXECUTION LANGUAGE FOR MANAGING ... |
Abstract: This paper describes the use of the Business Process Execution Language for Web Services
(BPEL4WS/BPEL) for managing scientific workflows. This work is result of our attempt to adopt Serv |
D.2.2 Design Tools and Techniques | Article |
ИНСТРУМЕНТАЛЬНЫЙ СЕРВИС ДЛЯ СОЗДАНИЯ ВИРТУ |
Абстракт: В работе описываются технологии реализации программного инструментального комплекса для разрабо� |