Volume 3,Issue 2,2009 Table of Contents

   
Other Issues:  
  

Special Double Issue on Formal Methods of Program Development

Editorial
  Dines Bjφrner
  2009,3(2):121-127 [Abstract]  [View PDF(477.63 K)]
  
Designing and Analyzing a Flash File System with Alloy
  Eunsuk Kang and Daniel Jackson
  2009,3(2):129-148 [Abstract]  [View PDF(3.29 M)]
  
Symbolic Bounded Model Checking of Abstract State Machines
  Margus Veanes,Nikolaj Bjφrner,Yuri Gurevich and Wolfram Schulte
  2009,3(2):149-170 [Abstract]  [View PDF(1.28 M)]
  
Efficient Model Checking for Duration Calculus?
  Martin Fr¨anzle1 and Michael R. Hansen2
  2009,3(2):171-196 [Abstract]  [View PDF(3.39 M)]
  
Refinement-Based Guidelines for Algorithmic Systems
  Dominique Méry
  2009,3(2):197-239 [Abstract]  [View PDF(2.29 M)]
  
Developing a Domain Model for Relay Circuits
  Anne E. Haxthausen
  2009,3(2):241-272 [Abstract]  [View PDF(1.61 M)]
  
Formal Verification of a Consensus Algorithm in the Heard-Of Model
  Bernadette,Charron-Bost and Stephan Merz
  2009,3(2):273-303 [Abstract]  [View PDF(1.51 M)]
  
Methods for the Development of Distributed Real-Time Embedded Systems Using VDM
  Peter Gorm Larsen,John Fitzgerald and Sune Wolff
  2009,3(2):305-341 [Abstract]  [View PDF(1.78 M)]
  
The Application of VDM to the Industrial Development of Firmware for a Smart Card IC Chip
  Taro Kurita and Yasumasa Nakatsugawa
  2009,3(2):343-355 [Abstract]  [View PDF(736.78 K)]
  
A Chain Datatype in Z
  Leo Freitas and Jim Woodcock
  2009,3(2):357-374 [Abstract]  [View PDF(901.95 K)]
  
Fault-Based Conformance Testing in Practice
  Martin Weiglhofer,Bernhard Aichernig and Franz Wotawa
  2009,3(2):375-411 [Abstract]  [View PDF(1.94 M)]
  

 

 

more>>  
Visitor:1717247
Top Paper  |  FAQ  |  Guest Editors  |  Email Alert  |  Links  |  Copyright  |  Contact Us

© Copyright by Institute of Software, the Chinese Academy of Sciences
ICP: Jing ICP Bei No.10016592

京公网安备 11040202500065号