Functional Specifications of Object Oriented Systems: A Model Driven Framework

  title={Functional Specifications of Object Oriented Systems: A Model Driven Framework},
  author={Sabnam Sengupta and Swapan Bhattacharya},
  journal={31st Annual International Computer Software and Applications Conference (COMPSAC 2007)},
Functional specification of software systems has gained immense importance in the present competitive world of developing software more quickly, more efficiently and more accurately. Functional specification activity is carried out mainly at requirement specification and analysis stage and is continued in design phase as well. Formalization of functional specification along with consistency verification and automated execution constitutes some of the major domains of research. Object oriented… CONTINUE READING
2 Citations
51 References
Similar Papers


Publications citing this paper.
Showing 1-2 of 2 extracted citations


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

A Semantics for OCL Pre and PostConditions

  • Mark Richters, Martin Gogolla
  • Using DOM API of Xerces Parser Java Program 31st…
  • 2001
Highly Influential
3 Excerpts

Behavioral Specification of Object Oriented Systems using OCL

  • Sabnam Sengupta, Ananya Kanjilal, Swapan Bhattacharya
  • In the proceedings of RTET
  • 2006
1 Excerpt

Similar Papers

Loading similar papers…