Search results for: CONFORMANCE CASE

• Comparative conformance cases for monitoring multiple implementations of critical requirements

  Publication

  • J. Górski
  • A. Jarzębowicz
  • J. Miler

  - Year 2013

  The paper presents the concept and the mechanism of comparative conformance cases which support conformance monitoring in situations where a standard or other set of requirements are being implemented at multiple sites. The mechanism is enabled by NOR-STA services which implement the TRUST-IT methodology and are deployed in the cloud in accordance with the SaaS model. In the paper we introduce the concept of comparative conformance...

  Full text available to download

• Conformance testing of parallel languages

  Publication

  • Ł. Garstecki
  • P. Kaczmarek
  • H. Krawczyk
  • B. Wiszniewski

  - Year 2002

  Przedstawiono propozycję formalizacji opisu procesu generacji, wykonania ioceny testów zgodności dla języków i bibliotek programowania równoległego, wzakresie zgodności funkcjonalnej i wydajnościowej. Przykłady ilustrujące proponowany formalizm wykorzystują platformę programowania Athapascan.

• Validation of Services Supporting Healthcare Standards Conformance

  Publication

  • J. Górski
  • A. Jarzębowicz
  • J. Miler

  - Metrology and Measurement Systems - Year 2012

  The paper presents the results of experimental validation of a set of innovative software services supporting processes of achieving, assessing and maintaining conformance with standards and regulations. The study involved several hospitals implementing the Accreditation Standard promoted by the Polish Ministry of Health. First we introduce NOR-STA services that implement the TRUST-IT methodology of argument management. Then we...

  Full text available to download

• Testing for conformance of parallel programming pattern languages

  Publication

  • Ł. Garstecki
  • P. Kaczmarek
  • J. C. D. Kergommeaux
  • H. Krawczyk
  • B. Wiszniewski

  - LECTURE NOTES IN COMPUTER SCIENCE - Year 2002

  This paper reports on the project being run by TUG and IMAG, aimed at reducing the volume of tests required to exercise parallel programming language compilers and libraries. The idea is to use the ISO STEP standard scheme for conformance testing of software products. A detailed example illustrating the ongoing work is presented.

• Generation of conformance test suites for parallel and distributed languages and APIS.

  Publication

  • Ł. Garstecki

  - Year 2003

  Artykuł zarysowuje nową metodologię systematycznego tworzenia Zestawów Testów Zgodności. Testowanie zgodności ma na celu sprawdzenie, czy implementacja jest zgodna ze swoją specyfikacją, co jest szczególnie ważne w środowiskach równoległych i rozproszonych, gdzie musi ze sobą współpracować wiele różnych pakietów. Autor rozpoczął swoje badania w dziedzinie testowania zgodności dla języka równoległego sterowanego danymi Athapascan,...

• Contextualizing a Knowledge Base by Approximation – A Case Study

  Publication

  • K. Goczyła
  • A. Waloszek
  • W. Waloszek

  - Communications in Computer and Information Science - Year 2014

  Modular knowledge bases give their users opportunity to store and access knowledge at different levels of generality. In this paper we present how to organize a modular knowledge bases organized into contexts in which a user can express their knowledge in much simplified way, yet without losing its precision. The work is centered around the notion of approximation - i.e. reducing the arity of predicates used. The presentation is...

  Full text to download in external service

• Generating reliable conformance test suites for parallel and distributed languages, libraries, and APIs.

  Publication

  • Ł. Garstecki

  - Year 2004

  Artykuł nakreśla nową metodykę dla tworzenia Zestawów Testów Zgodności (ZTG) dla języków, bibliotek i API programowania równoległego i rozproszonego. Autor rozpoczął swoje badania w zakresie testowania zgodności dla języka równoległego sterowanego danymi Athapascan, opracował metodykę dla projektowania i analizowania ZTG nazwaną Metodą Kolejnych Zawężeń (ang. Consecutive Confinements Methods - CoCoM), stworzył narzędzie CTS Designer,...

• Case Reports in Critical Care

  Journals

  ISSN: 2090-6420 , eISSN: 2090-6439

• Effective methods for functional confermance testing of parallel and distributed programming libraries.

  Publication

  • Ł. Garstecki

  - Year 2004

  Rozprawa przedstawia kompletna metodykę tworzenia Zestawów Testów Zgodności dla języków programowania, bibliotek i API, ze szczególnym uwzględnieniem języków i bibliotek programowania równoleglego i rozproszonego. Autor rozpoczął badania w dziedzinie testowania zgodności dla bibliotek programowania równoleglego i rozproszonego, ale Metodyka Kolejnych zawężeń (ang. Consecutive Confinenments Method -CoCoM, stworzona przez Autora,...

• Robots for Elderly Care: Review, Multi-Criteria Optimization Model and Qualitative Case Study

  Publication

  • B. Sawik
  • S. Tobis
  • E. Baum
  • A. Suwalska
  • S. Kropińska
  • K. Stachnik
  • E. Pérez-Bernabeu
  • M. Cildoz
  • A. Agustin
  • K. Wieczorowska-Tobis

  - Healthcare - Year 2023

  Full text to download in external service