The authors and other members of their group have already written some papers and research reports on specifying telephone call processing in LOTOS. Two such papers, where two differently organized specifications of the Plain Old Telephone System service (POTS) were presented, were [FLS 90][FLS 91]. The specification in the second paper was mainly in the constraint-oriented style, while the one...

Foreword EWAS.06, the third European Workshop on Aspects in Software, follows the tradition of its two predecessor workshop series organized independently by the German " Gesellschaft für Informatik " , Belgian and Dutch research groups. It focuses on providing AOSD researchers and practitioners with an interactive forum for fostering novel ideas and turning submitted material into conference-r...

We are working on a practical, template-based approach to the formalisation of object-oriented models. In previous papers, which demonstrate the approach, we have asserted that the formal proofs required for consistency checking and analysis of the model, are also amenable to a template-based solution, using modular metaproofs. In this paper, we explain the meta-proof concept, and illustrate it...

iran-iraq war consists of a certain events which formed in a period of eight years and within a framework of issues, subjects and various operations of this era. in 51 issues of negin iran quarterly, a collection of various articles about the history of iran-iraq war has been released and these articles have been lead to the gradual accumulation of the contents relating to the history of holy d...

agent oriented software engineering (aose) is an emerging field in computer science  and  proposes some systematic ideas for multi agent systems analysis, implementation and maintenance. despite the various methodologies introduced in the agent-oriented software engineering, the main challenges are defects in different aspects of methodologies. according to the defects resulted from weaknesses ...

the most important goal of each society, is to reach economic development. as the goal and agent of development, man has got an important responsibility, which responsibility is realized by way of education, specially higher education, because the universities are the main factors for progress, production of knowledge and education of specialized human forces and they play a significant role in...

The sixty papers selected for oral presentation in the AI session of the workshop were mostly application oriented, with high energy physics taking central stage. The most popular methodologywas that of neural networks. In this summary talk I point out some general trends of the research work presented at the workshop, and concentrate on papers that I found especially interesting. I add section...