| Title | Author Name | Vol. Issue NO. | Copy |
|
Preface
|
Tu Bao Ho,Zhi-Hua Zhou and Hiroshi Motoda
|
2009,3(1):1-2
|
|
|
State-Based Regression with Sensing and Knowledge
|
Richard Scherl,Tran Cao Son and Chitta Baral
|
2009,3(1):3-30
|
|
|
Temporal Data Mining for Educational Applications
|
Paul R. Cohen and Carole R. Beal
|
2009,3(1):31-46
|
|
|
Propositional Attitudes and Causation
|
Konstantine,Arkoudas and Bringsjord
|
2009,3(1):47-65
|
|
|
Verification of an Incremental Garbage Collector in Hoare-Style Logic
|
Chunxiao Lin,Yiyun Chen and and Bei Hua
|
2009,3(1):67-88
|
|
|
Secure—I*: Engineering Secure Software Systems through Social Analysis
|
Lin Liu,, Eric Yu and John Mylopoulos
|
2009,3(1):89-120
|
|
|
Editorial
|
Dines Bjφrner
|
2009,3(2):121-127
|
|
|
Designing and Analyzing a Flash File System with Alloy
|
Eunsuk Kang and Daniel Jackson
|
2009,3(2):129-148
|
|
|
Symbolic Bounded Model Checking of Abstract State Machines
|
Margus Veanes,Nikolaj Bjφrner,Yuri Gurevich and Wolfram Schulte
|
2009,3(2):149-170
|
|
|
Efficient Model Checking for Duration Calculus?
|
Martin Fr¨anzle1 and Michael R. Hansen2
|
2009,3(2):171-196
|
|
|
Refinement-Based Guidelines for Algorithmic Systems
|
Dominique Méry
|
2009,3(2):197-239
|
|
|
Developing a Domain Model for Relay Circuits
|
Anne E. Haxthausen
|
2009,3(2):241-272
|
|
|
Formal Verification of a Consensus Algorithm in the Heard-Of Model
|
Bernadette,Charron-Bost and Stephan Merz
|
2009,3(2):273-303
|
|
|
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
|
|
|
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
|
|
|
A Chain Datatype in Z
|
Leo Freitas and Jim Woodcock
|
2009,3(2):357-374
|
|
|
Fault-Based Conformance Testing in Practice
|
Martin Weiglhofer,Bernhard Aichernig and Franz Wotawa
|
2009,3(2):375-411
|
|
|
Preface
|
Hong Mei and Jian Lv
|
2009,3(4):413-414
|
|
|
Internetware Computing: Issues and Perspective
|
Wei-Tek Tsai,Zhi Jin and Xiaoying Bai
|
2009,3(4):415-438
|
|
|
SM@RT: Applying Architecture-Based Runtime Management into Internetware Systems
|
Gang Huang,Hui Song and Hong Mei
|
2009,3(4):439-464
|
|
