Volume 8, no. 2 (March 2009)
Editorial
- Richard Wiener, Editorial, PDF, HTML, DOI.
Columns
- John D. McGregor, Variation Verification, pp. 7-14, PDF, HTML, DOI.
- Douglas Lyon, Creating Servlets with Intellij V8, pp. 15-28, PDF, HTML, DOI.
- Mahesh H. Dodani, The Silver Lining of Cloud Computing, pp. 29-38, PDF, HTML, DOI.
- Rex Cason II, Erik Larson, Jonathan Robertson, Jonathan Frisch, George Trice III, Lakshmi Prayaga, First Person Shooter Game, pp. 39-59, PDF, HTML, DOI.
- R. Sridaran, G. Padmavathi, K. Iyakutti, A Survey of Design Pattern Based Web Applications, pp. 61-70, PDF, HTML, DOI.
- Richard Wiener, WCF: A Case Study Involving a Distributed Client/Server Game, pp. 71-90, PDF, HTML, DOI.
Reviews
- Charles Ashbacher, The Gift of Time by Fiona Charles, Dorset House Publishing, New York, NY, 2008. 176 pp., $31.95(paper). ISBN 978-0-932633-75-0., pp. 91, PDF, HTML, DOI.
- Charles Ashbacher, Weinberg on Writing: The Fieldstone Method by Gerald M. Weinberg, Dorset House Publishing, New York, NY, 2006. 200 pp., $30.95 (paper). ISBN 978-0-932633-65-1., pp. 93-94, PDF, HTML, DOI.
Articles
- Fateh Boutekkouk, Mohammed Benmohammed, Sebastien Bilavarn, Michel Auguin, UML for Modelling and Performance Estimation of Embedded Systems, pp. 95-118, PDF, HTML, DOI.
- Farid Mokhati, Mourad Badri, Generating Maude Specifications From UML Use Case Diagrams, pp. 119-136, PDF, HTML, DOI.
- Toufik Taibi, Angel Herranz, Juan Jose Moreno-Navarro, Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker, pp. 137-161, PDF, HTML, DOI.
- Harshavardhan Jegadeesan, Sundar Balasubramaniam, A Model-driven Approach to Service Policies, pp. 163-186, PDF, HTML, DOI.
- Audrey Occello, Anne-Marie Dery-Pinna, Michel Riveill, Safety as a Service, pp. 187-207, PDF, HTML, DOI.