Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Context-Adaptive Coordination of Pervasive Services by Interpreting Models during RuntimeSerral, E. ; Valderas, P. ; Pelechano, V.Computer journal, 2013-01, Vol.56 (1), p.87-114 [Periódico revisado por pares]Oxford: Oxford Publishing Limited (England)Texto completo disponível |
2 |
Material Type: Artigo
|
![]() |
A Discussion of Communication Schemes for Process Execution Histories to Enforce Entailment Constraints in Process-Driven SOAsQuirchmayr, Thomas ; Strembeck, MarkComputer journal, 2015-10, Vol.58 (10), p.2255-2279 [Periódico revisado por pares]Oxford: Oxford Publishing Limited (England)Texto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Study on the Limitations of WS-BPEL Compositions Under Load ConditionsMaalej, A. J. ; Krichen, M.Computer journal, 2015-03, Vol.58 (3), p.385-402 [Periódico revisado por pares]Oxford: Oxford Publishing Limited (England)Texto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Identifying Compiler Options to Minimize Energy Consumption for Embedded PlatformsPallister, James ; Hollis, Simon J ; Bennett, JeremyComputer journal, 2015-01, Vol.58 (1), p.95-109 [Periódico revisado por pares]Oxford: Oxford Publishing Limited (England)Texto completo disponível |
5 |
Material Type: Artigo
|
![]() |
A Survey of Coverage-Based Testing ToolsYang, Qian ; Li, J. Jenny ; Weiss, David MComputer journal, 2009-08, Vol.52 (5), p.589-597 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
B2B Services: Worksheet-Driven Development of Modeling Artifacts and CodeHuemer, Christian ; Liegl, Philipp ; Schuster, Rainer ; Zapletal, MarcoComputer journal, 2009-11, Vol.52 (8), p.1006-1026 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Model Learning and Test Generation Using Cover AutomataIpate, F. ; Stefanescu, A. ; Dinca, I.Computer journal, 2015-05, Vol.58 (5), p.1140-1159 [Periódico revisado por pares]Oxford: Oxford Publishing Limited (England)Texto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Non-Functional Requirements Framework: A Mathematical Programming ApproachAffleck, A. ; Krishna, A. ; Achuthan, N. R.Computer journal, 2015-05, Vol.58 (5), p.1122-1139 [Periódico revisado por pares]Oxford: Oxford Publishing Limited (England)Texto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Quality Assured Model-Driven Requirements Engineering and Software DevelopmentLengyel, László ; Mészáros, Tamás ; Asztalos, Márk ; Boros, Péter ; Máté, Attila ; Madács, Gábor ; Hudák, Péter ; Kovács, Kristóf ; Tresch, András ; Charaf, HassanComputer journal, 2015-11, Vol.58 (11), p.3171-3186 [Periódico revisado por pares]Oxford: Oxford Publishing Limited (England)Texto completo disponível |
10 |
Material Type: Artigo
|
![]() |
An Integrated Security and Systems Engineering Process and Modelling FrameworkRuiz, Jose Fran ; Maña, Antonio ; Rudolph, CarstenComputer journal, 2015-10, Vol.58 (10), p.2328-2350 [Periódico revisado por pares]Oxford: Oxford Publishing Limited (England)Texto completo disponível |