Examples with "oprogramowania komponent" and their translation in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Okazały się one również niezwykle przydatne w zapewnieniu formalnych podstaw oprogramowania komponent owego, jak również w rozwiązaniu trudnych problemów dotyczących modeli matematycznych dla komponentów, kompozycji i adaptacji czy rygorystycznych podejść do weryfikacji, wdrażania, testowania i certyfikacji.
They have also shown great utility for providing the formal foundations of component-based software and working out challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing and certification.
W dniach 14-16 października 2010 r. w Guimaräes, Portugalia, odbędą się siódme międzynarodowe warsztaty nt. formalnych aspektów oprogramowania komponent owego.
The Seventh International Workshop on Formal Aspects of Component Software will be held in Guimaraes, Portugal from 14 to 16 October 2010.
W warsztatach mają wziąć udział naukowcy i praktycy zajmujący się oprogramowaniem komponentowym i metodami formalnymi, aby pomóc w głębszemu poznaniu paradygmatu konstruowania oprogramowania komponent owego i jego zastosowań.
The workshop is expected to bring together researchers and practitioners in the areas of component software and formal methods in order to promote a deeper understanding of the component-based software development paradigm and its applications.
Andere resultaten
Po akceptacji projektu przez obie strony, odpowiedni komponent oprogramowania jest wykonywany, testowany i na końcu przekazywany do użytkowania.
Upon acceptance of the design by both parties the appropriate software component is implemented, tested and finally passed to the user.
Gateway Agent to komponent oprogramowania wychodzący naprzeciw wyzwaniom związanym z wielkością, różnorodnością i prędkością danych produkowanych przez miliardy urządzeń IoT.
Gateway Agent is a software component addressing challenges related to volume, variety and velocity of data produced by billions of IoT devices.
W powiązanej aplikacji do sterowania ruchem firma Singer&Sohn zastosowała komponent oprogramowania mapp Motion firmy B&R.
For the associated motion control application, Singer&Sohn used B&R's mapp Motion software component.
Gnome-session to projekt open source i wolnego oprogramowania, ważny komponent środowiska GNOME, dostarczający podstawowych elementów sesji.
gnome-session is an open source and free software project, an important component of the GNOME desktop environment, providing essential components for its sessions.
Komponent oprogramowania mapp Vision firmy B&R zapewnia programistom dostęp do biblioteki systemów wizyjnych HALCON firmy MVTec.
B&R's mapp Vision software component gives the programmers access to the HALCON machine vision library from MVTec.
komponent sprawozdawczy oprogramowania jest w stanie powiadomić o pozostałościach surowców w magazynie i podać zalecenia dotyczące tego, co można z nich zrobić, aby zaoszczędzić finanse
the reporting component of the software is able to notify about the remains of raw materials in the warehouse and give recommendations on what can be made from them in order to save finances
Parasolid jest to komponent oprogramowania odpowiedzialny za modelowanie geometryczne, umożliwiający użytkownikom opartych na nim produktów modelowanie złożonych części i zespołów.
Parasolid is 3D geometric modeling component software, enabling users of Parasolid-based products to model complex parts and assemblies.
Dodano komponent Aktualizacja oprogramowania. Ten komponent umożliwia zarządzanie aktualizacjami oprogramowania zainstalowanego na komputerze, na przykład, może automatycznie instalować krytyczne aktualizacje lub wszystkie aktualizacje.
By means of this component you can manage updates of software installed on your computer; for example: install critical updates or all updates automatically.
Kolejka komunikatów - komponent inżynierii oprogramowania, używany do komunikacji międzyprocesowej lub do międzywątkowej komunikacji w obrębie jednego procesu. Używa kolejek do przesyłania wiadomości (przekazywania sterowania lub zawartości).
In computer science, message queues and mailboxes are software-engineering components used for inter-process communication (IPC), or for inter-thread communication within the same process.
Nowy komponent oprogramowania ułatwiający kontrolę temperatury
New software component for easy access to temperature control
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
