By Topic

Functional Specifications of Object Oriented Systems: A Model Driven Framework

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Sengupta, S. ; Jadavpur Univ., Kolkata ; Bhattacharya, S.

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 features of software systems pose greater challenges to people related to software industry as many traditional techniques remaining inadequate or inefficient for specifying functionalities of a software system. In this work we propose new methods and frameworks to help in specifying behavior of object-oriented software system more effectively during the different phases of development.

Published in:

Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International  (Volume:1 )

Date of Conference:

24-27 July 2007