Sciweavers

JOT
2010
113views more  JOT 2010»
13 years 10 months ago
SOA Web Security and Applications
entional vulnerability detection fails to extend its generic form to an abstract level in coping with particular type of string validation. Consequently the security bypasses key ...
Raymond Wu, Masayuki Hisada
JOT
2010
76views more  JOT 2010»
13 years 10 months ago
A Program Transformation Technique to Support AOP within C++ Template
Aspect-oriented programming (AOP) provides assistance in modularizing concerns that crosscut the boundaries of system decomposition. Aspects have the potential to interact with ma...
Suman Roychoudhury, Jeff Gray, Jing Zhang, Purusho...
JOT
2010
208views more  JOT 2010»
13 years 10 months ago
Automatic Test Data Synthesis using UML Sequence Diagrams
Ashalatha Nayak, Debasis Samanta
JOT
2010
97views more  JOT 2010»
13 years 10 months ago
Towards a theory and calculus of aliasing
A theory, graphical notation, mathematical calculus and implementation for finding whether two given expressions can, at execution time, denote references attached to the same obj...
Bertrand Meyer
JOT
2010
142views more  JOT 2010»
13 years 10 months ago
On Differencing Object-Oriented Formal Specifications
Requirements specification is a collaborative activity that involves several developers specifying the requirements elicited through several stakeholders. Operation-base merging a...
Fathi Taibi, Md. Jahangir Alam, Junaidi Abdullah
JOT
2010
73views more  JOT 2010»
13 years 10 months ago
Growing Object-Oriented Software, Guided by Tests
Charles Ashbacher
JOT
2010
186views more  JOT 2010»
13 years 10 months ago
The Discrete Fourier Transform, Part 6: Cross-Correlation
This paper is part 6 in a series of papers about the Discrete Fourier Transform (DFT) and the Inverse Discrete Fourier Transform (IDFT). The focus of this paper is on correlation....
Douglas Lyon
JOT
2010
99views more  JOT 2010»
13 years 10 months ago
A Framework for Adding Design by ContractTM to the .NET Object-Oriented Programming Languages
Design contracts can be used in software development to ensure the preservation of assertions for program correctness. This can increase reliability in software design. Design by ...
Jennifer Pandolfo, Cui Zhang