Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             29 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A/B testing: A systematic literature review Quin, Federico

211 C p.
artikel
2 A cloud-based data processing and visualization pipeline for the fibre roll-out in Germany Krämer, Michel

211 C p.
artikel
3 A data-driven active learning approach to reusing ML solutions in scientific applications Hajiabadi, Hamideh

211 C p.
artikel
4 Addressing combinatorial experiments and scarcity of subjects by provably orthogonal and crossover experimental designs Massacci, Fabio

211 C p.
artikel
5 A framework for the design of fault-tolerant systems-of-systems Ferreira, Francisco Henrique Cerdeira

211 C p.
artikel
6 A language-parametric test coverage framework for executable domain-specific languages Khorram, Faezeh

211 C p.
artikel
7 Barriers to device longevity and reuse: A vintage device empirical study Goodwin, Craig

211 C p.
artikel
8 DeepCover: Advancing RNN test coverage and online error prediction using state machine extraction Golshanrad, Pouria

211 C p.
artikel
9 Deriving modernity signatures of codebases with static analysis Admiraal, Chris

211 C p.
artikel
10 Design for dependability — State of the art and trends Liu, Hezhen

211 C p.
artikel
11 Editorial Board
211 C p.
artikel
12 Emerging technologies in higher education assessment and feedback practices: A systematic literature review Sembey, Ruchi

211 C p.
artikel
13 Equivalence, identity, and unitarity checking in black-box testing of quantum programs Long, Peixun

211 C p.
artikel
14 Extracting goal models from natural language requirement specifications Das, Souvick

211 C p.
artikel
15 Fast state transfer for updates and live migration of industrial controller runtimes in container orchestration systems Koziolek, Heiko

211 C p.
artikel
16 How can feature usage be tracked across product variants? Implicit Feedback in Software Product Lines Díaz, Oscar

211 C p.
artikel
17 i C o L a + : An extensible meta-language with support for exploratory language development Frölich, Damian

211 C p.
artikel
18 L ′ OP-ART: A linear-time adaptive random testing algorithm for object-oriented programs Chen, Jinfu

211 C p.
artikel
19 Property probes: Live exploration of program analysis results Risberg Alaküla, Anton

211 C p.
artikel
20 RRGcode: Deep hierarchical search-based code generation Gou, Qianwen

211 C p.
artikel
21 Shedding light on the dark side – A systematic literature review of the issues in agile software development methodology use Meckenstock, Jan-Niklas

211 C p.
artikel
22 Survey of annotation generators for deductive verifiers Lathouwers, Sophie

211 C p.
artikel
23 Sustainability competencies and skills in software engineering: An industry perspective Heldal, Rogardt

211 C p.
artikel
24 Test case information extraction from requirements specifications using NLP-based unified boilerplate approach Lim, Jin Wei

211 C p.
artikel
25 Testing concolic execution through consistency checks Coppa, Emilio

211 C p.
artikel
26 The impact of hard and easy negative training data on vulnerability prediction performance Al Debeyan, Fahad

211 C p.
artikel
27 Translating meaning representations to behavioural interface specifications Leong, Iat Tou

211 C p.
artikel
28 Variability modeling of products, processes, and resources in cyber–physical production systems engineering Meixner, Kristof

211 C p.
artikel
29 Zipper-based embedding of strategic attribute grammars Macedo, José Nuno

211 C p.
artikel
                             29 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland