Temat: narzędzia oprogramowania - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Automated code generation for safety-related applications: a case study
Automatyczna generacja programów dla komputerowych systemów bezpieczeństwa: przykład studialny
Autorzy:: Gluch, D. P.
Kornecki, A. J.
Powiązania:: https://bibliotekanauki.pl/articles/305421.pdf
Data publikacji:: 2007
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: inżynieria oprogramowania
narzędzia oprogramowania
automatyczna generacja kodu
software engineering process
software tools
automatic code generation
Opis:: Artykuł opisuje możliwości zastosowań technologii automatycznej generacji programów (AGP) dla komputerowych systemów bezpieczeństwa. Przeprowadzone badania koncentrowały się na charakterystykach systemów oprogramowania bazujących na modelowaniu i automatycznych narzędziach oprogramowania. W szczególności studium pozwoliło na kolekcję danych dotyczących wymagań inżynieryjnych, wiedzy i wysiłku koniecznego do pomyślnej realizacji projektu wykorzystującego praktykę i technologię AGP. Takie charakterystyki, jak organizacja generowanego programu, rozmiar, łatwość czytania, relacja między programem a modelem, konstrukcje programu ułatwiające operacje w czasie rzeczywistym i generacja przerwań, były przedmiotem identyfikacji. Dodatkowo, projekt używał metodologii inżynierii oprogramowania, gdzie analiza i konstrukcja były zintegrowane w procesie realizacji programu na bazie modelu. Analiza dotyczyła statycznych i dynamicznych charakterystyk wybranych technik i narzędzi oprogramowania wpływających na bezpieczeństwo systemu.
Źródło:: Computer Science; 2007, 8, Spec. Ed; 37-48
1508-2806
2300-7036
Pojawia się w:: Computer Science
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Logic programming tools for formal software specification
Zastosowanie narzędzi programowania logicznego do formalnej specyfikacji oprogramowania
Autorzy:: Przymusińska, H.
Powiązania:: https://bibliotekanauki.pl/articles/91501.pdf
Data publikacji:: 2011
Wydawca:: Warszawska Wyższa Szkoła Informatyki
Tematy:: software engineering
logic programming
programming tools
inżynieria oprogramowania
programowanie logiczne
narzędzia programowania
Opis:: Two of the most important problems in software engineering are the problem of elaborating and refining software requirements into accurate specifications, and the problem of transforming specifications of complicated problems into executable code. Proving that software products produced agree with the specifications (verifiability) is the main reason for pursuing the study of formal specifications.
Jednym z najistotniejszych problemów w inżynierii oprogramowania jest opracowanie i zawężenie wymagań dotyczących oprogramowania w celu określenia dokładnych specyfikacji, a także kwestia przekształcenia specyfikacji dotyczących złożonych problemów w wykonywalne kody. Głównym powodem podjęcia się badania formalnych specyfikacji jest udowodnienie, że oprogramowanie produkowane jest z nimi zgodne (chodzi o weryfikowalność). Artykuł ukazuje, iż programowanie logiczne połączone z rachunkiem sytuacyjnym można z powodzeniem stosować jako formalną specyfikację oprogramowania.
Źródło:: Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2011, 5, 6; 67-73
1896-396X
2082-8349
Pojawia się w:: Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: Propozycja modelowych cech narzędzia wspomagającego zwinne zarządzanie projektami inżynierii oprogramowania
The proposal for model features of the tool supporting an agile project management in software engineering
Autorzy:: Synowiec, Jakub
Błaszczyk, Tomasz
Powiązania:: https://bibliotekanauki.pl/articles/591762.pdf
Data publikacji:: 2015
Wydawca:: Uniwersytet Ekonomiczny w Katowicach
Tematy:: Inżynieria oprogramowania
Metodyki zwinne
Narzędzia informatyczne
Zarządzanie projektami
Agile methods
Project management
Software engineering
Software tools
Opis:: W artykule opisano próbę analizy zasadności wykorzystania informatycznych narzędzi wspierających zwinne zarządzanie projektami oraz określenia modelowych cech, którymi powinno charakteryzować się takie oprogramowanie, aby zaspokoić oczekiwania konkretnych członków zespołów projektowych w każdej fazie ich realizacji (koncepcyjnej, planowania, produkcji, testowania w fazie operacyjnej). Rozważania prowadzono, opierając się na wynikach pogłębionych wywiadów, przeprowadzonych wśród członków zespołów projektowych realizujących zadania w sektorze inżynierii oprogramowania.
In this paper we described an attempt of the analysis the legitimacy of the use of tools to support project management and to determine the characteristics of the model, which should have the tools to meet the needs of post-specific members project teams at every level of implementation (planning, design, production, testing and management). The data we used was collected by in-depth interviews conducted with members of the software engineering project teams.
Źródło:: Studia Ekonomiczne; 2015, 235; 222-235
2083-8611
Pojawia się w:: Studia Ekonomiczne
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "narzędzia oprogramowania" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język