Some Guidelines for Formal Development of Web-Based Applications in B-Method

@inproceedings{Rezazadeh2005SomeGF,
  title={Some Guidelines for Formal Development of Web-Based Applications in B-Method},
  author={Abdolbaghi Rezazadeh and Michael J. Butler},
  booktitle={ZB},
  year={2005}
}
Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores of mission-critical Web-based systems in different areas such as banking, finance, e-commerce and government. The development process of these systems needs a sound methodology, which ensures quality, consistency and integrity. Formal Methods provide systematic and quantifiable approaches to create coherent systems. Despite this… CONTINUE READING
Highly Cited
This paper has 17 citations. REVIEW CITATIONS

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-10 of 15 references

A Methodology for Integrating of Formal Methods in a Healthcare Case Study

  • P. Luigia
  • Technical Report 436, TUCS
  • 2001
1 Excerpt

Web Engineering, Software Engineering and Web Application Development

  • S. Murugesan, Y. Deshpande, eds.
  • Lecture Notes in Computer Science 2016, Springer
  • 2001
1 Excerpt

Similar Papers

Loading similar papers…