A School
on and
Formal Modelling and Verification in CSP
Introduction
|
Aims of the school
|Participants
|The Lecturers
| Host and Facilities
|
Introduction
Information and Computer Systems Technology play an
important role in the economic growth of Africa.
Experience from developing countries, such as India,
has shown that the Software Industry is powerful
tool for economic growth. The availability of well
trained man power remains the most important engine
that drives the Software Industry. Developing
manpower in Software engineering, is therefore, the
first major step in the direction of developing the
Software industry. Aims of the school
Title: Software Engineering using the UML Course contents 1. Introduction: Software crisis and historical background of Software Engineering; features of modern software systems, software products and their characteristics: maintainability, dependability, efficiency and usability. 2. Software Development Process: Requirement analysis; system design; implementation and unit testing; integration and system testing; operation and maintenance; the waterfall model; Rational Unified Development Process (RUP).
3.
Introduction to OO Development: The inherent
complexity of software; mastering complex systems;
examples of complex systems; function oriented vs
object-oriented methods. 4. Object-oriented requirement capture and analysis: Case study; requirement specification; use cases; conceptual models, use case based project planning; testing based on use cases. 5. System Behaviour: System input events and system operations; contracts; from analysis to design. 6. OO Design: Interaction diagrams; UML notational issues. creating interaction diagrams, patterns for assigning responsibilities; connecting user interface objects to domain object; design class diagrams; use interaction for testing plan. 7. Implementing a Design: UML notation for interface details; mapping a design to code; container/collection classes in code. 8. Advanced Modelling Concepts and Design Techniques: Iterative development process; generalization; abstract classes; associative classes; UML notation for packages; modelling behaviour in state diagrams; Formal use of UML.
Title: Formal Modelling and verification in CSP 1. Events and Processes: representing communication and interaction; components and interfaces; levels of abstraction. 2. Interaction and deadlock: internal and external choice; non-determinism; traces and refusals; process refinement. 3. Concurrency: parallel combination; specifying interfaces; static alphabets. 4. Abstraction: changing levels of abstraction; mechanisms: interleaving, renaming, and hiding; abstraction and non-determinism. 5. Applications: case studies and applications, including: communication protocols; critical systems; objects, classes, and threads.
The Lecturers Zhiming Liu Zhiming Liu received his PhD from the University of Warwick (UK) in 1991. He worked as a research fellow at the University of Warwick during 1988 -1994, a lecturer in Computer Science at the University of Leicester (UK) during 1994-2005. He joined UNU-IIST as a research fellow in July 2002. Zhiming Liu's research includes formal methods and theories of computer systems development, in particular in the areas of Real-Time, Fault-Tolerant Systems, Object Systems and Component Systems. He has about 60 publications in main stream journals, including ACM TOPLAS, Theoretical Computer Science and Formal Aspects of Computing, and proceedings of conferences and edited several books and journal special issues. Zhiming Liu is a member of the editorial board of International Journal on Innovations in Systems and Software Engineering. He is the founder and the Chair of the Advisory Committee of ICTAC (International Colloquium on Theoretical aspects of Computing), the founder and chair of the Steering Committee of FACS (Workshop on Formal aspects of Component Systems). He is a member of the Steering Committees of SEFM (IEEE Conference on Software Engineering and Formal Methods and TASE IEEE & IFIP Conference on Theoretical Aspects of Software Engineering). More information about Zhiming Liu can be found in his homepage http://www.iist.unu.edu/~lzm
Xu Wang Dr. Xu Wang is a member of the academic staff of IIST, United Nations University (located in Macau). He received his PHD from Institute of Software, Chinese Academy of Sciences in 2000. Before joining UNU-IIST, he held research positions at HKUST, Oxford University and Birmingham University. He is mainly interested in CSP/FDR model-checking and advanced state space reduction techniques. You can contact Dr. Xu Wang using the email address: wx@iist.unu.edu Course venue Room 209/210, Computer Buildings, Obafemi Awolowo University, Ile-Ife Participants The School is meant for college and university teachers in Software Engineering, Computer Science and relate subjects. Postgraduate students and qualified IT professionals may also apply. We welcome applications from Nigeria and the countries in West Africa. We plan to invite 5 participants from West Africa (outside Nigeria), 20 from Nigeria (outside Ile-Ife) and 10 from Ile-Ife. Host and Facilities The Department of Computer Science and Engineering will host the school. The following facilities will be provided by the host: 1. Lecture rooms with comfortable furniture, air-conditioning, and Magicboards 2. Computers, E-mail/Internet access for the participants and lecturers 3. LCD projector 4. Secretariat (for arranging visa, local transport and accommodation for participants and lecturers, registration, etc.) All the participants of the school will be provided at no cost: 1. Refreshment at the breaks (tea, coffee, snacks, etc.) 2. Lunches on class days (i.e. Monday-Friday)
The school is supported by the International Institute for Software Technology (UNU-IIST) and the Obafemi Awolowo University. Participants will be provided the course materials, refreshments during breaks and lunches during weekdays. International and National (outside Ile-Ife) Participants will be provided accommodation (2 per room). Limited funding for travel is available for International and National participants. Please indicate the itinerary, mode of transportation and expenses required in your application.
There is
no tuition fee to be paid by
participants at the school, but participants
are expected to contribute to their own expenses for
travel, accommodation and meals.
We welcome applications to attend the school. Participants should send their application including a CV and 2 reference letters. The application should contain: 1. Name 2. Gender 3. Affiliation 4. Address for correspondence 5. Email address 6. Telephone number 7. Fax number 8. Resume The resume must describe the applicant's academic qualifications, teaching or industrial experience, technical background, as well as specific interests in software engineering. It should also indicate the levels of proficiency in English as the courses will be conducted in English. Applications should be e-mailed (plain text only) to the school coordinator at: E-mail:school_app@iist.unu.edu URL:http://www.iist.unu.edu/www/school/nigeria07/ The deadline to receive all applications is February 28, 2007. All applicants will be informed about the acceptance/rejection of their application by April 4, 2007. Accepted applicants are required to confirm their attendance by April 15, 2007.
1.
Registration time and
location
2.
Transportation · If coming from Lagos or Abuja, come to Ile-Ife by public transport. On getting to Ile-Ife, you can take a taxi from the motor park to the OAU campus. Ask to be dropped at the Computer Buildings.
Accommodation · International and National participants who will be supported by the UNU-IIST will be housed in standard rooms at the University Conference Centre. Two people will share a room. Participants are to be responsible for bills, e.g. telephone, entertainment, etc., that they incur. The UNU-IIST will NOT be responsible for any bill incur without prior approval. · Other participants may make arrangement for themselves in hotels near the campus or make bookings for rooms at the University Conference Centre. Local Organisers and Contact For further information, please do not hesitate to contact the co-coordinator via e-mail or telephone: Dr. Odetunji Ajadi ODEJOBI, Room 109, Computer Buildings, Obafemi Awolowo University, Ile-Ife, Nigeria. Phone: 234-(0)8066430629. E-mail: oodejobi@oauife.edu.ng or oodejobi@yahoo.com OR Dr. Adesola G. ADEROUNMU, Head, Computer Science & Engineering Dept., Obafemi Awolowo University, Ile-Ife, Nigeria, Phone: 234-(0)8035177940,E-mail:gaderounm@oauife.edu.ng Last updated: 2006/Dec/27 |
