Temat: 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ł

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ł

Szczegóły

Skocz do pozycji: 3.

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

Szczegóły

Skocz do pozycji: 4.

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ł

Szczegóły

Skocz do pozycji: 5.

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ł

Szczegóły

Skocz do pozycji: 6.

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ł

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Lokalny program rewitalizacji gminy Krapkowice na lata 2016-2023 a kryteria oceny zawarte w wytycznych Ministerstwa Rozwoju w zakresie rewitalizacji w programach operacyjnych na lata 2014-2020
Local Regeneration Programme of Krapkowice Municipality 2016-2023 vs. Evaluation Criteria Included in the Ministry of Economic Development Guideliness for Urban Regeneration in Operational Programmes for the Years 2014-2020
Autorzy:: Spadło, K.
Data publikacji:: 2016
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: prawidłowość delimitacji obszarów zdegradowanych i regeneracyjnych
obszar zdegradowany
delimitacja
diagnoza czynników
zjawiska kryzysowe
ocena
programy regeneracyjne
wytyczne dotyczące rewitalizacji obszarów miejskich
lista pozytywnie zweryfikowanych programów regeneracji
lokalny program regeneracji
regeneracja
obszar regeneracji
correctness of the delimitation of degraded and regeneration areas
degraded area
delimitation
diagnosis of factors and crisis phenomena
evaluation of regeneration programmes
guidelines for urban regeneration
list of positively verified regeneration programmes
local regeneration programme
regeneration
regeneration area; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Lokalny program rewitalizacji gminy Krapkowice na lata 2016-2023 a kryteria oceny zawarte w wytycznych Ministerstwa Rozwoju w zakresie rewitalizacji w programach operacyjnych na lata 2014-2020
Autorzy:: Spadło, K.
Data publikacji:: 2016
Słowa kluczowe:: prawidłowość delimitacji obszarów zdegradowanych i regeneracyjnych
obszar zdegradowany
delimitacja
diagnoza czynników
zjawiska kryzysowe
ocena
programy regeneracyjne
wytyczne dotyczące rewitalizacji obszarów miejskich
lista pozytywnie zweryfikowanych programów regeneracji
lokalny program regeneracji
regeneracja
obszar regeneracji
correctness of the delimitation of degraded and regeneration areas
degraded area
delimitation
diagnosis of factors and crisis phenomena
evaluation of regeneration programmes
guidelines for urban regeneration
list of positively verified regeneration programmes
local regeneration programme
regeneration
regeneration area; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Informacja