All Outputs (44)

Lessons from applying the systematic literature review process within the software engineering domain (2007)
Journal Article
Brereton, P., Kitchenham, B. A., Budgen, D., Turner, M., & Khalil, M. (2007). Lessons from applying the systematic literature review process within the software engineering domain. Journal of Systems and Software, 80(4), 571-583. https://doi.org/10.1016/j.jss.2006.07.009

A consequence of the growing number of empirical studies in software engineering is the need to adopt systematic approaches to assessing and aggregating research outcomes in order to provide a balance and objective summary of research evidence for a... Read More about Lessons from applying the systematic literature review process within the software engineering domain.

Cycles through specified vertices in triangle-free graphs (2007)
Journal Article
Paulusma, D., & Yoshimito, K. (2007). Cycles through specified vertices in triangle-free graphs. Discussiones Mathematicae. Graph Theory, 27(1), 179-191. https://doi.org/10.7151/dmgt.1354

Let G be a triangle-free graph with δ(G) ≥ 2 and σ4(G) ≥ |V(G)|+2. Let S ⊂ V(G) consist of less than σ4/4+ 1 vertices. We prove the following. If all vertices of S have degree at least three, then there exists a cycle C containing S. Both the upper b... Read More about Cycles through specified vertices in triangle-free graphs.

First-order definable retraction problems for posets and reflexive graphs (2007)
Journal Article
Dalmau, V., Krokhin, A., & Larose, B. (2007). First-order definable retraction problems for posets and reflexive graphs. Journal of Logic and Computation, 17(1), 31-51. https://doi.org/10.1093/logcom/exl014

A retraction from a structure P to its substructure Q is a homomorphism from P onto Q that is the identity on Q. We present an algebraic condition which completely characterzies all posets and all reflexive graphs Q such that the class of all posets... Read More about First-order definable retraction problems for posets and reflexive graphs.

Determining the dependability of Service-Oriented Architectures. (2007)
Journal Article
Looker, N., Xu, J., & Munro, M. (2007). Determining the dependability of Service-Oriented Architectures. International Journal of Simulation and Process Modelling, 3(1-2), 88-97. https://doi.org/10.1504/ijspm.2007.014718

This paper introduces our novel method for the generation of fault injection test cases and failure detection by the use of our enhanced fault and failure models. Our enhanced fault model is an extension of a standard fault model that is constructed... Read More about Determining the dependability of Service-Oriented Architectures..