Temat: program correctness - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Early estimating the number of errors encountered during program testing
Autorzy:: Konopacki, J.
Worwa, K.
Powiązania:: https://bibliotekanauki.pl/articles/305979.pdf
Data publikacji:: 2009
Wydawca:: Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:: software testing
software reliability
program correctness
reliability growth model
Opis:: An approach to estimate the number of errors encountered during the program testing process is proposed in the paper. Considerations are based on some program reliability growth model which is constructed for assumed scheme of program testing process. In this model the program under the testing is characterized by means of so-called characteristic matrix and the program testing process is determined by means of so-called testing strategy. The formula for determining the mean value of the predicted number of errors encountered during the program testing is obtained. This formula can be used if the characteristic matrix and the testing strategy are known. Formula for estimating this value when the program characteristic matrix is not known are also proposed in the paper.
Źródło:: Biuletyn Instytutu Systemów Informatycznych; 2009, 3; 53-57
1508-4183
Pojawia się w:: Biuletyn Instytutu Systemów Informatycznych
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

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.
Powiązania:: https://bibliotekanauki.pl/articles/2031626.pdf
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
Opis:: Działania obejmujące kompleksową rewitalizację zdegradowanych obszarów miast stanowią jeden z głównych zakresów interwencji dedykowanej ośrodkom miejskim, będąc skupionymi wokół Celu szczegółowego nr 3 Odbudowa zdolności do rozwoju poprzez rewitalizację zdegradowanych społecznie, ekonomicznie i fi zycznie obszarów miejskich, określonego w Krajowej Polityce Miejskiej [Krajowa Polityka Miejska 2023]. Cele rozwojowe sprecyzowane w Krajowej Polityce Miejskiej defi niują strategię inwestycyjną dla funduszy UE w obszarze rewitalizacji, która wskazuje, że podstawowym źródłem współfi nansowania projektów rewitalizacyjnych są środki regionalnych programów operacyjnych (EFS i EFRR). Procesy rewitalizacji, które są głównym elementem Celu szczegółowego nr 3 Krajowej Polityki Miejskiej, realizuje się przez programy rewitalizacji. Krajowa Polityka Miejska zdefi niowała zarówno cechy, jak i pojęcie programu rewitalizacji, rozumianego jako wieloletni program działania w sferze społecznej, gospodarczej, przestrzennej i technicznej, określający rodzaj, zakres i etapy działań rewitalizacyjnych. Program rewitalizacji musi być bezpośrednio powiązany z innymi dokumentami dotyczącymi rozwoju gminy. Powinien on bazować na aktualnej diagnozie społeczno-gospodarczej miasta. Program rewitalizacji musi przedstawiać pełną wizję zmian i sposób realizacji tej wizji. Powinien wyraźnie defi niować zakres zadań oraz obszary odpowiedzialności poszczególnych podmiotów zaangażowanych w jego realizację. Musi posiadać realny plan fi nansowy, horyzont czasowy, przejrzysty system monitoringu i elastyczny system wprowadzania modyfi kacji w reakcji na zachodzące zmiany oddziałujące na program. Dla jego właściwej realizacji konieczne będzie wsparcie instytucjonalne oraz eksperckie [ibidem, s. 70] Określenie cech programów rewitalizacji na szczeblu krajowym było odpowiedzią na niską jakość tych dokumentów, programowanych w okresie 2007-2013, na podstawie których miasta prowadziły intensywną politykę rewitalizacyjną (w latach 2007-2013, wydatki na projekty rewitalizacji wyniosły łącznie we wszystkich województwach ponad 8,5 mld zł, w tym dofinansowanie z UE osiągnęło blisko 5 mld zł).
Over the period 2014-2020 as far as regeneration projects following an urban regeneration programme are concerned there is a possibility of applying for the EU structural funds or getting them on preferential terms within the Regional Operational Programme (ROP). However to become a beneficiary a positive evaluation of the programme compliance with the Ministry of Economic Development Guidelines for Urban Regeneration in Operational Programmes for the Years 2014-2020 executed by the proper ROP Managing Institution is needed. The article is an analysis of the conformity assessment of the Local Regeneration Programme of Krapkowice Municipality 2016-2023 project with the Ministry of Economic Development Guidelines for Urban Regeneration in Operational Programmes for the Years 2014-2020. The analysis identifies areas of cohesion of the Local Regeneration Programme of Krapkowice Municipality 2016-2023 project with the guidelines as well as elements requiring correction so that the programme could be included on the List of Positively Verified Regeneration Programmes run by the Executive Board of the Opolskie Voivodeship.
Źródło:: Biuletyn Komitetu Przestrzennego Zagospodarowania Kraju PAN; 2016, 264; 169-187
0079-3493
Pojawia się w:: Biuletyn Komitetu Przestrzennego Zagospodarowania Kraju PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

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
Powiązania:: https://bibliotekanauki.pl/articles/1860645.pdf
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
Opis:: Artykuł dotyczy porównania współpracy pomiędzy programami inżynierskimi na podstawie transferu danych modelu zgodnie z ideą BIM. W tym celu taki sam model BIM obiektu usługowo-biurowego utworzono w dwóch różnych programach źródłowych, a następnie wykonano jego eksport i poddano weryfikacji za pomocą analizy MES. Obiekt składa się z hali stalowej oraz dwóch niewielkich budynków biurowych o konstrukcji żelbetowej. Do modelowania użyto programów REVIT oraz TEKLA, a obliczenia wykonano za pomocą programu ROBOT. Weryfikacja MES zawiera głównie analizę statyczną, ale pokazane są także wyniki dla zagadnienia drgań własnych.
The paper evaluates the interaction between software packages for engineers on the basis of data transfer according to the BIM idea. For this purpose the same model of an office-service building set is prepared in two different source packages and next it is exported and verified using the FEM analysis. The facility consists of a steel hall and two small office buildings with reinforced concrete structure. The REVIT and TEKLA programs are selected for modeling, while package ROBOT is used for computations. The FEM verification contains mainly a static analysis, but the results of an eigen-vibration problem are also shown.
Źródło:: Przegląd Budowlany; 2020, 91, 12; 20-29
0033-2038
Pojawia się w:: Przegląd Budowlany
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "program correctness" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język