WE1
Alloy
Syntax and semantics In Alloy everything is a set. Atoms are Alloy's primitive entities, they are...
Function Points
Function Points is a technique to measure the dimension of a software based on the functionalitie...
Symbolic Execution
A Symbolic state is made by the tuple: <path-condition, symbolic bindings>. A simple example of a...
Def-Use
Identify every time a variable is defined (modified) and used with that version, for example: 1 i...
Availability
Mean Time to Repair ($MTTR$): Average time between the occurrence of a fault and service recov...
JEE
Architecture Java EE platform suggests a distributed multitiered architecture model for enterpris...
Earned Value Analysis
Budget at completion ($BAC$): total budget for the project Planned value ($PV$): budgeted cost...
Critical Path Method
It is used to estimate the minimum project duration. This schedule network analysis technique cal...