Traceability of requirements and consistency verification of UML use case, activity and Class diagram: A Formal approach J Chanda, A Kanjilal, S Sengupta, S Bhattacharya 2009 Proceeding of International Conference on Methods and Models in …, 2009 | 74 | 2009 |
Formalization of UML use case diagram-a Z notation based approach S Sengupta, S Bhattacharya 2006 International Conference on Computing & Informatics, 1-6, 2006 | 51 | 2006 |
Formalization of UML diagrams and their consistency verification: AZ notation based approach S Sengupta, S Bhattacharya Proceedings of the 1st India software engineering conference, 151-152, 2008 | 32 | 2008 |
Measuring complexity of component based architecture: a graph based approach S Sengupta, A Kanjilal, S Bhattacharya ACM SIGSOFT Software Engineering Notes 36 (1), 1-10, 2011 | 29 | 2011 |
UML-compiler: a framework for syntactic and semantic verification of UML diagrams J Chanda, A Kanjilal, S Sengupta Distributed Computing and Internet Technology: 6th International Conference …, 2010 | 24 | 2010 |
Requirement traceability in software development process: an empirical approach S Sengupta, A Kanjilal, S Bhattacharya 2008 The 19th IEEE/IFIP International Symposium on Rapid System Prototyping …, 2008 | 19 | 2008 |
Adv-EARS: A formal requirements syntax for derivation of use case models D Majumdar, S Sengupta, A Kanjilal, S Bhattacharya Advances in Computing and Information Technology: First International …, 2011 | 17 | 2011 |
WSRM: a relational model for Web service discovery in enterprise cloud bus (ECB) G Khan, S Sengupta, A Sarkar 2014 3rd International Conference on Eco-friendly Computing and …, 2014 | 16 | 2014 |
Modeling of inter-cloud architecture using UML 2.0: multi-agent abstraction based approach G Khan, S Sengupta, A Sarkar, NC Debnath 23rd International Conference on Software Engineering and Data Engineering …, 2014 | 15 | 2014 |
Analysis of complexity of requirements: a metrics based approach A Kanjilal, S Sengupta, S Bhattacharya Proceedings of the 2nd India software engineering conference, 131-132, 2009 | 14 | 2009 |
Automated Requirements Modelling with Adv-EARS D Majumdar, S Sengupta, A Kanjilal, S Bhattacharya International Journal of Information Technology Convergence and Services 1 …, 2011 | 13 | 2011 |
CA-ESB: Context aware enterprise service bus J Chanda, S Sengupta, A Kanjilal, K India International Journal of Computer Applications 30 (3), 1-8, 2011 | 11 | 2011 |
Web service discovery in enterprise cloud bus framework: T vector based model G Khan, S Sengupta, A Sarkar, NC Debnath 2015 IEEE 13th International Conference on Industrial Informatics (INDIN …, 2015 | 10 | 2015 |
CAG: A Component Architecture Graph A Kanjilal, S Sengupta, S Bhattacharya TENCON 2008-2008 IEEE Region 10 Conference, 1-6, 2008 | 10 | 2008 |
Automated Translation of behavioral models using OCL and XML S Sengupta, A Kanjilal, S Bhattacharya TENCON 2005-2005 IEEE Region 10 Conference, 1-6, 2005 | 10 | 2005 |
Modeling of services and their collaboration in enterprise cloud bus (ECB) using UML 2.0 G Khan, S Sengupta, A Sarkar 2015 International Conference on Advances in Computer Engineering and …, 2015 | 8 | 2015 |
Formalization of functional requirements in software development process S Sengupta, S Bhattacharya Foundations of Computing and Decision Sciences 33 (1), 83-115, 2008 | 8 | 2008 |
Priority based service scheduling in enterprise cloud bus architecture G Khan, S Sengupta, A Sarkar IEEE international conference on foundations and frontiers in computer …, 2016 | 7 | 2016 |
Traceability between service component and class: a model based approach J Chanda, S Sengupta, A Kanjilal, S Bhattacharya ACM SIGSOFT Software Engineering Notes 37 (6), 1-5, 2012 | 7 | 2012 |
Dynamic Service Choreography using Context Aware Enterprise Service Bus. S Bhattacharya, J Chanda, S Sengupta, A Kanjilal SEKE, 319-324, 2011 | 7 | 2011 |