Citation: F. Barbier et B. Henderson-sellers, Object modelling languages: An evaluation and some key expectations for the future, ANN SOFTW E, 10, 2000, pp. 67-101
Citation: Hh. Ammar et al., A comparative analysis of hardware and software fault tolerance: Impact onsoftware reliability engineering, ANN SOFTW E, 10, 2000, pp. 103-150
Citation: Jjp. Tsai et K. Xu, A comparative study of formal verification techniques for software architecture specifications, ANN SOFTW E, 10, 2000, pp. 207-223