Automated validation & verification of UML/OCL models using satisfiability solvers /

Código QR

Automated validation & verification of UML/OCL models using satisfiability solvers /

Detalles Bibliográficos
Formato:	Libro
Publicado:	c2018.
Acceso en línea:	Ver documento en línea

Ejemplares similares

Verification and Validation of 3D Free-Surface Flow Models /
Publicado: (2008)

Computational methods in transport: verification and validation /
Publicado: (2008)

Are you satisfied? : citizen feedback and delivery of urban services /
por: Deichmann, Uwe
Publicado: (2003)

Use case driven object modeling with UML : theory and practice /
por: Rosenberg, Doug.
Publicado: (2007)

On the functional equations satisfied by Eisenstein series /
por: Langlands, Robert P. 1936-, et al.
Publicado: (1964)

Bridging constraint satisfaction and boolean satisfiability /
Publicado: (2015)

Verification and validation of software related to nuclear power plant instrumentation and control
Publicado: (1999)

An empirical validation of an automated genetic software effort prediction framework using the ISBSG Dataset /
por: Murillo-Morera, Juan

The problem solver
por: Sort-Rite

Automated technology for verification and analysis : 8th International Symposium, ATVA 2010, Singapore, september 21-24, 2010. Proceedings /
Publicado: (2010)

Automated technology for verification and analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, october 28–31, 2019, proceedings /
Publicado: (2019)

Automated technology for verification and analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, october 19–23, 2020, proceedings /
Publicado: (2020)

Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings /
Publicado: (2013)

Automated technology for verification and analysis : 13th International Symposium, ATVA 2015, Shanghai, China, october 12-15, 2015, proceedings /
Publicado: (2015)

Automated technology for verification and analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, october 17-20, 2016, proceedings /
Publicado: (2016)

Automated technology for verification and analysis : 15th International Symposium, ATVA 2017, Pune, India, october 3–6, 2017, Proceedings /
Publicado: (2017)

Automated technology for verification and analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, october 20-23, 2008. Proceedings /
Publicado: (2008)

Automated technology for verification and analysis : 7th International Symposium, ATVA 2009, Macao, China, october 14-16, 2009. Proceedings /
Publicado: (2009)

Automated technology for verification and analysis : 9th International Symposium, ATVA 2011, Taipei, Taiwan, october 11-14, 2011. Proceedings /
Publicado: (2010)

Automated technology for verification and analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, october 3-6, 2012. Proceedings /
Publicado: (2012)

Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings /
Publicado: (2017)

Azure automation using the arm model : an in-depth guide to automation with azure resource Manager /
Publicado: (2017)

Automated technology for verification and analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, november 3-7, 2014, proceedings /
Publicado: (2014)

Business standard compliance and requirements validation using goal models /
Publicado: (2020)

Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, october 7-10, 2018, proceedings /
Publicado: (2018)

Business modeling with UML : business patterns at work /
por: Eriksson, Hans-Erik
Publicado: (2000)

Business modeling with UML : business patterns at work /
por: Eriksson, Hans-Erik, 1961-
Publicado: (2000)

Program verification using Ada
por: McGettrick, Andrew D., et al.
Publicado: (1982)

Spanish problem solver /
por: Vogt, Eric W., et al.
Publicado: (2012)

The statistics problem solver /
por: Fogiel, Max
Publicado: (1978)

The calculus problem solver /
por: Weisbecker, Henry
Publicado: (1974)

Marketing problem solver /
por: Chase, Cochrane, et al.
Publicado: (1977)

Agile modeling with uml : Code Generation, Testing, Refactoring.

Agile modeling with UML : code generation, testing, refactoring /
por: Rumpe, Bernhard
Publicado: (2017)

Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings /
Publicado: (2017)

Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings /
Publicado: (2016)

Critical systems: formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017 Turin, Italy, September 18-20, 2017, Proceedings /
Publicado: (2017)

The pre-calculus problem solver
Publicado: (1984)

Linear Algebra. Problem Solvers.
Publicado: (2007)

Intermediate Accounting Problem Solver. /
por: Mansuetti, Leland
Publicado: (1989)