This paper studies the complementarity of test and deductive proof processes for Java programs specified in JML (Java Modeling Language). The proof of a program may be long and difficult, especially when automatic provers give up. When a theorem is…
Papers in Language Education
Language Education papers in Education, A
-
-
Testing is an essential but often under-utilized area of software engineering. A variety of software testing techniques have been developed to effectively identify bugs in source code, yet these techniques are not always fully employed in practice.…
-
Functional programming languages, which emphasize a paradigm in which code modules return a value, have traditionally been used primarily in research and academia rather than in commercial software development and testing. This paper presents the…
-
The strategy used for testing a software system should not be fixed, because as time goes on we may have a better understanding of the software under test. A solution to this problem is to introduce control theory into software testing. We can use…
-
This paper describes the testing activities for the maintenance of the KT-OSS (Korea Telecom Operations Support System). Since the KT-OSS is a large software, it is essential to continuously perform maintenance activities such as the addition of new…
-
Virtual Coordinate Measuring Machines (VCMMs) are software packages aimed at providing uncertainty estimates for tridimensional measurements. Since they deal with metrology data to derive uncertainty estimates, which are to be used for making…
-
Question: What is the best approach for implementing a statewide electronic health library (eHL) to serve all health professionals in Minnesota? Setting: The research took place at the University of Minnesota Health Sciences Libraries. Methods: In…
-
Non-uniform sampling is shown to provide significant time savings in the acquisition of a suite of three-dimensional NMR experiments utilized for obtaining backbone assignments of H, N, C', CA, and CB nuclei in proteins : HNCO, HN(CA)CO, HNCA,…
-
High-quality multidimensional NMR spectra can be obtained from rapidly recorded non-uniformly sampled (NUS) data. The inherent loss of the spectrum quality usually associated with NUS data is compensated by compressed sensing (CS); left spectrum:…
-
COTS middleware speeds e-business application deployment but can be difficult to select. The i-Mate tool provides a proven, structured software engineering process for COTS middleware acquisition. Using i-Mate in six major projects for a wide range…
-
All programmers learn from experience. A few are rather fast at it and learn to avoid repeating mistakes after once or twice. Others are slower and repeat mistakes hundreds of times. Most programmers' behavior falls somewhere in between: They…
-
The availability of complete genome sequence information for diverse organisms including model genetic organisms has ushered in a new era of protein sequence comparisons making it possible to search for commonalities among entire proteomes using the…
-
Accessibility technology's (AT's) immediate benefit might manifest itself in documents and content that individuals with disabilities can use, but AT advocates say the potential use for these innovations is limited only by imagination. The author…
-
In this paper, we explore touch technologies and the kinds of engagements with art that they enable. We discuss implications of using these technologies, and technology more generally, to access art via electronic displays within museums and…
-
The present survey article formed the basis of a presentation by G. Richardson to the 8 July 2003 plenary session of the Accounting and Finance Association of Australia and New Zealand Conference in Brisbane, Australia. The present article…
-
Dynamic T1-weighted magnetic resonance imaging (MRI) after the injection of Gd-DTPA is a promising method for investigating breakdown of the blood-retinal barrier (BRB). Previously, the authors demonstrated that in a T1-weighted image, the initial…
-
Conventional NMR structure determination requires nearly complete assignment of the cross peaks of a refined NOESY peak list. Depending on the size of the protein and quality of the spectral data, this can be a time-consuming manual process…
-
Transcription factors are key cellular components that control gene expression: their activities determine how cells function and respond to the environment. Currently, there is great interest in research into human transcriptional regulation.…
-
The article discusses how to build a multiuser, realtime chat application in Lift and discuss Scala's language features that make Lift possible. The application provides a single chat server that takes chat messages and redistributes the messages…
-
This article summarizes major achievements and challenges of software resource estimation over the last 40 years, emphasizing the Cocomo suite of models. Critical issues that have enabled major achievements include the development of good model…
Papers in associated sub-disciplines
Sign up today - FREE
Mendeley saves you time finding and organizing research. Learn more
- All your research in one place
- Add and import papers easily
- Access it anywhere, anytime