Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Software requirements
Alloy analyzers
2
Alloys
2
Computer software
2
Engineering
2
Engineering education
2
Feature extraction
2
Formal methods
2
Goal models
2
Goal-oriented
2
Goal-oriented requirements engineering
2
Inductive learning
2
Iterative process
2
Lightweight formal methods
2
Model checking
2
Networking domain
2
Non-trivial
2
Operational requirements
2
Program debugging
2
Proof steps
2
Requirements engineering
2
Scenarios
2
Theorem provers
2
Theorem proving
2
Unsat cores
2
Verification
2
Applications and expert systems
1
Computer Programming
1
Computer Programming Technician
1
Crowdsourcing
1
-
1por Facultad de Ingeniería y Tecnología Informática
Publicado 2015Aportado por: Repositorio Institucional - Universidad de Belgrano (UB)Learning Object -
2
-
3
-
4
-
5
-
6por Garigliotti, Darío
Publicado 2024Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
7