TAXONOMY FOR SYMBOLIC ANALYSIS

Symbols for software engineering

PC

Program comprehension

RE

Reverse engineering

FE

Forward engineering

Pragmatics: Technology spaces for the methodology

Technoloy spaces

GW

GrammarWare

technology focusing on grammars.

MW

ModelWare

technology focusing on models

SW

SimulationWare

technology focusing on code simulation

KW

KnowledgeWare

technology focusing on knowledge capture

MaW

MaintenanceWare

technology focusing on maintenance

TW

ToolWare

technology focusing on tools

The semiotic triad

S

Symbol

O

Object, either Java object or a semiotic object

L

Logic, language

Main symbols of the methodology

T

Task, maintence task

P

Process, program understanding process

H

Hypothesis

Q

Query, question

A

Analysis

I

Interpretation

M

Model

Functional symbols for GW, MW, SW, and KW

E

Element of the model

Atom

Symbolic source code element, a software atom

Action

Computer action or human action

C

Computation: automatic simulation or manual inference

N

Grammar term

R

Rule, production rule, grammar rule

K

Knowledge (K0 = initial knowledge)

Symbols for grammars and automata, and the notation

B

State transition table of finite automata (usually Q is used)

SE

Side effect, any result generated from simulation

Symbolic

Domain specific language for abstracting Java etc

Clause

The main grammar term of the Symbolic language

TM

Turing machine

TM

Rule, production rule, grammar rule
Advertisements