Repositorios 2

Abstracting Computer software 10 Behaviour models 8 Formal methods 8 Semantics 8 Specifications 8 Finite-state abstraction 6 Level of abstraction 6 Software engineering 6 Source codes 6 Abstract process 4 Alloy analyzers 4 Alloys 4 Black boxes 4 Bound variables 4 Branch coverage 4 Channel capacity 4 Classical logic 4 Code understanding 4 Compositional semantics 4 Concrete process 4 Conformance testing 4 Contour followers 4 Coverage criteria 4 Emergent behaviours 4 Finite model 4 Flattening operator 4 Formal Semantics 4 Full abstraction 4 Game theory 4