1
Assuntos:
“...Engenharia de software...”
A process for sound conformance testing of cyber-physical systems
Dissertação
2
Assuntos:
“...Engenharia de software...”
Validating transformations of OO programs using the alloy analyzer
Tese
3
4
Assuntos:
“...Engenharia de software...”
Algebraic laws for object oriented programming with references
Tese
5
Assuntos:
“...Engenharia de software...”
Simulation of hybrid systems from natural language requirements
Dissertação
6
Assuntos:
“...Engenharia de software...”
Test automation from natural language with reusable capture & replay and consistency analysis
Dissertação
7
Assuntos:
“...Engenharia de software...”
Auto test generator: a framework to generate test cases from requirements in natural language
Dissertação
8
Assuntos:
“...Engenharia de software e linguagens de programação...”
Safe and constructive design with UML components
Tese
9
Assuntos:
“...Engenharia de software...”
NAT2TEST: generating test cases from natural language requirements based on CSP
Tese