Autor: "Gallina, Barbara" - OpacWWW

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""Gallina, Barbara"" wg kryterium: Autor

Wyświetlanie 1-20 z 189

Zaznacz stronę

Skocz do pozycji: 1.

Tytuł:: Assessing risk of AR and organizational changes factors in socio-technical robotic manufacturing
Autorzy:: Sheikh Bahaei, Soheila
Gallina, Barbara; Pokaż więcej
Źródło:: In Robotics and Computer-Integrated Manufacturing August 2024 88

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: A case study for risk assessment in AR-equipped socio-technical systems
Autorzy:: Sheikh Bahaei, Soheila
Gallina, Barbara
Vidović, Marko; Pokaż więcej
Źródło:: In Journal of Systems Architecture October 2021 119

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: A probabilistic model of belief in safety cases
Autorzy:: Nešić, Damir
Nyberg, Mattias
Gallina, Barbara; Pokaż więcej
Źródło:: In Safety Science June 2021 138

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Guiding assurance of architectural design patterns for critical applications
Autorzy:: Šljivo, Irfan
Uriagereka, Garazi Juez
Puri, Stefano
Gallina, Barbara; Pokaż więcej
Źródło:: In Journal of Systems Architecture November 2020 110

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Compliance-aware engineering process plans: the case of space software engineering processes
Autorzy:: Castellanos-Ardila, Julieth Patricia
Gallina, Barbara
Governatori, Guido; Pokaż więcej
Źródło:: Artificial Intelligence and Law. 29(4):587-627

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Specification and automated verification of atomic concurrent real-time transactions
Autorzy:: Cai, Simin
Gallina, Barbara
Nyström, Dag
Seceleanu, Cristina; Pokaż więcej
Źródło:: Software and Systems Modeling. 20(2):557-589

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 7.

Tytuł:: AMASS: A Large-Scale European Project to Improve the Assurance and Certification of Cyber-Physical Systems
Autorzy:: de la Vara, Jose Luis
Parra, Eugenio
Ruiz, Alejandra
Gallina, Barbara; Pokaż więcej
Źródło:: Product-Focused Software Process Improvement : 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings. 11915:626-632

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process
Autorzy:: Ul Muram, Faiz
Gallina, Barbara
Kanwal, Samina; Pokaż więcej
Źródło:: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings. 11495:125-141

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Promoting MBA in the rail sector by deriving process-related evidence via MDSafeCer
Autorzy:: Gallina, Barbara
Gómez-Martínez, Elena
Benac-Earle, Clara; Pokaż więcej
Źródło:: In Computer Standards & Interfaces November 2017 54 Part 3:119-128

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Towards Quantitative Evaluation of Reuse Within Safety-Oriented Process Lines
Autorzy:: Gallina, Barbara
Iyer, Shankar; Pokaż więcej
Źródło:: Systems, Software and Services Process Improvement : 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings. 896:469-479

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Transforming SPEM 2.0-Compatible Process Models into Models Checkable for Compliance
Autorzy:: Castellanos Ardila, Julieth Patricia
Gallina, Barbara
Ul Muram, Faiz; Pokaż więcej
Źródło:: Software Process Improvement and Capability Determination : 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings. 918:233-247

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Enabling GSD Task Allocation via Cloud-Based Software Processes
Autorzy:: Alajrami, Sami
Gallina, Barbara
Romanovsky, Alexander; Pokaż więcej
Źródło:: Software Engineering Research, Management and Applications. 722:179-192

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation
Autorzy:: Sljivo, Irfan
Gallina, Barbara
Carlson, Jan
Hansson, Hans
Puri, Stefano; Pokaż więcej
Źródło:: Reliable Software Technologies – Ada-Europe 2018 : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings. 10873:19-33

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems
Autorzy:: Cai, Simin
Gallina, Barbara
Nyström, Dag
Seceleanu, Cristina; Pokaż więcej
Źródło:: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III. 11246:355-374

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Data aggregation processes: a survey, a taxonomy, and design guidelines
Autorzy:: Cai, Simin
Gallina, Barbara
Nyström, Dag
Seceleanu, Cristina; Pokaż więcej
Źródło:: Computing. 101(10):1397-1429

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 16.

Tytuł:: Tool-supported design of data aggregation processes in cloud monitoring systems
Autorzy:: Cai, Simin
Gallina, Barbara
Nyström, Dag
Seceleanu, Cristina
Larsson, Alf; Pokaż więcej
Źródło:: Journal of Ambient Intelligence and Humanized Computing. 10(7):2519-2535

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 17.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Towards Increased Efficiency and Confidence in Process Compliance
Autorzy:: Castellanos Ardila, Julieth Patricia
Gallina, Barbara; Pokaż więcej
Źródło:: Systems, Software and Services Process Improvement : 24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6–8, 2017, Proceedings. 748:162-174

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Towards Systematic Compliance Evaluation Using Safety-Oriented Process Lines and Evidence Mapping
Autorzy:: Varkoi, Timo
Mäkinen, Timo
Gallina, Barbara
Cameron, Frank
Nevalainen, Risto; Pokaż więcej
Źródło:: Systems, Software and Services Process Improvement : 24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6–8, 2017, Proceedings. 748:83-95

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: DAGGTAX: A Taxonomy of Data Aggregation Processes
Autorzy:: Cai, Simin
Gallina, Barbara
Nyström, Dag
Seceleanu, Cristina; Pokaż więcej
Źródło:: Model and Data Engineering : 7th International Conference, MEDI 2017, Barcelona, Spain, October 4–6, 2017, Proceedings. 10563:324-339

Książka elektroniczna

na półce

Szczegóły

Wyświetlanie 1-20 z 189

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę ""Gallina, Barbara"" wg kryterium: Autor

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język

Rok publikacji