Wszystkie pola: program correctness

Skocz do pozycji: 1.

Tytuł:: Early estimating the number of errors encountered during program testing
Autorzy:: Konopacki, J.
Worwa, K.
Data publikacji:: 2009
Wydawca:: Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:: software testing
software reliability
program correctness
reliability growth model; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Early estimating the number of errors encountered during program testing
Autorzy:: Konopacki, J.
Worwa, K.
Data publikacji:: 2009
Słowa kluczowe:: software testing
software reliability
program correctness
reliability growth model; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: The Impact of seq on Free Theorems-Based Program Transformations
Autorzy:: Johann, P.
Voigtländer, J.
Data publikacji:: 2006
Słowa kluczowe:: Haskell
control primitives
correctness proofs
denotational semantics
functional programming languages
logical relations
mixing strict and nonstrict evaluation
parametricity
polymorphism
program transformation
rank - 2 types
short cut fusion
theorems for free; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: „Graphical analysis of motion – diagrams” used to control the synchronization correctness of motion of elements forming complex projects availing Unigraphics NX
Autorzy:: Domański, Z.
Baier, A.
Data publikacji:: 2012
Słowa kluczowe:: program Unigraphics NX
analiza ruchu
proces produkcyjny
żeliwo szare
Unigraphics NX program
motion analysis
production process
grey cast iron; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Weryfikacja poprawności transferu danych BIM w celu obliczeń MES na przykładzie obiektu usługowo-biurowego
Autorzy:: Pabian, Katarzyna
Wosatko, Adam
Data publikacji:: 2020
Słowa kluczowe:: transfer danych
poprawność
program inżynierski
REVIT
TEKLA
BIM
modelowanie informacji o budynku
MES
metoda elementów skończonych
obiekt usługowo-biurowy
data transfer
correctness
software for engineers
building information modelling
FEM
finite element method
service-office object; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Evaluation of the correctness of the SciLab program in a simulation of an electric vehicle run
Autorzy:: Boguta, Artur
Data publikacji:: 2020
Słowa kluczowe:: electric vehicle
SciLab
pojazd elektryczny; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Weryfikacja poprawności transferu danych BIM w celu obliczeń MES na przykładzie obiektu usługowo-biurowego
Verification of correctness of BIM data transfer for FEM computation using example of service-office facility
Autorzy:: Pabian, Katarzyna
Wosatko, Adam
Data publikacji:: 2020
Wydawca:: Polski Związek Inżynierów i Techników Budownictwa
Tematy:: building information modelling
FEM
finite element method
service-office object
transfer danych
poprawność
program inżynierski
REVIT
TEKLA
BIM
modelowanie informacji o budynku
MES
metoda elementów skończonych
obiekt usługowo-biurowy
data transfer
correctness
software for engineers; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Application of the iLogic technology, implemented in the inventor software, to the realization of a parameterized model of a cylindrical gear – model design and analysis of work correctness
Autorzy:: Drobny, K.
Hetmańczyk, M.
Data publikacji:: 2012
Słowa kluczowe:: technologia iLogic
program Autodesk Inventor
przekładnia zębata cylindryczna
iLogic technology
Autodesk Inventor software
cylindrical gear; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Podstawowe zasady standaryzacji nazw obiektów fizjograficznych w Polsce. Cz. II
THE BASIC PRINCIPLES OF THE STANDARDIZATION OF THE NAMES OF PHYSIOGRAPHICOBJECTS IN POLAND. PART II
Autorzy:: Wolnicz-Pawłowska, Ewa (1947– )
Wolnicz-Pawłowska, Ewa
Data publikacji:: 2020
Wydawca:: Instytut Języka Polskiego Polskiej Akademii Nauk
Słowa kluczowe:: program standaryzacji
role of local authorities
linguistic correctness
korekty językowe
standardization programmes
rola władz lokalnych
nazwy obiektów fizjograficznych
names of physiographic objects; Pokaż więcej
Dostawca treści:: RCIN - Repozytorium Cyfrowe Instytutów Naukowych

Książka

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Poprawność wyników ilościowej interpretacji profilowań geofizyki otworowej z wykorzystaniem aplikacji Interlog w systemie GeoWin
Autorzy:: Jarzyna, J.
Woźnicka, U.
Cichy, A.
Gądek, W.
Data publikacji:: 2006
Słowa kluczowe:: interpretacja profilowań geofizycznych
geofizyka otworowa
interpretation of well logs
well logging; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "program correctness" wg kryterium: Wszystkie pola