|
|
All Technical Committee Conferences (Searched in: All Years)
|
|
Search Results: Conference Papers |
Conference Papers (Available on Advance Programs) (Sort by: Date Descending) |
|
Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS |
2007-08-02 17:00 |
Hokkaido |
Hokkaido Univ. |
A Case study - Design of Warehouse Management Program in JML and Verification with ESC/Java2 - Masayuki Owashi, Kozo Okano, Shinji Kusumoto (Osaka Univ.) SS2007-22 |
In the software development, the notion ``Design by Contract(DbC)'' has been recently obtained a lot of attentions.
In ... [more] |
SS2007-22 pp.37-42 |
NS, IN (Joint) |
2007-03-08 08:20 |
Okinawa |
Okinawa Convention Center |
Describing and Verifying Safety in Integrated Services of Home Network System by JML Ben Yan, Masahide Nakamura (NAIST), Lydie du Bousquet (Joseph Fourier Univ.), Ken-ichi Matsumoto (NAIST) NS2006-159 |
The recent ubiquitous technologies allow home electric appliances and sensors to be connected with local area network at... [more] |
NS2006-159 pp.7-12 |
IN, MoNA (Joint) |
2006-11-16 14:20 |
Kumamoto |
|
Considering Safety in Integrated Services in Home Network System Ben Yan, Masahide Nakamura (NAIST), Lydie du Bousquet (IMAG), Ken-ichi Matsumoto (NAIST) IN2006-97 |
The HNS (Home Network System) integrated service is to orchestrate multiple networked appliances to add value of user’s ... [more] |
IN2006-97 pp.49-54 |
|
|
|
Copyright and reproduction :
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)
|
[Return to Top Page]
[Return to IEICE Web Page]
|