Search Results - "Górski, Janusz"

AgileSafe – a method of introducing agile practices into safety-critical software development processes by Katarzyna Łukasiewicz, Janusz Górski

Get full text

Experience with instantiating an automated testing process in the context of incremental and evolutionary software development by Górski, Janusz, Witkowicz, Michal

Get full text

Support for argument structures review and assessment by Cyra, Lukasz, Górski, Janusz

“…Argument structures are commonly used to develop and present cases for safety, security and for other properties of systems. Such structures tend to grow…”
Get full text

Towards automation of IT systems repairs by Górski, Janusz, Kamiński, Marek

“…Monitoring and repair are two sides of the on-the-fly maintenance of IT systems. Monitoring is well supported by automatic tools. In contrast, repairs involve…”
Get full text

ASSESSMENT OF RISKS INTRODUCED TO SAFETY CRITICAL SOFTWARE BY AGILE PRACTICES — A SOFTWARE ENGINEER’S PERSPECTIVE by Janusz, Górski, Katarzyna, Łukasiewicz

“…In this article we investigate the problem of applying agile practices into safetycriticalprojects. The goal of our research is to investigate potential…”
Get full text

Validation of Services Supporting Healthcare Standards Conformance by Górski, Janusz, Jarzebowicz, Aleksander, Miler, Jakub

“…Validation of Services Supporting Healthcare Standards Conformance The paper presents the results of experimental validation of a set of innovative software…”
Get full text

Safety of computer control systems: challenges and results in software development by Zalewski, Janusz, Ehrenberger, Wolfgang, Saglietti, Francesca, Górski, Janusz, Kornecki, Andrew

“…This paper reviews some results in improving software safety in computer control systems. The discussion covers various aspects of the software development…”
Get full text

SCF — A framework supporting achieving and assessing conformity with standards by Cyra, Lukasz, Gorski, Janusz

“…Standards Conformity Framework (SCF) presented in this paper encompasses methods and tools which provide support for application of standards and other…”
Get full text

Support for argument structures review and assessment : Safecomp 2008 by CYRA, Lukasz, GORSKI, Janusz

Get full text

Standards Conformity Framework in Comparison with Contemporary Methods Supporting Standards Application by Cyra, L., Gorski, J.

“…Achieving and assessing conformity with standards and compliance with various sets of requirements generates significant costs for contemporary economies…”
Get full text

An Approach to Evaluation of Arguments in Trust Cases by Cyra, L., Gorski, J.

“…Trustworthiness of IT systems can be justified using the concept of a trust case. A trust case is an argument structure which encompasses justification and…”
Get full text

Circadian rhythm of melatonin in patients with hypertension by Ostrowska, Zofia, Kos-Kudła, Beata, Marek, Bogdan, Kajdaniuk, Dariusz, Wołkowska, Kinga, Swietochowska, Elzbieta, Górski, Janusz, Szapska, Bozena

“…Few reports, especially experimental ones indicate cause-effect connection between melatonin (Mel) and blood pressure. The aim of the study was to assess…”
Get more information

Hazard Prevention by Forced Time Constraints by Golaszewski, G., Gorski, J.

“…Minimal cut sets resulting from fault tree analysis (FTA) indicate basic events which, if occur together, can contribute to a hazard. For some applications we…”
Get full text

An Approach for Evaluating Trust in IT Infrastructure by Zagorski, M., Gorski, J.

“…Trustworthiness of an IT infrastructure can be justified using the concept of trust case which denotes a complete and explicit structure encompassing all the…”
Get full text

AgileSafe - a method of introducing agile practices into safety-critical software development processes by Lukasiewicz, Katarzyna, Gorski, Janusz

“…This article introduces AgileSafe, a new method of incorporating agile practices into critical software development while still maintaining compliance with the…”
Get full text

Supporting Compliance with Security Standards by Trust Case Templates by Cyra, L., Gorski, J.

“…Trust cases are used to justify that a given object (a system, an infrastructure, an organization) exhibits certain properties. One of possible applications of…”
Get full text

Formal specification and verification of a real-time kernel by Gorski, J., Wardzinski, A.

“…The paper presents a case study of application of the VDM formal method to specification and verification of a simple real-time kernel. Specifications of…”
Get full text

Formal approach to development of critical computer applications by Gorski, J.

“…A formal approach to development of safety-related systems is presented. Three levels of system representation are treated within the common framework of…”
Get full text