Editorial
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.