This paper presents an exploratory case study to examine information systems development (ISD) processes in a low maturity environment, and to understand the role of control mechanisms in project success. The case involves the development of a large scale bank information system, which progressed without a fully-defined “master plan” or much reliance on formal development methodologies, but was...

OBJECTIVES We tested whether formal volunteering, in terms of its associations with mental health, compensates for the absence of major work and family roles among older adults or rather complements such roles among both younger and older adults. METHOD Two cross-sectional samples of younger (aged 18-42 years, N = 2,346) and older (aged 56-75 years, N = 1,422) German adults were used. We regr...

This paper reviews the current literature regarding Muslim young people’s online social networking and participatory practices with the aim of examining whether these practices open up new spaces of civic engagement and political participation. The paper focuses on the experiences of young Muslims living in western societies, where, since September 11, the ability to assert claims as citizens i...

The application of mobile technologies to learning has the potential to facilitate the active participation of learners in the creation and delivery of content. They can also provide a powerful connection between a variety of formal and informal learning contexts and can

Predator is a tool for automated formal verification of sequential C programs with dynamic linked data structures. It is in principle based on separation logic, but uses a graph-based heap representation. This paper first provides a brief overview of Predator and then discusses experience with its participation in the Software Verification Competition of TACAS’12.

The study examined the relationship between budgeting and strategic plan implementation at Narok County Referral Hospital (NCRH). Using a descriptive research design sample size of 30, principal component analysis (PCA) was used to reduce number variables in data set. Correlation showed positive dependent variable (strategic implementation) independent (budgeting). Formal budgetary participatio...