Sciweavers

41 search results - page 4 / 9
» jot 2010
Sort
View
JOT
2010
122views more  JOT 2010»
13 years 6 months ago
Extracting State Models for Black-Box Software Components
Rajiv Ranjan Suman, Rajib Mall, Srihari Sukumaran,...
JOT
2010
142views more  JOT 2010»
13 years 6 months ago
Attached Processes
Many software engineers try very hard not to use the word “reuse” because many methods and tools intended to promote reuse have failed to meet expectations. As soon as they le...
John McGregor
JOT
2010
111views more  JOT 2010»
13 years 6 months ago
Covariantly Adjusting Co-Types in Timor
This paper extends the idea of co-types (described in a companion paper) to include the concept of adjustment hierarchies. An adjustment hierarchy provides a parallel hierarchy to...
James Leslie Keedy, Gisela Menger, Christian Heinl...
JOT
2010
167views more  JOT 2010»
13 years 6 months ago
The Discrete Fourier Transform, Part 5: Spectrogram
This paper is part 5 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 the spectrog...
Douglas Lyon
JOT
2010
99views more  JOT 2010»
13 years 6 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