Verification and validation for quality of UML 2.0 models /

Verification and validation for quality of UML 2.0 models /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Unhelkar, Bhuvan
Μορφή:	Βιβλίο
Γλώσσα:	Greek
Έκδοση:	Hoboken , NJ : John Wiley, c 2005
Θέματα:	Computer software COMPUTER SOFTWARE > VERIFICATION

Παρόμοια τεκμήρια

Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
Έκδοση: (2012)

Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Έκδοση: (2009)

Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Έκδοση: (2011)

Proceedings of the First International Workshop on Software Test Output Validation
Έκδοση: (2010)

Proceedings of the 2006 conference on Specification and verification of component-based systems
Έκδοση: (2006)

Proceedings of the 2005 conference on Specification and verification of component-based systems
Έκδοση: (2005)

Proceedings of the 2013 International Workshop on Quality Assurance for Service-based Applications
Έκδοση: (2013)

Proceedings of the 2nd Brazilian Symposium on Systematic and Automated Software Testing
Έκδοση: (2017)

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design
Έκδοση: (2017)

Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign
Έκδοση: (2012)

Proceedings of the 2014 International SPIN Symposium on Model Checking of Software
Έκδοση: (2014)

Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Έκδοση: (1989)

Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications
Έκδοση: (2008)

Proceedings of the Fourth ACM/IEEE International Conference on Formal Methods and Models for Co-Design
Έκδοση: (2006)

Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering
Έκδοση: (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
Έκδοση: (2007)

Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis
Έκδοση: (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)
Έκδοση: (2007)

Proceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign
Έκδοση: (2015)

Proceedings of the 1st International Workshop on Software Qualities and Their Dependencies
Έκδοση: (2018)

Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Έκδοση: (2002)

Proceedings of the 17th Brazilian Symposium on Software Quality
Έκδοση: (2018)

Proceedings of the 2007 workshop on Programming languages meets program verification
Έκδοση: (2007)

Proceedings of the sixth workshop on Programming languages meets program verification
Έκδοση: (2012)

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software
Έκδοση: (2017)

Proceedings of the Second ACM/IEEE International Conference on Formal Methods and Models for Co-Design
Έκδοση: (2004)

Proceedings of the Third Workshop on Behavioural Modelling
Έκδοση: (2011)

Proceedings of the 1st international workshop on Random testing
Έκδοση: (2006)

Proceedings of the Second International Workshop on Automation of Software Test
Έκδοση: (2007)

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Έκδοση: (2008)

Proceedings of the 19th international symposium on Software testing and analysis
Έκδοση: (2010)

Proceedings of the 2012 International Symposium on Software Testing and Analysis
Έκδοση: (2012)

Proceedings of the 2007 international symposium on Software testing and analysis
Έκδοση: (2007)

Proceedings of the 2015 International Symposium on Software Testing and Analysis
Έκδοση: (2015)

Proceedings of the 2011 International Symposium on Software Testing and Analysis
Έκδοση: (2011)

Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Έκδοση: (2004)

Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Έκδοση: (2000)

Proceedings of the 6th International Workshop on Automation of Software Test
Έκδοση: (2011)

Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Έκδοση: (2005)

Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Έκδοση: (2014)

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