Volume 5, Issue 4 | Innovations in Systems and Software Engineering

Search all Innovations in Systems and Software Engineering articles

Volume 5, Issue 4

December 2009

Filter by

Volume:

Sort by

Date published:

New to old Old to new

5 articles in this issue

Software monitoring through formal specification animation
Hui Liang
Jin Song Dong
W. Eric Wong
Original Paper 05 August 2009 Pages: 231 - 241
Analysis of object-oriented software reliability model development
Norman F. Schneidewind
Original Paper 30 July 2009 Pages: 243 - 253
Use of a lightweight formal method to model the static aspects of state machines
Fernando Valles-Barajas
Original Paper 29 July 2009 Pages: 255 - 264
A dynamic capture–recapture model for software defect prediction
Robert Bucholz
Phillip A. Laplante
Original Paper 30 July 2009 Pages: 265 - 270
PTSC: probability, time and shared-variable concurrency
Huibiao Zhu
Shengchao Qin
Jonathan P. Bowen
Original Paper 11 August 2009 Pages: 271 - 284