1,358,199 research outputs found
EMPIRICAL ASSESSMENT OF THE IMPACT OF USING AUTOMATIC STATIC ANALYSIS ON CODE QUALITY
No full textAutomatic static analysis (ASA) tools analyze the source or compiled code looking for violations of recommended programming practices (called issues) that might cause faults or might degrade some dimensions of software quality. Antonio Vetro' has focused his PhD in studying how applying ASA impacts software quality, taking as reference point the different quality dimensions specified by the standard ISO/IEC 25010. The epistemological approach he used is that one of empirical software engineering. During his three years PhD, he's been conducting experiments and case studies on three main areas: Functionality/Reliability, Performance and Maintainability. He empirically proved that specific ASA issues had impact on these quality characteristics in the contexts under study: thus, removing them from the code resulted in a quality improvement. Vetro' has also investigated and proposed new research directions for this field: using ASA to improve software energy efficiency and to detect the problems deriving from the interaction of multiple languages. The contribution is enriched with the final recommendation of a generalized process for researchers and practitioners with a twofold goal: improve software quality through ASA and create a body of knowledge on the impact of using ASA on specific software quality dimensions, based on empirical evidence. This thesis represents a first step towards this goa
Common fixed points of mappings satisfying implicit relations in partial metric spaces
No full textMatthews, [S. G. Matthews, Partial metric topology, in: Proc. 8th Summer Conference on General Topology and Applications, in: Ann. New York Acad. Sci., vol. 728, 1994, pp. 183-197], introduced and studied the concept of partial metric space, as a part of the study of denotational semantics of dataflow networks. He also obtained a Banach type fixed point theorem on complete partial metric spaces. Very recently Berinde and Vetro, [V. Berinde, F. Vetro, Common fixed points of mappings satisfying implicit contractive conditions, Fixed Point Theory and Applications 2012, 2012:105], discussed, in the setting of metric and ordered metric spaces, coincidence point and common fixed point theorems for self-mappings in a general class of contractions defined by an implicit relation. In this work, in the setting of partial metric spaces, we study coincidence point and common fixed point theorems for two self-mappings satisfying generalized contractive conditions, defined by implicit relations. Our results unify, extend and generalize some related common fixed point theorems of the literature.Matthews, [S. G. Matthews, Partial metric topology, in: Proc. 8th Summer Conference on General Topology and Applications, in: Ann. New York Acad. Sci., vol. 728, 1994, pp. 183-197], introduced and studied the concept of partial metric space, as a part of the study of denotational semantics of dataflow networks. He also obtained a Banach type fixed point theorem on complete partial metric spaces. Very recently Berinde and Vetro, [V. Berinde, F. Vetro, Common fixed points of mappings satisfying implicit contractive conditions, Fixed Point Theory and Applications 2012, 2012:105], discussed, in the setting of metric and ordered metric spaces, coincidence point and common fixed point theorems for self-mappings in a general class of contractions defined by an implicit relation. In this work, in the setting of partial metric spaces, we study coincidence point and common fixed point theorems for two self-mappings satisfying generalized contractive conditions, defined by implicit relations. Our results unify, extend and generalize some related common fixed point theorems of the literature
MR2661185 Reviewed Huang, Xianjiu; Zhu, Chuanxi; Wen, Xi Common fixed point theorem for four non-self-mappings in cone metric spaces. Fixed Point Theory Appl. 2010, Art. ID 983802, 14 pp. (Reviewer: Pasquale Vetro)
No full textRecently, L. G. Huang and X. Zhang [J. Math. Anal. Appl. 332 (2007), no. 2, 1468–1476; MR2324351 (2008d:47111)] defined cone metric spaces by substituting an order normed space for the real numbers and proved some fixed point theorems.
In this paper the authors prove a common fixed point theorem for four non-self-mappings in the framework of cone metric spaces. This result is an extension of a common fixed point theorem of Radenović and Rhoades for two non-self-mappings. The paper also contains some illustrative examples.
For fixed point results in the framework of cone metric spaces see also [M. Arshad, A. Azam and P. Vetro, Fixed Point Theory Appl. 2009, Art. ID 493965; MR2501489 (2010e:54028); C. M. Di Bari and P. Vetro, Rend. Circ. Mat. Palermo (2) 57 (2008), no. 2, 279–285; MR2452671 (2009h:47086); Rend. Circ. Mat. Palermo (2) 58 (2009), no. 1, 125–132; MR2504991 (2010b:47155)]
Using Automatic Static Analysis to Identify Technical Debt
No full textThe technical debt (TD) metaphor describes a tradeoff between short-term and long-term goals in software development. Developers, in such situations, accept compromises in one dimension (e.g. maintainability) to meet an urgent demand in another dimension (e.g. delivering a release on time). Since TD produces interests in terms of time spent to correct the code and accomplish quality goals, accumulation of TD in software systems is dangerous because it could lead to more difficult and expensive maintenance. The research presented in this paper is focused on the usage of automatic static analysis to identify Technical Debt at code level with respect to different quality dimensions. The methodological approach is that of Empirical Software Engineering and both past and current achieved results are presented, focusing on functionality, efficiency and maintainabilit
Modellazione reologica della prova di aderenza a compressione-taglio per compositi laminati vetro-vetro e vetro-metallo
No full textLa meccanica della prova di aderenza su campioni laminati vetro -vetro e vetro-metallo mediante prova di compressione-taglio viene modellata analiticamente e numericamente nella ipotesi di legame forza-scorrimento non lineare.
I risultati teorici vengono confrontati con quelli sperimentali
MR2684111 Kadelburg, Zoran; Radenović, Stojan; Rakočević, Vladimir Topological vector space-valued cone metric spaces and fixed point theorems. Fixed Point Theory Appl. 2010, Art. ID 170253, 17 pp. (Reviewer: Pasquale Vetro)
No full textRecently, Huang and Zhang [\emph{Cone metric spaces and fixed point
theorems of contractive mappings}, J. Math. Anal. Appl.,
\textbf{332} (2007), 1468 -1476] defined cone metric spaces by
substituing an order normed space for the real numbers and proved
some fixed point theorems.
Let be a real Hausdorff topological vector space and a cone
in with int\,, where int\, denotes the
interior of . Let be a nonempty set. A function is called a \emph{tvs}-cone metric and is
called a \emph{tvs}-cone metric space, if the following conditions
hold: (1) for all and if and only if ; (2) for all ; (3) for all .
The authors consider a class of convergent sequences in , the
same of Huang and Zhang. Then, the authors by using this class of
convergent sequences proved several interesting results of common
fixed points for three or two mappings satisfying some contractive
conditions. The following theorem is one of the main results:
\noindent \textbf{Theorem 3.1.} \emph{Let be a
\emph{tvs}-cone metric space and the mappings
satisfy for all , where , , and or . If and is a complete subspace of ,
then , and have a unique point of coincidence. Moreover,
if and are weakly compatible, then , and
have a unique common fixed point.}
For fixed point results in the framework of cone metric space see,
also, Arshad, Azam and Vetro [\emph{Some Common Fixed Point
Results in Cone Metric Spaces}, Fixed Point Theory Appl.,
\textbf{2009}, Article ID 493965, 11 pages] Di Bari and Vetro
[\textit{-pairs and common fixed points in cone metric
spaces}, Rend. Circ. Mat. Palermo \textbf{57} (2008), 279--285 and
\textit{Weakly -pairs and common fixed points in cone
metric spaces}, Rend. Circ. Mat. Palermo \textbf{58} (2009),
125--132]
MR 2776821 Reviewed Berger E. Hurwitz equivalence in dihedral groups. The Electronic Journal of Combinatorics 18 (2011), no.1, paper 45, 16 pp. (Reviewer Francesca Vetro) 20F36
No full textIn the paper under review, the author studies the orbits of the action of the braid group B_{n} on G^{n} where G denoted a dihedral group. At first, the author considers tuples T consisting only of reflections. In this case, the author proves that the orbits are determinate by three invariants. These invariants are the product of the entries, the subgroup generated by the entries and the number of times each conjugacy class is represented in T.
Successively, the author works with tuples whose entries are any elements of dihedral groups. The author shows that, also this time, the above invariants are sufficient in order to determinate the orbits of the action of B_{n} on G^{n}
MR2944786 Reviewed Turzański, Marian The Bolzano-Poincaré-Miranda theorem—discrete version. Topology Appl. 159 (2012), no. 13, 3130–3135. (Reviewer: Pasquale Vetro) 54H25 (55M20)
No full textThe author gives a discrete version of the Bolzano-Poincaré-Miranda theorem. Further, the author uses the main result to prove the Bolzano-Poincaré-Miranda theorem and a theorem on partitions
A result of Suzuki type in partial G-metric spaces
No full textRecently, Suzuki [T. Suzuki, A generalized Banach contraction principle that characterizes metric completeness, Proc. Amer. Math. Soc. 136 (2008), 1861-1869] proved a fixed point theorem that is a generalization of the Banach contraction principle and characterizes the metric completeness. Paesano and Vetro [D. Paesano and P. Vetro, Suzuki's type characterizations of completeness for partial metric spaces and fixed points for partially ordered metric spaces, Topology Appl., 159 (2012), 911-920] proved an analogous fixed point result for a self-mapping on a partial metric space that characterizes the partial metric 0-completeness. In this article, we introduce the notion of partial G-metric spaces and prove a result of Suzuki type in the setting of partial G-metric spaces. We deduce also a result of common fixed point
MR2670689 Rezapour, Shahram; Khandani, Hassan; Vaezpour, Seyyed M. Efficacy of cones on topological vector spaces and application to common fixed points of multifunctions. Rend. Circ. Mat. Palermo (2) 59 (2010), no. 2, 185–197. (Reviewer: Pasquale Vetro)
No full textRecently, Huang and Zhang defined cone metric spaces by substituting an order normed space for the real numbers and proved some fixed point theorems. For fixed point results in the framework of cone
metric space see, also, Di Bari and Vetro [\textit{-pairs and common fixed points in cone metric spaces}, Rend. Circ. Mat.
Palermo \textbf{57} (2008), 279--285 and \textit{Weakly -pairs and common fixed points in cone metric spaces}, Rend. Circ. Mat. Palermo \textbf{58} (2009), 125--132].
Let be a topological vector space and a cone in
with int\,, where int\, denotes the interior of
. The authors define a topology on so that
is a normable topological space and is a normal
cone with constant . The topology has as basis the
family ,
where and will
stand for . is a normable
topological space and the norm is the Minkowski functional
of , .
Then, the authors by using this norm proved some interesting results
of common fixed points for two multifunctions satisfying
contractive conditions
- …
