Journal cover image

Browse issues


Vol. 9
Vol. 8
Vol. 7
Vol. 6
Vol. 5
Vol. 4
Vol. 3
Vol. 2
Vol. 1

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

 

Editorial
PagesTitle and authors
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