Näytetään tulokset 1 - 10 / 4192
tulosta / sivu
Mitä julkaisutietoja palvelu sisältää?
Julkaisun nimi
Tekijät
Julkaisukanava
Vuosi
 Julkaisujen tiedon ikoni

EMIP: The eye movements in programming dataset

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.scico.2020.102520
Bednarik, Roman; Busjahn, Teresa; Gibaldi, Agostino; Ahadi, Alireza; Bielikova, Maria; Crosby, Marth...
Science of computer programming2020 Julkaisujen tiedon ikoni

An iterative approach for model-based requirements engineering in large collaborative projects: A detailed experience report

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.scico.2023.103047
Andrey Sadovykh; Bilal Said; Dragos Truscan; Hugo Bruneliere
Science of Computer Programming2024 Julkaisujen tiedon ikoni

Introduction to the Software Quality for Artificial Intelligence (SQA4AI) special issue

DOI
10.1016/j.scico.2023.102975
Felderer, Michael; Lenarduzzi, Valentina; Palomba, Fabio; Pecorelli, Fabiano
Science of computer programming2023 Julkaisujen tiedon ikoni

Software Quality for Artificial Intelligence (SQA4AI) special issue

Vertaisarvioitu
Felderer, Michael; Lenarduzzi, Valentina; Palomba, Fabio; Pecorelli, Fabiano
Science of computer programming2023 Julkaisujen tiedon ikoni

Are You of Value to Me? A Partner Selection Reference Method for Software Ecosystem Orchestrators

Vertaisarvioitu
Beelen, Luc; Jansen, Slinger; Overbeek, Sietse
Science of Computer Programming2021 Julkaisujen tiedon ikoni

An optimal cut-off algorithm for parameterised refinement checking

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.scico.2020.102517
Siirtola, Antti; Heljanko, Keijo
Science of computer programming2020 Julkaisujen tiedon ikoni

Constrained synthesis from component libraries

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.scico.2018.10.003
Iannopollo, Antonio; Tripakis, Stavros; Sangiovanni-Vincentelli, Alberto
Science of Computer Programming2019 Julkaisujen tiedon ikoni

Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions

Vertaisarvioitu
DOI
10.1016/j.scico.2018.07.003
Pittou, Maria; Manolios, Panagiotis; Reineke, Jan; Tripakis, Stavros
Science of Computer Programming2018 Julkaisujen tiedon ikoni

Formal reasoning about resilient goal-oriented multi-agent systems

Vertaisarvioitu
DOI
10.1016/j.scico.2017.05.008
Inna Vistbakka; I. Pereverzeva; Elena Troubitsyna
Science of Computer Programming2017 Julkaisujen tiedon ikoni

Runtime enforcement of regular timed properties by suppressing and delaying events

Vertaisarvioitu
DOI
10.1016/j.scico.2016.02.008
Falcone, Yliès; Jéron, Thierry; Marchand, Hervé; Pinisetty, Srinivas
Science of Computer Programming2016

EMIP: The eye movements in programming dataset

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.scico.2020.102520
2020

An iterative approach for model-based requirements engineering in large collaborative projects: A detailed experience report

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.scico.2023.103047
2024

Introduction to the Software Quality for Artificial Intelligence (SQA4AI) special issue

DOI
10.1016/j.scico.2023.102975
2023

Software Quality for Artificial Intelligence (SQA4AI) special issue

Vertaisarvioitu
2023

Are You of Value to Me? A Partner Selection Reference Method for Software Ecosystem Orchestrators

Vertaisarvioitu
2021

An optimal cut-off algorithm for parameterised refinement checking

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.scico.2020.102517
2020

Constrained synthesis from component libraries

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.scico.2018.10.003
2019

Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions

Vertaisarvioitu
DOI
10.1016/j.scico.2018.07.003
2018

Formal reasoning about resilient goal-oriented multi-agent systems

Vertaisarvioitu
DOI
10.1016/j.scico.2017.05.008
2017

Runtime enforcement of regular timed properties by suppressing and delaying events

Vertaisarvioitu
DOI
10.1016/j.scico.2016.02.008
2016