Search results for: automated code generation

• Automated Generation of Modular Assurance Cases with the System Assurance Reference Model

  Publication

  • A. Wardziński
  • A. Jarzębowicz

  - FORMAL ASPECTS OF COMPUTING - Year 2024

  Assurance cases are structured arguments used to demonstrate specific system properties such as safety or security. They are used in many industrial sectors including automotive, aviation and medical devices. Assurance cases are usually divided into modules which address goals allocated to specific system properties, components, functions, modes of operation or environmental conditions. Depending on the system and assurance process...

  Full text to download in external service

• International Symposium on Code Generation and Optimization

  Conferences

• Marek Moszyński dr hab. inż.

  People

  Gdańsk University of Technology, Department of Geoinformatics

• Artificial intelligence for software development — the present and the challenges for the future

  Publication

  • Ł. Korzeniowski
  • K. Goczyła

  - Biuletyn Wojskowej Akademii Technicznej - Year 2019

  Since the time when first CASE (Computer-Aided Software Engineering) methods and tools were developed, little has been done in the area of automated creation of code. CASE tools support a software engineer in creation the system structure, in defining interfaces and relationships between software modules and, after the code has been written, in performing testing tasks on different levels of detail. Writing code is still the task...

  Full text available to download

• Influence of finishing colour on the efficiency of automated production line for wooden doors

  Publication

  • Z. Kwidziński
  • M. Chodnicki
  • Ł. Sankiewicz
  • B. Knitowski
  • T. Rogoziński

  - Year 2023

  Porta KMI Poland S.A. company has implemented a fully automated intelligent technological line TechnoPORTA for customized mass-production of technical door leaves. Each door leaf is provided with a unique QR code. It allows the line modules to individually adjust the machining parameters to the currently processed element according to the IT controlling system. Before en-tering the TechnoPorta line, the door leaves are not sorted,...

  Full text to download in external service

• Matching Exception Class Hierarchies between .NET, Java Environments

  Publication

  • J. Szymański
  • P. Kaczmarek

  - Year 2012

  The paper presents a methodology of exception classification and matching exception messages between .NET andJava environments. The methodology operates on existing exception class hierarchies and proposes two complementingapproaches: automated and manual matching. The automated matching uses the similarity measure to find associationsbetween exception messages from the two sets of classes for the considered programming languages....

• Wybrane problemy ochrony żeglugi (Maritime Security)

  Publication

  • R. Katulski
  • R. Niski
  • J. Stefański
  • J. Żurek

  - Year 2005

  przedstawiono zagadnienia ochrony żeglugi w aspekcie uwarunkowań związanych z radiokomunikacją morską. Opisano Międzynarodowy Kodeks Ochrony Statków i Urządzeń Portowych - ISPS (International Ship and Port Facility Security Code) i Statkowy System Alarmowania - SSAS (Ship Security Alert System) oraz także scharakteryzowano system AIS (Automated Information System) i System Identyfikacji i Śledzenia Dalekiego Zasięgu - LRIT (Long...

• Automated measurement method for assessing thermal-dependent electronic characteristics of thin boron-doped diamond-graphene nanowall structures

  Publication

  • M. Rycewicz
  • M. Banasiak
  • M. Ficek
  • S. Kubowicz
  • S. Baluchová
  • B. Sobczak
  • E. Vereshchagina
  • R. Bogdanowicz

  - MEASUREMENT - Year 2024

  This paper investigates the electrical properties of boron-doped diamond-graphene (B:DG) nanostructures, focusing on their semiconductor characteristics. These nanostructures are synthesized on fused silica glass and Si wafer substrates to compare their behaviour on different surfaces. A specialized measurement system, incorporating Python-automated code, was developed for an in-depth analysis of electronic properties under various...

  Full text to download in external service

• SUSHI - jak to ugryźć? Czyli o standaryzacji i gromadzeniu statystyk wykorzystania zasobów elektronicznych na przykładzie Biblioteki Głównej Gdańskiego Uniwersytetu Medycznego

  Publication

  • P. Krajewski

  - Forum Bibliotek Medycznych - Year 2014

  Statystyki wykorzystania dostarczają bibliotekarzom informacji niezbędnych przy podejmowaniu decyzji o zakupie dostępu do wybranych zasobów elektronicznych. W roku 2002 rozpoczął działalność międzynaro- dowy projekt COUNTER (Counting Online Usage of Networked Electronic Resources), którego celem było ujednolicenie raportów wykorzystania e-zasobów, a także uczynienie ich możliwie najbardziej miarodajnymi. W roku 2007 amerykańska...

  Full text available to download

• Kod fontannowy z przyrastającą liczbą symboli źródłowych

  Publication

  • K. Haustein
  • M. Blok

  - Przegląd Telekomunikacyjny + Wiadomości Telekomunikacyjne - Year 2023

  Kody fontannowe zabezpieczające transmisję przed wymazaniami wyróżnia brak określonej z góry długości i losowy sposób generacji kolejnych pakietów kodowych. W pracy pokazano jak właściwości tych kodów zależą od rozkładu macierzy generującej dla dwóch wariantów dostarczania pakietów do kodera. Szczególnie interesujący jest przypadek, gdy pakiety źródłowe trafiają do kodera stopniowo podczas transmisji. Uzyskane wyniki wskazują na...

  Full text available to download