
International Journal of Computer Aided Engineering and Technology
2015 Vol.7 No.3
Special Issue on Software Life Cycle Management Focusing on Validation in Software Applications
Guest Editors: Dr. Varun Gupta, Dr. Chetna Gupta, Dr. Maneesha Srivastav, Professor Dr. Rolf Dornberger and Professor Dr. Thomas Hanne
![]() |
Pages | Title and author(s) |
305-320 | STORMKIT: a decision support tool for stormwater system analysis and designMonzur A. Imteaz DOI: 10.1504/IJCAET.2015.071294 |
321-347 | Conformance testing with ioco proxy-testers: application to web service compositions deployed in cloudsSébastien Salva; Patrice Laurençot DOI: 10.1504/IJCAET.2015.071295 |
348-377 | Formal testing theory of stochastic systems under maximality semanticsKenza Bouaroudj; Djamel Eddine Saidouni; Ilhem Kitouni DOI: 10.1504/IJCAET.2015.071296 |
378-400 | TGG-based process for automating the transformation of UML models towards B specificationsSeidali Rehab; Allaoua Chaoui DOI: 10.1504/IJCAET.2015.071299 |
401-420 | Software development life cycle model to inculcate exception handlingSuburayan Velmourougan; Dhavachelvan Ponnurangam; Baskaran Ramachandran DOI: 10.1504/IJCAET.2015.071300 |