Refine your Search
Author
Subject
Year
Document Type
Your search
1-7 from 7 results
(0.011 seconds)
-
Title: Detection of Anti-Patterns in the Control Flow of Collaborative Business ProcessesLanguage: InglésRepository: 37Subject: Ciencias Informáticas / soundness / correctness properties / Verification
-
Title: Verification and validation of domain specific languages using AlloyAuthor: Garis, Ana Gabriela / Sanchez, AlejandroLanguage: InglésRepository: 37
-
Title: A semi-automatic verification tool for software requirements specification documentsAuthor: Konig, Fabio / Ballejos, Luciana C. / Ale, Mariel AlejandraLanguage: InglésRepository: 37
-
Title: Practical verification strategy for refinement conditions in UML modelsAuthor: Pons, Claudia / García, DiegoLanguage: InglésRepository: 37Subject: Ciencias Informáticas / UML models / Verification / Language models
-
Title: Verification of Structured Processes: A Method Based on an Unsoundness ProfileLanguage: InglésRepository: 37Subject: Ciencias Informáticas / business process / soundness / correctness properties / Verification
-
Title: Model checking RAISE applicative specificationsAuthor: Perna, Juan I. / George, Chris W.Language: InglésRepository: 37Subject: Ciencias Informáticas / Model checking / Formal methods / Verification
-
Title: CCMini: a prototype of certifying compiler based on annotated abstract syntax treesAuthor: Bavera, Francisco / Nordio, Martín / Medel, Ricardo / Aguirre, Jorge / Baum, Gabriel AlfredoLanguage: InglésRepository: 37Subject: Ciencias Informáticas / Verification / Lenguajes de Programación / Compilers / Security
« Previous
1
Next »
SeDiCI Serivicio de Difusión de la Creación Intelectual
PrEBi Proyecto de Enlace de Bibliotecas
UNLP Universidad Nacional de La Plata
2003-2025 ©. Todos los derechos reservados conforme a la ley 11.723