Verification and validation for quality of UML 2.0 models /

Verification and validation for quality of UML 2.0 models /

Bibliographic Details
Main Author:	Unhelkar, Bhuvan
Format:	Book
Language:	Greek
Published:	Hoboken , NJ : John Wiley, c 2005
Subjects:	Computer software COMPUTER SOFTWARE > VERIFICATION

Similar Items

Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
Published: (2012)

Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Published: (2009)

Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Published: (2011)

Proceedings of the First International Workshop on Software Test Output Validation
Published: (2010)

Proceedings of the 2006 conference on Specification and verification of component-based systems
Published: (2006)

Proceedings of the 2005 conference on Specification and verification of component-based systems
Published: (2005)

Proceedings of the 2013 International Workshop on Quality Assurance for Service-based Applications
Published: (2013)

Proceedings of the 2nd Brazilian Symposium on Systematic and Automated Software Testing
Published: (2017)

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design
Published: (2017)

Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign
Published: (2012)

Proceedings of the 2014 International SPIN Symposium on Model Checking of Software
Published: (2014)

Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Published: (1989)

Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications
Published: (2008)

Proceedings of the Fourth ACM/IEEE International Conference on Formal Methods and Models for Co-Design
Published: (2006)

Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering
Published: (2014)

Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
Published: (2007)

Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis
Published: (2014)

Proceedings of the 2nd international workshop on Random testing: co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007)
Published: (2007)

Proceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign
Published: (2015)

Proceedings of the 1st International Workshop on Software Qualities and Their Dependencies
Published: (2018)

Proceedings of the 17th Brazilian Symposium on Software Quality
Published: (2018)

Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Published: (2002)

Proceedings of the 2007 workshop on Programming languages meets program verification
Published: (2007)

Proceedings of the sixth workshop on Programming languages meets program verification
Published: (2012)

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software
Published: (2017)

Proceedings of the Second ACM/IEEE International Conference on Formal Methods and Models for Co-Design
Published: (2004)

Proceedings of the Third Workshop on Behavioural Modelling
Published: (2011)

Proceedings of the 1st international workshop on Random testing
Published: (2006)

Proceedings of the Second International Workshop on Automation of Software Test
Published: (2007)

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Published: (2008)

Proceedings of the 19th international symposium on Software testing and analysis
Published: (2010)

Proceedings of the 2012 International Symposium on Software Testing and Analysis
Published: (2012)

Proceedings of the 2007 international symposium on Software testing and analysis
Published: (2007)

Proceedings of the 2015 International Symposium on Software Testing and Analysis
Published: (2015)

Proceedings of the 2011 International Symposium on Software Testing and Analysis
Published: (2011)

Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Published: (2004)

Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Published: (2000)

Proceedings of the 6th International Workshop on Automation of Software Test
Published: (2011)

Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Published: (2005)

Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Published: (2014)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών