Author:
Honiden Shinichi,Taguchi Kenji,Yoshioka Nobukazu,Tahara Yasuyuki,Washizaki Hironori
Publisher
Institute of Image Information and Television Engineers
Subject
Electrical and Electronic Engineering,Computer Science Applications,Media Technology
Reference11 articles.
1. 1) S.Honiden,Y.Tahara,N.Yoshioka,K.Taguchi and H.Washizaki:"Top SE:Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan",Proc.of ICSE 2007,pp.708-717(2007)
2. 2) G.J.Holzmann:"The SPIN Model Checker:Primer and Reference MManual",Addison Wesley(2004)
3. 3) J.Magee and J.Kramer:"Concurrency:State Models & Java Programs,Second Edition",John Wiley & Sons(2006)
4. 4) K.L.McMillan:"Symbolic Model Checking",Kluwer Academic Publishers,Norwell,MA,USA(1993)
5. 5) K.Beckman,N.Coulter,S.Khajenoori,and N.R.Mead:"Collaborations:Closing the Industry-academia Gap",IEEE Software Engineering,14,6,pp.49-57(1997)