Conceptual Foundations of the Use of Formal Models and Methods for the Rapid Creation of Web Applications | IEEE Conference Publication | IEEE Xplore