28 August 2015

Special issue published: "Software Life Cycle Management Focusing on Validation in Software Applications"

International Journal of Computer Aided Engineering and Technology 7(3) 2015
  • STORMKIT: a decision support tool for stormwater system analysis and design
  • Conformance testing with ioco proxy-testers: application to web service compositions deployed in clouds
  • Formal testing theory of stochastic systems under maximality semantics
  • TGG-based process for automating the transformation of UML models towards B specifications
  • Software development life cycle model to inculcate exception handling

No comments: