[goto Japanese Page] | [goto Events Page] | [goto SEA Home Page (www.sea.jp)]
-------------------------------------------------------------2006/11/22--
SEA International Forum on November
Methodology, Process and Modeling
"Modeling for making High Reliable Software"
Hosted by: Software Engineers Association (SEA) Japan
http://www.sea.jp/index-e.html
Suported by: Information Technology Standards Commission (ITSCJ)
at Information Processing Society of Japan (IPSJ)
http://www.ipsj.or.jp/english/somu/gakkai_annai_e.html
-------------------------------------------------------------------------
1. Date: Monday 27 Nov. 2006 13:00-18:00
2. Programme
13:00-13:30 Registration and Networking
13:30-13:50 Software development supported by Standards
Intoroduction of the activities of ISO/IEC JTC1/SC7
Kazunori SHIOYA, SRA-KTL, Inc., SC7/WG19
http://www.sra-ktl.co.jp/index-e.html
13:50-14:40 Finet State Machine and (3D) Modeling
for Reactive System for reliable life
Masao Ito, Nil Software Co.
http://www.nilsoft.com/English/index-e.html
14:40-14:50 break
14:50-15:40 Software Process Modeling & Development Environments
Hajimu Iida, Ph.D., Professor
Graduate School of Information Science / Information Technology Center,
Nara Institiute of Science and Technology
http://itcw3.naist.jp/~iida/
15:40-15:50 break
15:50-16:40 High-level Petri Nets for Formal Modelling
and Verification of Distributed Systems
Jonathan Billington, Ph.D.,
Professor of Computer Systems Engineering
Director, Computer Systems Engineering Centre
School of Electrical and Information Engineering
Division of Information Technology, Engineering and the Environment
University of South Australia
http://www.unisa.edu.au/CSEC
References:
Petri nets: http://www.informatik.uni-hamburg.de/TGI/PetriNets/
ISO/IEC 15909-1, Software and Systems Engineering
- High-level Petri Nets -
Concepts, Definitions and Graphical Notation,
ISO standard, December 2004.
16:40-16:50 break
16:50-17:50 Panel on "Modeling for making High Reliable Software"
Coordinator: Kazunori SHIOYA (SRA-KTL,Inc., SC7./WG19, SEA)
Panelists:
Prof. Jonathan Billington (Uni-SA),
Prof. Hajimu Iida (NAIST)
Mr. Masao Ito (Nil software)
=============================================================================
* The programme and topics are all tentative and will change by
suggestions/requests/proposals from the speakers and audiences.
3. Venue: HEARTPIA Kyoto http://www.heartpiakyoto.jp/ (in Japanese)
375 Shimizu-cho, NakaGyo-ku, Kyoto (near Kyoto Palace)
TEL 075-222-1777 / FAX 075-222-1778
From JR-Kyoto station, take a subway Karasuma line bound
for Kokusaikaikan. Get off the train at Marutamachi stn.
and walk in to Ext 5 to the venue HEARTPIA.
It takes about 7 minutes(!) to the venue.
http://www.planetkyoto.com/nils/archives/images/subwaymap.html
[1] ISO/IEC JTC1/SC7 Projects:
http://www.iso.org/iso/en/CatalogueListPage.CatalogueList?COMMID=40&scopelist=
4. Attendees: limits 20 persons
5. Fees: SEA member \3,000yen (students also)
SEA affiliates \4,000yen (IPSJ members / ITSCJ affiliates also)
Others \5,000yen
6. How to apply:
Fill in the attached entry form and e-mail it to the SEA office
at "sea @ sea . or . jp" . Will be confirmed via e-mail reply.
Only plain text in English or Japanese are accepted.
* No attachements nor HTMLs.
Show the copy of the confirmation e-mail at the reception desk
and pay the fee in cash only.
Will issue the receipt for the payments.
---------------------------------------------------------------------
SEA International Forum Nov. (11/27 @ HEARTPIA) Application (2006/__/__)
deadline: 24 Nov. *extended*
Name: _______________________________________
Affiliation: ________________________________________________________
Postal address: _____________________________________________________
Telephone/Facsimile: ________________ / _____________________
E-mail: _____________________________
Type: (Check and fill in)
__ SEA member (No: _________)
__ SEA affiliates (Organization: ___________________________)
__ IPSJ members (No: __________)
__ students (show ID at the reception desk)
__ Others
How did you know this events?
__ by announcements from SEA
__ by SEA Web Page (http://www.sea.jp)
__ by announcements from IPA-SEC
__ by announcements from IPSJ/ITSCJ
__ by mailing-list (ML name: _________________________)
__ Others (from friends, etc): ___________________________
*Note: SEA affiliates listing: http://www.sea.jp/sanjo.txt
Comments or requests for the forum:
________________________________________________________________________
________________________________________________________________________
________________________________________________________________________
________________________________________________________________________
------( Mail to: sea @ sea . or . jp -Plain text mail only. )--20061122--
==========================================================================
Go to SEA Home Page (www.sea.jp)