Search
Filters
total: 15121
-
Catalog
- Publications 7543 available results
- Journals 14 available results
- Publishing Houses 6 available results
- People 878 available results
- Inventions 70 available results
- Projects 118 available results
- Laboratories 5 available results
- Research Teams 47 available results
- Research Equipment 7 available results
- e-Learning Courses 3814 available results
- Events 107 available results
- Open Research Data 2512 available results
displaying 1000 best results Help
Search results for: JAN PAWEŁ II
-
Influence of the position of the swash plate rotation axis on the volumetric efficiency of the axial pistons pumps
PublicationThe article describes the influence of the position of the swash plate axis of rotation on the size of the dead space and the volumetric efficiency of the axial pistons pump. Superposition of the two motions have been proposed - the rotation of the swash plate with respect to axis intersecting the axis of rotation of the pump shaft and the shifts of swash plate yielding a result of the rotation axis offset effect. In the article...
-
Comparison of selected algorithms for scheduling workflow applications with dynamically changing service availability
PublicationThis paper compares the quality and execution times of several algorithms for scheduling service based workflow applications with changeable service availability and parameters. A workflow is defined as an acyclic directed graph with nodes corresponding to tasks and edges to dependencies between tasks. For each task, one out of several available services needs to be chosen and scheduled to minimize the workflow execution time and...
-
Dynamic Data Management Among Multiple Databases for Optimization of Parallel Computations in Heterogeneous HPC Systems
PublicationRapid development of diverse computer architectures and hardware accelerators caused that designing parallel systems faces new problems resulting from their heterogeneity. Our implementation of a parallel system called KernelHive allows to efficiently run applications in a heterogeneous environment consisting of multiple collections of nodes with different types of computing devices. The execution engine of the system is open for...
-
Network-aware Data Prefetching Optimization of Computations in a Heterogeneous HPC Framework
PublicationRapid development of diverse computer architectures and hardware accelerators caused that designing parallel systems faces new problems resulting from their heterogeneity. Our implementation of a parallel system called KernelHive allows to efficiently run applications in a heterogeneous environment consisting of multiple collections of nodes with different types of computing devices. The execution engine of the system is open for...
-
Filozofia codzienności a wyzwania współczesności na przykładzie badań uczennic szkół gimnazjalnych w wybranych gminach województwa pomorskiego
PublicationW artykule dokonano próby przedstawienia wyrażonych przez uczennice szkół gimnazjalnych z terenu województwa pomorskiego ocen i opinii dotyczących charakterystycznych procesów, jakie zachodzą w otaczającej rzeczywistości.
-
Lokalizowanie terminala ruchomego w sieciach LTE
PublicationW artykule przedstawiono zagadnienie lokalizowania terminali w sieciach komórkowych, omówiono architekturę, metody i główne protokoły procesu lokalizowania w sieci LTE. Na końcu omówiono szczegółowo metodę OTDoA oraz zaprezentowano przykładowy przepływ informacji w procesie lokalizowania terminala ruchomego.
-
OBSERVATION OF THE THERMOSIPHON EFFECT IN THE CIRCULATION OF ACETONE AS WORKING FLUID IN MODERN COOLING SYSTEM
Publicationplants or computer server rooms has led to the demand for new and reliable methods for electronic cooling. Because of bigger and bigger power levels and miniaturization of the electronic devices, lack of free space in such a high heat flux. The increasing integration of electronic logy that supposed to be designed for high thermal performance, low mass, and able to work in harsh environments. In this paper presented a prototype...
-
Wysokociśnieniowe uszczelnienia ruchu obrotowego wału hydraulicznych maszyn wyporowych
PublicationW artykule przedstawiono wyniki badań mające na celu wytypowanie węzła uszczelniającego wał silnika hydraulicznego zapewniającego najwyższą trwałość przy smarowaniu wodą. Parametry pracy: ciśnienie 2 MPa i minimalna prędkość poślizgu uszczelek 2 m/s. Opisano również nowatorski przyrząd, na którym przeprowadzono pomiary wszystkich parametrów węzła uszczelniającego.
-
Recykling opakowań ze szkła, aluminium i PET
PublicationW artykule porównano możliwość i korzyści wynikające z recyklingu pojemników typu puszka aluminiowa, butelka szklana i butelka PET. Ocenę przedstawiono na podstawie zebranych danych literaturowych.
-
ANALIZA WPŁYWU SZEROKOŚCI PASMA REFERENCYJNYCH SYGNAŁÓW LOKALIZACYJNYCH NA DOKŁADNOŚĆ ESTYMACJI ODLEGŁOŚCI TERMINALA RUCHOMEGO OD STACJI BAZOWEJ W SYSTEMIE LTE
PublicationW referacie przedstawiono wyniki przeprowadzonych analiz związanych z możliwościami interfejsu radiowego OFDM systemu LTE do określania położenia terminala ruchomego. Zostały zaprezentowane wyniki badań symulacyjnych dokładności określania odległości terminala od stacji bazowej na podstawie sygnałów referencyjnych o różnych szerokościach pasm częstotliwości, definiowanych w specyfikacji warstwy fizycznej systemu LTE.
-
Efficiency Evaluation of High Performance Computing Systems Using Data Envelopment Analysis
PublicationThe paper presents an evaluation method of high performance computing (HPC) systems using multicriteria efficiency analysis. The Data Envelopment Analysis approach was applied and adapted to the specifics of HPC, which enabled us to compare relative efficiency of systems considering simultaneously multiple parameters. The analysis is based on the TOP500 list of world largest supercomputers and their parameters such as: the number...
-
Sposób wytwarzania pączków i donatów z ciasta drożdżowego z udziałem ciasta parzonego oraz mrożenia szokowego z nadziewaniem po wysmażeniu
PublicationOpinia o nowej technologii:" Sposób wytwarzania pączków i donatów z ciasta drożdżowego z udziałem ciasta parzonego oraz mrożenia szokowego z nadziewaniem po wysmażeniu."
-
Wyniki badań trwałościowych uszczelnień wału silnika hydraulicznego
PublicationW artykule przedstawiono wyniki badań różnych uszczelek wału ukierunkowane na wybór uszczelki o największej trwałości przy pracy pod ciśnieniem cieczy 2 MPa i z prędkością poślizgu min 2 m/s. Cieczą roboczą jest woda – ciecz o najgorszych właściwościach smarnych. W artykule opisano również oryginalny przyrząd, który pozwolił na pomiar wszystkich parametrów węzła uszczelniającego.
-
New First - Path Detector for LTE Positioning Reference Signals
PublicationIn today's world, where positioning applications reached a huge popularity and became virtually ubiquitous, there is a strong need for determining a device location as accurately as possible. A particularly important role in positioning play cellular networks, such as Long Term Evolution (LTE). In the LTE Observed Time Difference of Arrival (OTDOA) positioning method, precision of device location estimation depends on accuracy...
-
Wpływ położenia osi obrotu tarczy wychylnej na sprawność objętościową pomp wielotłoczkowych osiowych
PublicationOpisano wpływ położenia osi obrotu tarczy na wielkość przestrzeni martwej i sprawność objętościową pompy wielotłoczkowej osiowej. Zaproponowano superpozycję dwóch ruchów - obrotu tarczy względem osi przecinającej się z osią obrotu wału pompy i przesunięcia tarczy, co pozwoliło na uwzględnienie przesuniętej osi obrotu. Dokonano porównania sprawności objętościowej pompy z osią przecinającą się z osią obrotu wału oraz konstrukcji...
-
Satellite pump and motor
PublicationThe article describe the design and operation of a prototype of satellite pump and a prototype of satellite motor. In both machines, the operating mechanism consists of a non-circular gear with external teeth (rotor), non-circular gear with internal teeth (curvature), and ten gear wheels which cooperate with the rotor and the curvature. The differences between the commutation unit in the pump and the commutation unit in the motor...
-
Rezultaty badań rozwojowych hydraulicznych silników satelitowych typoszeregu SM
PublicationOpisano najnowszą konstrukcję hydraulicznych silników satelitowych typoszeregu SM, o małych objętościach roboczych od 5-34cm3/obr. Przedstawiono wyniki badań laboratoryjnych jednego, wybranego z typoszeregu, silnika zasilanego olejem, emulsją oleju w wodzie typu HFA-E oraz wodą. Ze względu na jednakową konstrukcję wszystkich silników typoszeregu sprawności tych silników przyjmują podobne wartości. Porównano również silniki satelitowe...
-
Zapewnianie wiarygodnosci przetwarzania przy integracji komponentów usług
PublicationPrzedstawiono problematykę Service Oriented Architecture(SOA) oraz nowoczesne metodologie integracji gotowych komponentów programistycznych.Omówiono Service Component Architecture (SCA), Cloud computing, oraz modelowanie procesów biznesowych jako metodologie zbliżone koncepcyjne do SOA. Opisano główne atrybuty wiarygodności i zestawionokonkretne techniki poprawy wiarygodno±ci. Modelowanie procesów biznesowychzaprezentowano na przykładzie...
-
Conservation and diversity of MutS proteins
PublicationThe homologues of MutS, mismatch repair protein, exist in all prokaryotes, with the exception of Actinobacteria, Mollicutes and part of the Archaea. Multiple alignments of 316 MutS amino acid sequences from 169 species revealed conserved residues and sequence motifs distinguishing MutS homologues. All MutS homologues show high conservation within the ATPase domain. MutS1, the homologue responsible for DNA mismatch recognition,...
-
Zastosowanie chłodzonych detektorów termicznych w systemach kryptografii kwantowej
PublicationW artykule przedstawiono wymagania stawiane detektorom pracującym w systemach kryptografii kwantowej. Omówiono zasadę działania bolometrów przeznaczonych do pracy w tych systemach. Zaprezentowano wybrane konstrukcje i omówiono kryteria optymalizacji i doboru punktu pracy. Dokonano porównania właściwości z właściwościami innych rodzajów detektorów. Przedstawiono perspektywy rozwojowe bolometrów chłodzonych kriogenicznie.
-
Nowoczesne koncepcje integracji usług w systemie BeesyCluster
PublicationOpisano funkcje aktualnej wersji systemu BeesyCluster jakowarstwy pośredniej w dostępie do rozproszonych zasobów wraz podsystemami integracji usług, wyboru usług oraz ich wykonania. Zaprezentowano rozszerzenia podsystemu integracji usług zorientowane na green computing. Omówiono problemy inteligentnego wyszukiwania usług, wykorzystanie GPU, współpracę z urządzeniami mobilnymi oraz przetwarzanie w przestrzeniach inteligentnych.Dodatkowo...
-
Wzmacniacz fazoczuły do detekcji sygnałów wysokiej częstotliwości
PublicationW referacie przedstawiono układ wzmacniacza fazoczułego pracujący w zakresie częstotliwości 0,1 - 20 MHz. Wzmacniacz ten został zrealizowany w konfiguracji zawierającej mieszacz, tor pośredniej częstotliwości i detektor synchroniczny. Omówiono wybrane aspekty implementacji urządzenia oraz problemy napotkane w trakcie jego realizacji. Przedstawiono wyniki charakteryzacji poszczególnychmodułów wzmacniacza i omówiono kierunki dalszych...
-
(Nie) pamięć (losów) Gdańska wśród studentów Politechniki Gdańskiej
PublicationAutor stawia sobie za cel zdiagnozowanie i opisanie wiedzy, opinii i ocen w odniesieniu do m. Gdańska, a więc orientacji jaką posiadają studenci Politechniki Gdańskiej, dwóch jej Wydziałów: Zarządzania i Ekonomii oraz Elektroniki, Telekomunikacji i Informatyki w kontekście aktualnych zmian i przeobrażeń w Gdańsku, lecz także szuka odpowiedzi odnośnie wiedzy o przeszłości miasta.
-
Szybkie elektrooptyczne układy próbkujące wykorzystujące ferroelektryczną ceramikę PLZT
PublicationW artykule omówiono konstrukcje elektrooptycznych układów próbkujących wykorzystujących ceramikę PLZT. Zaprezentowano także zagadnienia związane z pomiarami istotnych parametrów cienkich warstw tej ceramiki - grubości warstwy, współczynnika załamania i współczynnika elektrooptycznego. Przedstawiono kierunki dalszych prac.
-
(Nie)pamięć losów Gdańska wśród studentów Politechniki Gdańskiej
PublicationArtykuł to próba ukazania opinii, ocen i wiedzy studentów Politechniki Gdańskiej dotyczacych Gdańska sprzed 1945 r., jak i wspołczesnego. Opisuje percepcję otaczającej rzeczywistości pod kątem aktualnych zdarzen, jak i historii miasta.
-
Młodzież gimnazjalna w dobie przemian cywilizacyjnych- problem więzi społecznych oraz zagrożenia dla jej rozwoju
PublicationArtykuł omawia problematyke zjawisk patologicznych dotykajacych młodzież gimnazjalną z terenu woj. pomorskiego, w kontekście przemian cywilizacyjnych. Autor wskazuje zagrożenie rozpadu poczucia więzi społ. i zastępowaniem ich przez więzi rzeczowe i celowe. Wskazuje także na konieczne działania w kierunku tworzenia prawidłowych relacji i działań w otaczającej rzeczywistości, także działąń profilaktycznych.
-
Modeling, run-time optimization and execution of distributed workflow applications in the JEE-based BeesyCluster environment
PublicationArtykuł prezentuje kompletne rozwiązanie do modelowania naukowych i biznesowych scenariuszy. statycznego i dynamicznego wyboru usług z uwzględnieniem parametrów jakościowych oraz wykonanie scenariuszy w rzeczywistym środowisku. Scenariusz jest modelowany jako acykliczny graf skierowany, w którym węzły reprezentują zadania zaś krawędzie zależności pomiędzy zadaniami. Warstwa pośrednia BeesyCluster jest wykorzystana do umożliwienia...
-
Badanie własności transportowych kompozytu nadprzewodząco-ferromagnetycznego na bazie YBa2Cu3O7-x
PublicationCelem niniejszej pracy było sprawdzenie możliwości otrzymywania kompozytu nadprzewodząco-ferromagnetycznego, który mógłby potencjalnie znaleźć zastosowanie w konstrukcji sterownika, bądź przełącznika prądu nadprzewodzącego w sieciach energetycznych opartych na wysokotemperaturowych nadprzewodzących kablach energetycznych. W tym celu w pracy skoncentrowano się na otrzymywaniu ceramicznego porowatego nadprzewodnika YBa2Cu3O7-δ z...
-
Filozofia codzienności a wyzwania pedagogiki społecznej- na przykładzie badań nad młodzieżą gimmnazjalną
PublicationArtykuł jest próbą interpretacji filozofii codzienności M. Szyszkowskiej w kontekście codziennych działań podejmowanych przez młodziez gimnazjalną z terenu woj. pomorskiego. Działań takich jak plany na przyszłość, wiedza, system wartości czy ocena otaczającej rzeczywistości.
-
Regulacyjne usługi systemowe w zakresie mocy czynnej w warunkach rynkowych
PublicationRynek usług systemowych jest rynkiem pomocniczym, którego funkcjonowanie ma umożliwić realizację zadań przez rynek podstawowy jakim jest rynek energii elektrycznej. Proces produkcji i dostawy energii elektrycznej podlega szeregowi ograniczeń natury technicznej. Dla sprawnej i bezpiecznej pracy systemu Operator Systemu Przesyłowego musi dysponować odpowiednimi narzędziami, które pozyskuje jako usługi bilansujące i regulacyjne. Zadaniem...
-
Usługi systemowe w zdecentralizowanych układach regulacji wtórnej
PublicationW artykule omówiono podstawowe uwarunkowania techniczne świadczenia regulacyjnych usług systemowych, wynikające z zasad regulacji mocy czynnej i częstotliwości w systemie. Przestawiono uwarunkowania organizacyjne funkcjonowania rynku usług regulacyjnych wynikające z przyjętych rozwiązań w zakresie organizacji rynków energii. Zagadnienie jest istotne dla możliwości realizacji postulowanej w artykule zasadzie decentralizacji pozyskania...
-
Modelowanie problemów strażniczych jako grafów dynamicznych - przykładowy sposób analizy skuteczności systemów strażniczych
PublicationW problemach strażniczych rozważamy przestrzeń (graf), w której znajduje się intruz i pewna liczba agentów przechwytujących, zaś celem większości algorytmów jest jak najszybsze przechwycenie intruza lub też uniknięcie przez niego detekcji.Zaprezentowany model pozwala na praktyczne rozważanie problemów z życia wziętych przez matematyczne przedstawienie różnorodnych agentów przechwytujących (kamery mobilne i stacjonarne, strażnicy...
-
Generatory labiryntów: modyfikacje algorytmu komórkowego i analiza właściwości generowanej klasy
PublicationWyróżniamy trzy podstawowe algorytmy generujące labirynty, których grafowa reprezentacja ma postać drzew: błądzenia losowego, budowania ścian i komórkowy[1]. W pracy przedstawione zostaną modyfikacje algorytmu komórkowego, które potrafią wygenerować tę samą klasę labiryntów, co podstawowa wersja algorytmu, przy jednoczesnej zmianie parametrów opisujących ich wygląd (preferencja kierunku wyjścia, średnia liczba wyjść z pokoju, średnia...
-
Ćwiczenia w kreśleniu rysunków w systemie AutoCAD 2010PL 2011PL
PublicationPraca zawiera zestaw ćwiczeń do samodzielnego wykonania w systemie AutoCAD 2010 i 2011 PL w zakresie kreślenia rysunków dwuwymiarowych.Podane są przykładowe rozwiązania każdego problemu z wykorzystaniem tradycyjnego i nowego interface'u.
-
Usługi bilansowania systemu dystrybucyjnego
PublicationW artykule omówiono rolę operatorów systemów dystrybucyjnych (OSD) oraz przedsiębiorstw obrotu energią jako pośredników w dostawie usług systemowych, agregujacych mozliwości rozproszonych podmiotów na rynku energii (odbiorców i wytwórców). Omówiono zasady funkcjonowania grup bilansujących oraz pozyskanie rezerw mocy wsród odbiorców poprzez wykorzystanie technik oddziaływania na stronę popytową (DSM). W artykule zawarto opis koncepcji...
-
Badania wpływu efektu kapilarnego na wydajność parownika obiegowej rurki ciepła
PublicationBadania wpływu efektu kapilarnego na wydajność parownika obiegowej rurki ciepła
-
Sterowanie falownikami trójpoziomowymi z bezczujnikową stabilizacją rozkładu napięć w obwodzie pośredniczącym
PublicationW pracy przedstawiono metody estymacji rozkładu napięć w obwodzie pośredniczącym trójpoziomowego falownika z diodami poziomującymi. Realizacja proponowanych algorytmów opiera się na założeniu, że zmiany rozkładu napięć w obwodzie pośredniczącym są źródłem zniekształceń harmonicznych obserwowanych w prądzie wyjściowym, który w przypadku równości napięć jest przebiegiem sinusoidalnym. Zaproponowane algorytmy estymacji napięć wymagają...
-
Zastosowanie funkcji kształtu w sterowaniu przekształtnikami matrycowymi w warunkach asymetrii napięć zasilających
PublicationW artykule przeanalizowano sterowanie przekształtnikami matrycowymi z zastosowaniem funkcji kształtu trójkątnego elementu skończonego. Bazując na właściwościach funkcji kształtu, zaproponowano nowy algorytm modulacji PWM dla dwumodułowych przekształtników matrycowych pozwalający na zwiększenie amplitudy napięcia wyjściowego oraz kształtowanie poprawnych i sinusoidalnych prądów wyjściowych w warunkach asymetrii napięć zasilających....
-
Renewable Energy Sources on the Polish Electrical Energy Market
PublicationProduction of electricity from renewable energu sources in Poland is presented in the paper.The machanism of energy origin certifikates market and the proposal of mechanism modification are discused.
-
Wybrane metody efektywnej integracji komponentów w systemach rozproszonych
PublicationW pracy przedstawiono problemy wytwarzania efektywnych aplikacji rozproszonych ze szczególnym uwzględ-nieniem wytwarzania zorientowanego na integrację komponentów. Opisano metody komunikacji stosowane w aplikacjach rozproszonych oraz architektury oprogramowania, takie jak: SOA, ESB i SCA. Metody komunikacji obejmują standardy usług sieciowych XML Web services oraz RESTful Web services. Ponadto opisano wykorzystanie interfejsu programistycznego...
-
Klasyfikacja algorytmów wyboru usług w architekturze SOA
PublicationWytwarzanie aplikacji w architekturze zorientowanej na usługi wymaga zastosowania odpowiednich algorytmów wyboru usług, które będą zapewniały wytworzenie aplikacji o wymaganych parametrach jakościowych. Biorąc pod uwagę, że problem wyboru usług ma wykładniczą złożoność obliczeniową, stosowne są zarówno algorytmy dokładne jak i przybliżone. W pracy przedstawiono porównanie i analizę istniejących algorytmów wyboru usług w kompozycji...
-
BADANIE DOKŁADNOŚCI OKREŚLANIA ODLEGŁOŚCI W ŚRODOWISKU ZAMKNIĘTYM PRZY UŻYCIU MODEMÓW UWB W STANDARDZIE 802.15.4-2011
PublicationW referacie przedstawiono wyniki badań pomiarowych dokładności określania odległości pomiędzy dwoma węzłami przy użyciu modemów UWB w środowisku wewnątrzbudynkowym. Badania przeprowadzono dla przypadków bezpośredniej wzajemnej widoczności anten nadawczej i odbiorczej oraz przy braku bezpośredniej widoczności anten.
-
Identyfikacja dynamiczna i ocena odporności sejsmicznej konstrukcji dwukolumnowego odłącznika wysokiego napięcia
PublicationSprawność elementów sieci energetycznej po trzęsieniu ziemi jest bardzo ważnym elementem bezpieczeństwa na obszarze objętym kataklizmem. Brak elektryczności poważnie utrudnia prowadzenie akcji ratunkowej, potęguje chaos, wzmaga panikę wśród mieszkańców. Tymczasem w przeszłości wielokrotnie obserwowano uszkodzenia elementów infrastruktury energetycznej na skutek wstrząsów sejsmicznych. Istotnym elementem systemu energetycznego są...
-
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...
-
Strumieniowy generator wirów wzdłużnych - mechanizm działania i zastosowanie do sterowania przepływem
PublicationPraca dotyczy analizy wirów wzdłużnych generowanych przy pomocy strumienia (strugi) wydmuchiwanego do warstwy przyściennej przez otwór w ścianie. Interakcja wypływającego strumienia z przepływem wzdłuż ściany prowadzi do tworzenia się ukierunkowanego wiru, który może być wykorzystany do oddziaływania na strukturę przepływu oraz rozkład naprężeń wzdłuż przepływu za generatorem. Strumieniowe generatory wirów wzdłużnych są alternatywnym...
-
Zastosowanie funkcji kształtu w sterowaniu przekształtnikami matrycowymi w warunkach asymetrii napięć zasilających
PublicationW artykule przeanalizowano sterowanie przekształtnikami matrycowymi z zastosowaniem funkcji kształtu trójkątnego elementu skończonego. Bazując na właściwościach funkcji kształtu, zaproponowano nowy algorytm modulacji PWM dla dwumodułowych przekształtników matrycowych pozwalający na zwiększenie amplitudy napięcia wyjściowego oraz kształtowanie poprawnych i sinusoidalnych prądów wyjściowych w warunkach asymetrii napięć zasilających....
-
Block-based Representation of Application Execution on Modern Parallel Systems
PublicationThe chapter presents how to model execution of a parallel computational application that is to be executed in a large-scale parallel or distributed environment with potentially thousands to millions of execution units. The representation uses pre- viously attributes and factors representative of modern high performance systems including multicore CPUs, GPUs, dedicated accelerators such as Intel Phi.
-
Ontology-Aided Software Engineering
PublicationThis thesis is located between the fields of research on Artificial Intelligence (AI), Knowledge Representation and Reasoning (KRR), Computer-Aided Software Engineering (CASE) and Model Driven Engineering (MDE). The modern offspring of KRR - Description Logic (DL) [Baad03] is considered here as a formalization of the software engineering Methods & Tools. The bridge between the world of formal specification (governed by the mathematics)...
-
Pressure losses and power balance in the unloaded satellite pump
PublicationThis paper presents the results of laboratory research the pressure drop in the internal channels of unloaded satellite pump pumping tap water. Also shows the characteristics of the increase of pressure in the working chamber of the pump. It has been shown that after reaching cavitation, increase pump speed will increase in torque. This is the moment of inertia caused by the increase of the operating mechanism and the liquid contained...
-
Description Logic As A Common Software Engineering Artifacts Language
PublicationDescription logic is proposed as a powerful language able to support chosen software engineering process tasks like: requirements engineering, software architecture definition, software design and configuration management. To do this there is presented a correspondence between description logic and UML. Description logic based integrated software engineering process framework is proposed which owing to automatic knowledge inferring...