Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 9 of 9 for “"jml"”.
-
SPEST – A Tool for Specification-Based Testing
… tests based on the Java Modeling Lan- guage (JML)[25] specifications. JML is a widely used language for behavior program specification. A second experiment evaluated readability through a sur- vey comparing SPEST generated tests against tests written by well established software developers. …
-
Overloaded Array Processing with Spatially Reduced Search Joint Detection
… possible with the joint maximum likelihood (JML) receiver. However, for even a modest number of interfering signals, the JML receiverà Âs computational complexity quickly exceeds the real-time ability of any computer. This thesis proposes an iterative joint detection technique, Spatially …
-
Autobiographical subjects: Disability and social identity in life writing
… checksum: d79834afe93f528d82ec75fc96fc36eb (MD5) JML Reprint Permissions.pdf: 75262 bytes, checksum: e651e741703420d56575151cc46713e3 (MD5) LICENSE.txt: 4212 bytes, checksum: 4acff87ef6f020913065f5cca47977fe (MD5) Previous issue date: 2020-11-24
-
Channel Estimation in Single -Carrier and Multi-Carrier Communication Systems
… systems. The joint maximum likelihood (JML) blind estimator is derived and shown to guarantee channel identifiability up to a complex exponential, as long as the number of subcarriers is larger than or equal to twice the time domain channel length. Also, identifiability of the JML …
-
Arís 2.1: Adapting Arís for Object Oriented Language
… (CGIF) and transform the Spec# specification to JML. Finally, this new system is evaluated by running some testing. From the result that we have, we can conclude that the building of conceptual graph and the specification transformation is the most difficult part in our system.
-
Electroproduction of Phi(1020) Mesons at High Q² with CLAS
… made to the predictions of the Jean-Marc Laget(JML) model based on Pomeron plus 2-gluon exchange. The overall scaling of the total cross section was determined to be 1/Q<sup>4.6±1.7</sup> which is compatible within errors to the Vector Meson Dominance prediction of 1/Q⁴ as well as to the …
-
Source Code Retrieval using Case Based Reasoning
… However, although formal languages like Spec# or JML are getting more and more popular, the set of verified implementations is very small and only growing slowly. Our work aims to automate some of the steps involved in writing specifications and their implementations, by reusing existing verified …
-
Data Refinement in Object-Oriented Verification
… Object-oriented programming languages such as JML and Spec# support the specification and verification of object-oriented programs. We research their capabilities, identifying their strengths and weaknesses from both a specification and a tool-support point of view. This leads us to the …
-
Reasoning Tradeoffs in Implicit Invocation and Aspect Oriented Languages
To reason about a program means to state or conclude, by logical means, some properties the program exhibits; like its correctness according to certain expected behavior. The continuous need for more ambitious, more complex, and more dependable software systems demands for better mechanisms to …