Sharif Digital Repository

Software Reuse, the use of (pre)existing artifacts to create new systems, can reduce development costs and improve software quality and productivity. With a primary investment, Software Product Line facilitates a systematic reuse of the common parts of an specific domain in developing similar systems of that domain. On the Contrary, Agile Methods who value working software over comprehensive documentations and such investments is not done, lack reuse in developing similar systems. Here the question arises: why do we completely or almost miss such reuse when the only focus is on creating working software? When such investments or additional works like documentation are not done? Is there any... 

Mathematical logic claims to have a model for various kinds of thinking (mathematical, philosophical, scientific and...) which can provide us with a language at the same time. The relation between art and logic, when art is defined on its own, is somewhat unexplored, as opposed to when it's defined scientifically or philosophically. There are arguments in the literature asserting that art cannot fit into the frame of mathematical logic. The inter-connection between thinking and art has been fairly investigated, even though it's been mainly believed that art is more engaged with emotions rather than rationality; thinking about artistic value, artistic credibility, proof in art, etc... It's...