|
|
|
|
|
|
|
|
|
|
|
|
|
Post Graduate School
The software industry is growing rapidly and practitioners are struggling hard to cope with the ever-increasing complexity of software development. Meanwhile, the management of software projects has led to many software development failures and successes. While software technologies, processes and methods have advanced appreciably, software engineering remains a people-intensive process. Therefore, techniques for managing people, technology, resources and risks have profound leverage. A serious problem plaguing software industries in both developed and developing countries is poor development practices and project management. This problem is the major cause of delays in software projects, overspending of IT budgets, and chronic problems with dependability (safety, reliability and security) and maintainability of software products. Software industries in developing countries need to rely on modern engineering practices to develop high-quality, globally competitive products. Such practices comprise a variety of methods, tools and techniques based on solid mathematical foundations and good software project management. This school has been designed to provide an international forum for presentation and discussion of such practices. The goal of the school is to provide lecturers, researchers and developers, from Peru with state-of-the-art software development techniques together with necessary foundations for the development of their professional careers. The school will also give participants a chance to exchange experience, ideas, and solutions for their problems, and to exchange university curriculum with teachers and colleagues from different places in the country and from abroad. It will also help to initiate new topics for research and to encourage people in doing research as well as developments.
For the above reason The International Institute for Software Technology of the United Nations University (UNU/IIST), and the San Pablo Catholic University are jointly organizing a Summer School on Advanced Techniques in Formal Software Development. This school introduces participants to use a mathematical base (Formal Methods) in software specification . As background to the formal methods in software design, participants are introduced to formal logic and some of its applications in Software Engineering.
Lecturers:
Prof: Chris George
Intitution: UNU/IIST
BIODATA: His main interest are formal methods, specifically development methods and tool support for them. Mr. George was involved in the ESPRIT RAISE project from 1985 to 1990 and then joined CRI in Denmark as project coordinator of the ESPRIT LaCoS project. He has been with UNU/IIST since September 1994 and was Senior Research Fellow for Advanced Development Projects until becoming Associate Director in 2006.
Course Material:
Prof: Dang Van Hung
Institution: UNU/IIST
BIODATA: Research Fellow for the research project ``Theories and Design Methods for Real-time Systems'' at UNU/IIST since October 1995. On leave of absence from Institute of Information Technology, Nghia Do, Cau Giay, Hanoi, Vietnam. PhD (equivalent) in Computer Science (concurrent systems) in 1988, Computer and Automation Research Institute (SZTAKI), Hungarian Academy of Sciences, Budapest, Hungary. BSc in Mathematics (numerical methods) in 1977, Hanoi University, Hanoi, Vietnam. Research interests include Formal Techniques of Programming, Concurrent and Distributed Computing, Design Techniques for Real-Time systems
Course Material:
Prof: Agustín Francisco Gutiérrez Tornes
Institution: Centro de Investigación en Computación (CIC) del Instituto Politécnico Nacional (IPN), Mexico
Biodata: Actually he is working in the Management area of Operation and Technology, Systems Department for Credit Cards as a Systems Coordinator. He also works as a Lecturer in the Instituto Tecnológico de Estudios Superiores de Monterrey (ITESM-CCM). He has participated in more than thirty events where he presented research papers about Analysis Techniques and Software Quality Control. He has more than twenty publications in Elsevier, Springer Verlag and others editorials.
Course Material:
Prof: Claudia Alquicira
Institution: MoProSoft
Course Material:
Prof: Nelly Condori-Fernandez
Institution: Universidad Politécnica de Valencia, Spain
Biodata: Nelly is a PhD student at the Valencia University of Technology in Spain. She has a BSc. in Computer Science from the National University of San Agustin in Peru. She is currently a member of the OO-Method research group in Spain in the area of Software Quality. She is also a member of the Peruvian Computer Society and of the Ibero-american Software Technology Network (RITOS2).
Her research interests include functional size measurement, empirical software engineering, metrics for conceptual models and usability engineering.
Course Material:
Prof: José Carlos Maldonado
Institution: University of Sao Paulo, Brazil
Biodata: Full Professor at ICMC-USP (Instituto de Ciências Matemáticas e de Computação - Universidade de São Paulo) Computer Systems Dept. Vice-Director of ICMC-USP. Vice President of the SBC (Sociedade Brasileira de Computação). Member of the Editorial Board of the Empirical Software Engineering an International Journal. Member of the ACM Education Council. Vice-coordinator of the Computer Science Area/CAPES-Brazil. Member of the Computer Science Committee of CNPq - the Brazilian Funding Agency. Member of the Computer Science and Engineering Coordination of FAPESP - the São Paulo state funding agency.
Areas of interest: software enginnering; software testing and validation; experimental software engineering; software quality; trainning and education; web systems; reactive and embedded system
Course Material:
Prof: Auri Vincenzi
Institution: Universidade Católica de Santos, Brazil
Biodata: Auri Vincenzi is an assistant professor of Computer Science at
UNISANTOS (Universidade Católica de Santos, Brazil). Between 2001 and 2002 he
was a Visitor Scholar at the University of Texas at Dallas. He was an adjunct
professor at INF-UFG (Instituto de Informática da Universidade Federal de Goiás)
from 2005 and 2006. He is a member of the ACM (Association for Computing
Machinery) and the SBC (Brazilian Computer Society).
Areas of interest: Software testing, comparison of testing tecniques and
criteria, development of testing tools, experimental software engineering
and software quality assurance.
The course is meant for Software Engineering and Computer Science teachers, and related subjects, as well as postgraduate students and other qualified professionals. We welcome applications from Peru and neighbouring countries. Participants in the course are required to have good background in Math and a high level in English. The number of participants is up to 40 from all over the country.
As there is a limit of 40 participants, registrations are subject to confirmation. A major criterion is to allow participation of as many cities and organisations as possible. Additionaly applicants must send a CV. The CV must describe the applicant's academic qualifications, teaching or industrial experience, technical background, specific interests in software engineering, and the levels of English speaking and writing. CV must be send in English. Applications should be e-mailed (pdf or ps only) to summerschool@ucsp.edu.pe
More information, including grants for non-local participants, could be find at: UNU/IIST Summer School Call
University lecturers and Postgraduate Students: There is no tuition fee Other Professionals : US$ 50.00 per course (contact for more details.)
The following facilities will be provided by the host:
For further information, please do not hesitate to contact us via e-mail, fax, telephone, and post-mail to:
| E-mail: | |
| Subject | "Summershool 2007" |
| Web Site: | |
| Phone: | (51) (54) 9-341932 |
