| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Actor-based slicing techniques for efficient reduction of Rebeca models
|
Sabouri, Hamideh
|
|
2010
|
141-142 |
10 |
p. 811-827
17 p.
|
artikel
|
| 2 |
A lightweight and distributed middleware to provide presence awareness in mobile ubiquitous systems
|
Rodríguez-Covili, Juan
|
|
2013
|
141-142 |
10 |
p. 2009-2025
17 p.
|
artikel
|
| 3 |
A meta-model for dataflow-based rules in smart environments: Evaluating user comprehension and performance
|
Catala, Alejandro
|
|
2013
|
141-142 |
10 |
p. 1930-1950
21 p.
|
artikel
|
| 4 |
A pure embedding of attribute grammars
|
Sloane, Anthony M.
|
|
2013
|
141-142 |
10 |
p. 1752-1769
18 p.
|
artikel
|
| 5 |
A semantics for Behavior Trees using CSP with specification commands
|
Colvin, Robert J.
|
|
2011
|
141-142 |
10 |
p. 891-914
24 p.
|
artikel
|
| 6 |
Banana Algebra: Compositional syntactic language extension
|
Andersen, Jacob
|
|
2013
|
141-142 |
10 |
p. 1845-1870
26 p.
|
artikel
|
| 7 |
Building ubiquitous QoC-aware applications through model-driven software engineering
|
Chabridon, Sophie
|
|
2013
|
141-142 |
10 |
p. 1912-1929
18 p.
|
artikel
|
| 8 |
Changing system interfaces consistently: A new refinement strategy for
CSP
∥
B
|
Schneider, Steve
|
|
2011
|
141-142 |
10 |
p. 837-860
24 p.
|
artikel
|
| 9 |
Component simulation-based substitutivity managing QoS and composition issues
|
Héam, Pierre-Cyrille
|
|
2010
|
141-142 |
10 |
p. 898-917
20 p.
|
artikel
|
| 10 |
CrimeSPOT: A language and runtime for developing active wireless sensor network applications
|
De Roover, Coen
|
|
2013
|
141-142 |
10 |
p. 1951-1970
20 p.
|
artikel
|
| 11 |
Designing for user attention: A method for supporting unobtrusive routine tasks
|
Gil, Miriam
|
|
2013
|
141-142 |
10 |
p. 1987-2008
22 p.
|
artikel
|
| 12 |
Editorial Board
|
|
|
2009
|
141-142 |
10 |
p. IFC-
1 p.
|
artikel
|
| 13 |
Efficient virtual machine support of runtime structural reflection
|
Ortin, Francisco
|
|
2009
|
141-142 |
10 |
p. 836-860
25 p.
|
artikel
|
| 14 |
Event based choreography
|
Ciancia, Vincenzo
|
|
2010
|
141-142 |
10 |
p. 848-878
31 p.
|
artikel
|
| 15 |
Extensible intraprocedural flow analysis at the abstract syntax tree level
|
Söderberg, Emma
|
|
2013
|
141-142 |
10 |
p. 1809-1827
19 p.
|
artikel
|
| 16 |
GLL parse-tree generation
|
Scott, Elizabeth
|
|
2013
|
141-142 |
10 |
p. 1828-1844
17 p.
|
artikel
|
| 17 |
Incremental reasoning with lazy behavioral subtyping for multiple inheritance
|
Dovland, Johan
|
|
2011
|
141-142 |
10 |
p. 915-941
27 p.
|
artikel
|
| 18 |
Integration testing of Object-Oriented and Aspect-Oriented programs: A structural pairwise approach for Java
|
Lemos, Otávio Augusto Lazzarini
|
|
2009
|
141-142 |
10 |
p. 861-878
18 p.
|
artikel
|
| 19 |
Invariant-driven specifications in Maude
|
Roldán, Manuel
|
|
2009
|
141-142 |
10 |
p. 812-835
24 p.
|
artikel
|
| 20 |
Partial order reduction for state/event LTL with application to component-interaction automata
|
Beneš, N.
|
|
2011
|
141-142 |
10 |
p. 877-890
14 p.
|
artikel
|
| 21 |
PiDuce — A project for experimenting Web services technologies
|
Carpineti, Samuele
|
|
2009
|
141-142 |
10 |
p. 777-811
35 p.
|
artikel
|
| 22 |
Predicate abstraction in a program logic calculus
|
Weiß, Benjamin
|
|
2011
|
141-142 |
10 |
p. 861-876
16 p.
|
artikel
|
| 23 |
Preface
|
Canal, Carlos
|
|
2010
|
141-142 |
10 |
p. 809-810
2 p.
|
artikel
|
| 24 |
Preface to the special section on Language Descriptions Tools and Applications (LDTA’08 & ’09)
|
Vinju, Jurgen J.
|
|
2013
|
141-142 |
10 |
p. 1751-
1 p.
|
artikel
|
| 25 |
Preface to the special section on Software Engineering Aspects of Ubiquitous Computing and Ambient Intelligence (UCAmI 2011)
|
López-de-Ipiña, Diego
|
|
2013
|
141-142 |
10 |
p. 1892-1894
3 p.
|
artikel
|
| 26 |
Programming errors in traversal programs over structured data
|
Lämmel, Ralf
|
|
2013
|
141-142 |
10 |
p. 1770-1808
39 p.
|
artikel
|
| 27 |
Property specifications for workflow modelling
|
Wong, Peter Y.H.
|
|
2011
|
141-142 |
10 |
p. 942-967
26 p.
|
artikel
|
| 28 |
REUBI: A Requirements Engineering method for ubiquitous systems
|
Ruiz-López, Tomás
|
|
2013
|
141-142 |
10 |
p. 1895-1911
17 p.
|
artikel
|
| 29 |
Robustness testing for software components
|
Lei, Bin
|
|
2010
|
141-142 |
10 |
p. 879-897
19 p.
|
artikel
|
| 30 |
Selected papers on Integrated Formal Methods (iFM09)
|
Leuschel, Michael
|
|
2011
|
141-142 |
10 |
p. 835-836
2 p.
|
artikel
|
| 31 |
Slicing for architectural analysis
|
Rodrigues, Nuno F.
|
|
2010
|
141-142 |
10 |
p. 828-847
20 p.
|
artikel
|
| 32 |
Towards ubiquity in ambient intelligence: User-guided component mobility in the HI3 architecture
|
Paz-Lopez, A.
|
|
2013
|
141-142 |
10 |
p. 1971-1986
16 p.
|
artikel
|
| 33 |
Viewing functions as token sequences to highlight similarities in source code
|
Chilowicz, Michel
|
|
2013
|
141-142 |
10 |
p. 1871-1891
21 p.
|
artikel
|
Tijdschrift beschrijving