Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             9 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A Strict-Observational Interface Theory for Analysing Service Orchestrations Mayer, Philip
 2010
 264 1 p. 125-139
15 p.
 artikel
2 Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL Henrio, Ludovic
 2010
 264 1 p. 35-53
19 p.
 artikel
3 Behaviour-Driven Development of Foundational UML Components Lazăr, Ioan
 2010
 264 1 p. 91-105
15 p.
 artikel
4 Combining Architecture-based Software Reliability Predictions with Financial Impact Calculations Brosch, Franz
 2010
 264 1 p. 3-17
15 p.
 artikel
5 Describing Secure Interfaces with Interface Automata Lee, Matias
 2010
 264 1 p. 107-123
17 p.
 artikel
6 Preface Happe, Jens
 2010
 264 1 p. 1-2
2 p.
 artikel
7 Semi-Automatic Specification of Behavioural Service Adaptation Contracts Cámara, Javier
 2010
 264 1 p. 19-34
16 p.
 artikel
8 Systematic Refinement of Performance Models for Concurrent Component-based Systems Kapová, Lucia
 2010
 264 1 p. 73-90
18 p.
 artikel
9 Towards Context Independent Extra-functional Properties Descriptor for Components Ježek, Kamil
 2010
 264 1 p. 55-71
17 p.
 artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland