Correctness constraints provide a foundation for automated debugging within object-oriented systems. This paper discusses a new approach to incorporating correctness constraints into Java development environments. Our approach uses the Object Constraint Language (“OCL”) as a specification language and the Java Debug Interface (“JDI”) as a verification API. OCL provides a standard language for e...

The views expressed in this report are those of the authors, not necessarily those of the Home Office (nor do they reflect Government policy). Acknowledgements The authors would like to thank colleagues in Research Development and Statistics and Partnership Performance and Support Unit for their helpful comments on drafts of this report. Thanks also go to Kate Pearce from the National Centre fo...

The web has become the primary source of medical information for consumers and health professionals. It is quite common for people to “Google” for information related to a medical topic. But the problem remains that as the number of documents increases on the web, the difficulty in quickly locating the best documents increases. Classifying results into meaningful categories, helps guide users t...

Aspect-oriented techniques have gained some favor in program tracing, profiling, and debugging. Yet, taking advantage of AOP typically requires giving up the traditional benefits of using a debugger, such as interactive exploratory introspection and remote execution. However, the APIs debuggers present to their scripting languages are not designed for aspect weaving, creating technical challeng...

As the Journal of Diabetes Investigation (JDI) was launched as the official journal of the Asian Association for the Study of Diabetes (AASD) in 2010, it will enter its 7th year of publication in 2016. It has also been almost 2 years since our journal became an Open Access journal in 2014. As the background of our shift to an Open Access journal was mentioned in my previous Editorial in JDI in ...

In most cases authors are permitted to post their version of the article (e.g. in Word or Tex form) to their personal website or institutional repository. Authors requiring further information regarding Elsevier's archiving and manuscript policies are encouraged to visit: s u m m a r y Current drought information is based on indices that do not capture the joint behaviors of hydrologic variable...

سابقه و هدف: آب هوای یک منطقه در دوره بلندمدت را اقلیم گویند. شناسایی طبقه‌بندی اقلیمی از دیرباز مورد توجه متخصصان هواشناسی بوده است. محققان با به کارگیری روش ­های مختلف استفاده متغیرهای همچون بارش دما، زمین مناطق همگن طبقه ­بندی کرده‌اند نتایج پهنه‌بندی ارزیابی کمبود منابع مقیاس­ های کوچک بزرگ منظور پیش‌بینی اقدامات عملی برای کنترل خشکی آسیب‌پذیر به‌کار برده‌اند. هدف این تحقیق به‌‌روزرسانی تحل...