One of the principles of Design by Contract is that contracts for software components must be written in a declarative way, using a formal, mathematically founded notation. When we apply the Design by Contract methodology in a naive and straightforward way, we risk ending up with unwanted duplication. In this paper, we describe a methodology for writing class contracts that avoids specification...

The importance of writing well can never be overstated for a successful professional career, and the ability to write solid papers is an essential trait of a productive researcher. Writing and publishing a paper has its own life cycle; properly following a course of action and avoiding missteps can be vital to the overall success not only of a paper but of the underlying research as well. Here,...

Methods: First, we constructed a questionnaire based on the descriptors collected from various sources in order to elicit university teachers’ views on the importance of these descriptors. A revised version was produced based on the feedback from the initial questionnaire survey. In order to further investigate what level or levels these remaining descriptors would fall into, 35 university teac...

The traditional rules of voice-leading in Western music are explicated using experimentally established perceptual principles. Six core principles are shown to account for the majority of voice-leading rules given in historical and contemporary music theory tracts. These principles are treated in a manner akin to axioms in a formal system from which the traditional rules of voice-leading are de...

Background: At the present time, teaching pharmacology for medical students mainly focuses on the basic principles of pharmacology. This study was conducted to assess the current situation of pharmacology teaching and the necessity of developing clinical pharmacology from the viewpoint of medical interns and externs in Tabriz University of Medical Sciences. Methods: This descriptive cross-secti...

868 NOTICES OF THE AMS VOLUME 47, NUMBER 8 In April 2000 the National Council of Teachers of Mathematics (NCTM) released Principles and Standards for School Mathematics—the culmination of a multifaceted, three-year effort to update NCTM’s earlier standards documents and to set forth goals and recommendations for mathematics education in the prekindergarten-through-grade-twelve years. As the cha...

There is an increasing expectation that academic and clinical nurses will contribute to disciplinary and professional discourses through scholarly writing. However, the difficulties and challenges associated with writing for publication mean that many papers will never be written. This current paper describes an innovative approach developed to support skill development and outcomes in writing ...

merely lead to vagueness, ambiguity, or nonsense. For example, “Cohesiveness is the thread-forming ability of mucus under the influence of large amplitude deformation,” probably means, “Cohesiveness refers to mucus forming threads when mucus is stretched.” This practice is clearly becoming more common in medical writing. Reviewers should be encouraged to review manuscripts not only for scientif...

the principles of quran interpretation are amongst the most important issues in the field of quran studies. these principles have always been addressed by both quran researchers, admirers and especially by notable interpreters. principles of interpretation are axioms and basic beliefs that quran interpretation stands on them. these beliefs and propositions affect the very principle of the possi...