INFO4MYSTREY , Best Mark Mystery

Automatic program transformation and generative programming aimed at increasing programmer productivity by automating the programming tasks using some sort of automatic program generation or transformation, such as code generation from a domain-specific language, aspect weaving, optimization, specialization or a generic program in a specific context. Key to achieving this goal is the construction of tools to automate transformations do. If generative programming has become a staple part of the process of software engineering, the construction of generative instrument themselves become automated as possible. It requires an infrastructure with support for common tasks in the construction of the transformation of the system. The top is actually changing systems such as compilers and language extensions, static analysis tools, and aspect weavers. These functions are implemented as tool compositions from the lower layers expanded to include part of the implementation of certain transfo...

Program analysis refers to the problem of static prediction of the properties of the dynamic performances of the program. There are different type based analyses. ·          Lexical analysis: Lexical analysis of phrases of different languages can be handled automatically using dictionaries and parallel compilation, by request translation regular semantic knowledge of the source and target language, especially when a word in the source sentence unusual, unclear or unknown to the translator, we can still make use of natural language understanding to distract the rest of the terms of use of the word and attempt to analyze because lexical relations. ·          Syntax Analysis: Syntactic aspects of the language that we cover how to construct correct sentences and shallow rules governing the organization, namely with regard to grammar and the architectural relationships between words. ·    ...

System type is a set of values that share a common structure, operation and other characteristics. One type of system is a detail how type is set value. Type safety is prevention some classes of programming errors, desired property of a programming language.   Many of the recently published standards for safety critical software require the use of strongly typed programming language. Through the years developed a wide variety of systems and found their way to commercial success language. A security-typed language provides overall display groups of data security not only in certain areas but during the period of calculation. To the extent that a system can be described if a program or a set of communication programs written in a security typed language, the architectural nature of the type of system increases this protection the whole system. The main purpose of a type of system is the occurrence of errors during execution prevention the implementation of a program. This casual...

Formal semantics is concerned with the description of the program definition operational, communicational and fundamental specifications. It improves our understanding of both new and well known programming constructs and provides a standard for implementation and a basis for assessment and verification procedures program transformation. There are seven places where a semantic description of utility. ·          The semantics are the product of the programming language design, and includes and communicates the decisions of designers. This process should include designer’s decisions on specific language structures and known omissions and irregularities were made overall design. ·          During the implementation language, Semantics is useful in providing the proper behaviour implementation. The semantics should communicate fully and exactly the executors of the intentions of the designers. ·  ...

Many regular programming have components developed from this field. For example: Performance:   Inspired by the idea of λ-abstraction and everywhere in modern programming language. Modern programming languages include the concept methods in their semantics. Performances that to be seen as individualistic programs that can interact with the main program. Consequently, they can be operated as a unit and large procedures can be built up from smaller ones. This is an impressive way to manage complex software systems. Iterations: Primitive iteration (for loops) and general recursion (while loops) was introduced Recursion theory, but the universal modern high-level language. Recursion theory about the basic concept of what subsets of natural number or other known countable domain can be specify, and how effectively complex so defined set. The basic concept is recursive and recursively calculable sets, but the world of the range studied in recursion theory continues these sets. Th...

Vygotsky’s Background ·         "Mozarts psychology" ·         Lev Semonovich Vygotsky was born in Western Russia on November 5, 1986. His father, Semi L'vovich, founded the Society of Education in Gomel, and possessed a wide range of active interests, including foreign languages, history, literature, theater and art. His mother was taught as a teacher. ·         In 1917 he graduated from Moscow University with a degree in law. ·         Vygotsky completed 270 scientific articles, many, lectures and 10 books based on a wide range of Marxist and mental theories. ·         He is considered a successful psychologist and much of his work has been discovered and explored today. Introduction          ·         Vygotsky Theory is that social inte...

Cattell was born in 1905 and witnessed the arrival of countless inventions from the 20th century, such as electricity, telephones, cars and airplanes. He is inspired by these creations and eager to apply the scientific methods used to make the discoveries of the human spirit and personality. In his opinion, personality is not only an incomprehensible and unconscious mystery. It is something that can be studied well. By means of scientific research, human characteristics and behaviors can then be predicted on the basis of the underlying characteristics of the person. Cattell (1965) disagreed with Eysenck's view that personality can be understood by looking at two or three dimensions of behavior. Instead, he learned that it is necessary to look at a greater number of characteristics to get a complete picture of someone's personality.   Based on these 16 factors, he has made a character assessment with the name 16PF. Instead of a characteristic that is present or absent, e...

Eysenck (1952, 1967, 1982) developed a very influential personality model. Based on the results of the factor analysis in response to personality questionnaires, he identified the three personality dimensions: extraversion, neuroticism and psychoticism. In the 1940s, Eysenck worked in a psychiatric hospital in Maudsley in London. His job was to make a first assessment of each patient before their psychological illness was diagnosed by a psychiatrist. Through this function, he had a series of questions about behavior, which he later applied to 700 soldiers considered for neurotic disorders in the hospital (1947). He discovered that the answers of the soldiers seemed to connect with one another in a natural way, suggesting that there were many different character traits expressed by the soldiers' responses. He called these personality traits in the first order He used a technique called factor analysis. This method limits behavior to a number of factors that can be separated...