The publisher does not give any warranty express or implied or make any representation that the contents will be complete or accurate or up to date. The accuracy of any instructions, formulae and drug doses should be independently verified with primary sources. The publisher shall not be liable for any loss, actions, claims, proceedings, demand or costs or damages whatsoever or howsoever caused...

We present a general strategy for stepwise, sound and progressive synthesis of logic programs from specifications by examples and properties. We particularize this to schema-guided synthesis, and state a generic synthesis theorem. We justify some design choices for the development of a particular synthesis mechanism that is guided by a Divide-and-Conquer schema, is inductive and deductive, is i...

In this paper, we demonstrate the capability of mass, a real-time design language, for large systems speciication. The paper presents a hierarchical speciication of an automatic cruise controller that evolves through stepwise reenement. In particular, we show modular design, the separation of the functional and reactive concerns, and the succinct and intuitive nature of speciications in mass.

An approach for guiding the construction of use case specifications is presented. A use case specification comprises contextual information of the use case, its change history, the complete graph of possible pathways, attached requirements and open issues. The proposed approach delivers a use case specification as an unambiguous natural language text. This is done by a stepwise and guided proce...

Handwritten autobiographies from 180 Catholic nuns, composed when participants were a mean age of 22 years, were scored for emotional content and related to survival during ages 75 to 95. A strong inverse association was found between positive emotional content in these writings and risk of mortality in late life (p < .001). As the quartile ranking of positive emotion in early life increased, t...

An epistemologically and cognitively founded pedagogical learning/teaching model tackling these goals is developed. Possible solutions will be suggested by developing a meta-model for learning/teaching processes in a stepwise manner. It turns out that philosophy of science concepts play a crucial role in these processes. Furthermore, the role of micro-learning and technologically supported (mob...