Evolution is a basic fact of software life. Domain-specific agile software frameworks are key to modern enterprise information systems (EIS). We propose a model checking approach to formal verification of agile frameworks that evolve continuously. The results obtained can be used to justify the maintenance activities in software evolution and identify important but implicit assumptions about th...

This paper analyzes The Open Group Architecture Framework (TOGAF) Enterprise Edition and its mapping onto the Generalized Enterprise Reference Architecture and Methodology (GERAM) framework / ISO IS 15704:2000 requirements. The analysis compares and contrasts these frameworks on multiple aspects that include: life cycle phases, temporality and succession, modeling frameworks, modeling languages...

For the past decade, application developers have been forced into an increasingly complex labyrinth of multi-tiered hardware, complex OO frameworks and middleware and associated tools. Each year, developers have faced new frameworks and a sea of new APIs. Instead of making the life of application developers easier and reducing the cost of application development, these technologies have done ju...

Industry uses GRC frameworks for compliance management and tracking. These are document-oriented systems that help human experts maintain traceability between various artefacts in the compliance life-cycle. Documents such as legal text of regulations, compliance process descriptions, audit reports, etc. can be linked using tagging mechanisms. Actual implementation of compliance to regulations h...

We discuss semantic composition in Minimal Recursion Semantics (MRS) and Robust Minimal Recursion Semantics (RMRS). We demonstrate that a previously defined formal algebra applies to grammar engineering across a much greater range of frameworks than was originally envisaged. We show how this algebra can be adapted to composition in grammar frameworks where a lexicon is not assumed, and how this...

conclusions the results showed that life skills training is an effective method in reducing symptoms of depression, anxiety, sleep and somatic disorders. also, it would be useful in reducing problems of social dysfunction. results in life skills training group, depressive and anxiety symptoms, somatization disorders, sleep disorders and disorders of social functioning were significantly decreas...

background: due to increasing life expectancy and declining fertility rates, the population over the age of 60 in developed and developing countries is increasing. this matter draws attention toward the improvement of the health of the elderly and consideration of the health and treatment needs of this important group of human society. the aim of this study was to determine the effects of integ...

purpose: to evaluate the health-related quality of life (hrqol) among strabismus patient. methods: one hundred and twenty-two strabismic patients ≥ 14 years who scheduled for surgery were selected non-randomly. the patients completed the adult strabismus 20 (as-20) and sf 36 questionnaires. measurements were performed preoperatively and 3 and 6 months postoperatively. changes in psychosocial an...

conclusions based on the results of the present study and other performed studies in this regard, menopause, aging, vasomotor symptoms, and education had significant association with the qol of postmenopausal women. the reduced qol in postmenopausal women could eventually lead to the reduced qol of their spouses. therefore, it is necessary to plan for the education of these women and their husb...