International Journal of Computer Aided Engineering and Technology (IJCAET)

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-320STORMKIT: a decision support tool for stormwater system analysis and design
Monzur A. Imteaz
DOI: 10.1504/IJCAET.2015.071294
321-347Conformance testing with ioco proxy-testers: application to web service compositions deployed in clouds
Sébastien Salva; Patrice Laurençot
DOI: 10.1504/IJCAET.2015.071295
348-377Formal testing theory of stochastic systems under maximality semantics
Kenza Bouaroudj; Djamel Eddine Saidouni; Ilhem Kitouni
DOI: 10.1504/IJCAET.2015.071296
378-400TGG-based process for automating the transformation of UML models towards B specifications
Seidali Rehab; Allaoua Chaoui
DOI: 10.1504/IJCAET.2015.071299
401-420Software development life cycle model to inculcate exception handling
Suburayan Velmourougan; Dhavachelvan Ponnurangam; Baskaran Ramachandran
DOI: 10.1504/IJCAET.2015.071300