The question “what is an interpretation?” often intertwined with the perhaps even harder a scientific theory?”. Given this proximity, we try to clarify first acquire some ground for latter. quarrel between syntactic and semantic conceptions of theories occupied large part scenario philosophy science in 20th century. For many authors, one two currents needed be victorious. We endorse that such d...

In Parnas et al advocate the use of relational model for doc umenting the intended behaviour of programs In this method tabular expres sions or tables are used to improve readability so that formal documentation can replace conventional documentation Parnas describes several classes of tables and provides their formal syntax and semantics In this paper an alternative more general and more homog...