|
Please also visit:
Oxford Brookes
University's Interdisciplinary Research Theme on
Safety
Technology
Applied Formal Methods Research Group
The
Dept of Computing, Oxford Brookes Univ.
Oxford, England
Software Design Methodology:
From Principles
to Architectural Styles
by Hong Zhu
Elsevier-Butterworth-Heinemann, Oxford, 2005
ISBN:
0-7506-6075-9
(A click on the book cover will link directly to
Amazon's page)
软件质量保障与测试
朱鸿,金凌紫
著
科学出版社,北京,1997
ISBN: 7-03-006124-1
Software Quality Assurance and Testing
by Hong Zhu and Lingzi Jin
Science Press, Beijing, 1997
(In Chinese)
Journals
Software
Testing, Verification and Reliability
Online ISSN: 1099-1689
Print ISSN: 0960-0833
Software Quality
Journal
ISSN: 0963-9314 (print)
1573-1367 (electronic)
Journal no. 11219, Springer US
ISSN:
1574-1702
International
Journal of Automation and Computing ISSN1476-8186
International
Transactions on Systems Science and Applications
ISSN
1751-1461 (Print)
ISSN
1751-147X (CD-ROM)
Journal
of Software ISSN
1000-9825
Photo Album
Look
at my online photo album filled with pictures took in various places in
the world.
|
Events and Call-for-Papers:
Call for Applications:
Undergraduate Student
Scholarship
An undergraduate student scholarship from the Reinvention Center is
now available to second year undergraduate students of Oxford Brookes University in
the fields of Computing, Computer Science, Software Engineering,
communications, electronics and
other related fields. The grant of £1700 plus £300 cost of
consumables will be provided to the student for taking part in a research project on
Autonomic Wireless Sensor Networks for Safety Enhancement in Public
Buildings for 10 weeks part time during semester plus 5 weeks full
time during summer vacation starting from the beginning of March 2010. The student will be
jointly supervised by Prof. Hong Zhu and Dr. Shumao Ou.
For more details about the scholarship click here for the
job description, and click here to download the application
form.
The deadline for application is 22 Feb. 2010.
Enquiries about the studentship should be sent to hzhu@brookes.ac.uk
Conferences and Workshops:
Submission website: http://www.easychair.org/conferences/?conf=ast2010
- QSIC 2010: 10th
International Conference on Quality Software, Zhangjiajie,
China, 14-15, July 2010.
Important dates:
- Deadline for workshop proposals: November 15, 2009;
- Notification of workshop proposals: January 4, 2010;
- Deadline for paper submission: December 20, 2009;
- Notification to authors: March 20, 2010;
- Deadline for camera-ready versions: May 5, 2010.
Submission website: http://www.easychair.org/conferences/?conf=qsic10
Important Dates:
- Paper
submission: December 24, 2009
- Notification
of Acceptance: January
31, 2010
- Camera
Ready Copy: March 6, 2010
- SEKE 2010: 22nd
International Conference on Software Engineering and Knowledge Engineering,
the Hotel Sofitel, Redwood City, California, USA, July 1-3, 2010.
Important dates:
- Paper submission due: March 2, 2010
- Notification of acceptance: April 15, 2010
- Camera-Ready Copy: May 10, 2010
- COMPSAC 2010: The
34th IEEE Annual International Computer Software and Applications
Conference, Seoul, Korea, July 19 - 23, 2010.
Important Dates:
For Main Conference:
- Jan 15, 2010: Main conference abstracts due
- Jan 31, 2010: Main conference full manuscripts
- Mar 23, 2010: Main conference author
notifications
For Workshops and
Panels:
- December 8, 2009: Workshop/Panel proposals due
- March 1, 2010: Workshop paper submissions due
- March 30, 2010: Workshop paper notifications
- Apr 30, 2010: All final manuscripts due for
main conference and workshops
Journal Special Issues:
|
