The ASM Method for System Design and Analysis. A Tutorial Introduction
We introduce into and survey the ASM method for highlevel system design and analysis. We explain the three notions|Abstract State Machine [37], ASM ground model (system blueprint) [7] and ASM refinement [8]|that characterize the method, which integrates also current validation and verification techniques.We illustrate how the method allows the system engineer to rigorously capture requirements by ASM ground models
Read more
VISUAL BASIC REVERSED - A decompiling approach
Frameworks are getting more and more popular today, Visual Basic is one of them. Personally i hate frameworks, and also most reversers do. So, why this tutorial? We can consider both the light and the dark side of the problem: frameworks usually put a lot of code in the compiled programs, so it becomes hard to find the way among all that jungle. But they also use sets of pre-built objects, so theese objects are always the same and can be recognized, helping the reverser to understand the code itself. In a VB PE you have a lot of information inside the exe, so you can easily extract all the information you need about all components of the program.
Read more