http://biblioteca.universia.net/vernivel.do?start=240&nivel=1203.17 Mostrando recursos 241 - 260 de 13,650 es http://biblioteca.universia.net/img/logotipo.jpg http://biblioteca.universia.net/ http://biblioteca.universia.net/ficha.do?id=38294945 Baldo, Guillermo; Facultad de Informática http://biblioteca.universia.net/ficha.do?id=38294959 Arámburu, Fernando; Facultad de Informática http://biblioteca.universia.net/ficha.do?id=38295112 Andriano, Natalia.; Facultad de Informática http://biblioteca.universia.net/ficha.do?id=38295126 Mauco, Virginia; Facultad de Informática http://biblioteca.universia.net/ficha.do?id=38295159 Facultad de Informática; Kleiman, Diana http://biblioteca.universia.net/ficha.do?id=38561534 Pinyot i Garriga, Anna http://biblioteca.universia.net/ficha.do?id=38294844 Champredonde, Raúl; Facultad de Ciencias Exactas http://biblioteca.universia.net/ficha.do?id=37746288 -, - http://biblioteca.universia.net/ficha.do?id=49023939 Sales Porta, Ton http://biblioteca.universia.net/ficha.do?id=37659384 - http://biblioteca.universia.net/ficha.do?id=41783034 This paper introduces a logic for a class of properties - in particular variable aliasing - used in static analysis of logic programs. The logic is shown to be sound, complete and decidable. Moreover, it is illustrated how this logic can be applied to automatize some parts of the reasoning when proving the partial correctness of a logic program. 1991 Mathematics Subject Classification: 68Q40, 68Q60, 68T15. 1991 CR Categories: F.3.1, F.4.1, I.2.3. Keywords and Phrases: Properties of substituti... E. Marchiori,Elena Marchiori http://biblioteca.universia.net/ficha.do?id=41880956 Algebraic specifications of programming languages can be used to generate language-specific programming support tools. Some of these can be obtained in a straightforward way by executing language specifications as term rewriting systems. More advanced tools can be obtained if the term rewriting machinery is extended with origin tracking . Origin tracking is a technique which automatically establishes a relation between subterms of the result value (normal form) and their origins , which are s... A. Van Deursen,Arie Van Deursen http://biblioteca.universia.net/ficha.do?id=41887675 Higher-order algebraic specification is a synthesis of first-order algebraic specification and higher-order functional programming which is both logically appealing as well as considerably more expressive than its two predecessors. To illustrate this, we describe the static semantics of a simple block-structured programming language using secondorder equations in addition to first-order ones. The specification has a highly non-deterministic character and does not use a type environment. Furth... J. Heering http://biblioteca.universia.net/ficha.do?id=41888769 We consider the complex zeros with respect to z of the incomplete gamma functions fl(a; z) and Gamma(a; z), with a real and positive. In particular we are interested in the case that a is large. The zeros are obtained from approximations that are computed by using uniform asymptotic expansions of the incomplete gamma functions. The complex zeros of the complementary error function are used as a first approximations. Applications are discussed for the zeros of the partial sums s n (z) = P n j=... N. M. Temme http://biblioteca.universia.net/ficha.do?id=41961492 We investigate the relationship between reverse engineering and program comprehension on the one hand, and software process on the other. To understand this relationship, we select one particular existing software process, extreme programming (XP), and study the role played in it by program comprehension and reverse engineering. To that end, we analyze five key XP practices in depth: pair programming, unit testing, refactoring, evolutionary design, and collaborative planning. A. Van Deursen,Arie Van Deursen http://biblioteca.universia.net/ficha.do?id=42051518 The current state of semi-automated facial animation demands better understanding of how facial expressions are produced by real people. As a first step of a series of empirical studies, we investigated snapshots of facial expressions of the six basic emotions, produced by 18 subjects in `out of context' sessions. The MPEG-4 coded vectors were analysed on principal components and canonical variates, which served as a basis to draw conclusions about the (for the negative emotions: lack of) gen... J. Hendrix http://biblioteca.universia.net/ficha.do?id=42079108 In the last ten years we have developed and experimented in a series of projects, including industry test cases, a method for the specification of reactive/concurrent/parallel/distributed systems both at the requirement and at the design level. We present here in outline its main technical features, providing pointers to appropriate references for more detailed presentations of single aspects, applications and documentation. E. Astesiano,G. Reggio http://biblioteca.universia.net/ficha.do?id=42087366 In this paper we investigate factors of the testability of object-oriented software systems. The starting point is given by a study of the literature to obtain both an initial model of testability and existing OO metrics related to testability. Subsequently, these metrics are evaluated by means of two case studies of large Java systems for which JUnit test cases exist. The goal of this paper is to define and evaluate a set of metrics that can be used to assess the testability of the classes o... M. Bruntink,A. Van Deursen http://biblioteca.universia.net/ficha.do?id=42092667 We introduce the notion of "generative software complexity" to illustrate some of the problems one may run into when trying to tackle a special case of a question recently raised by Brooks. J. Heering http://biblioteca.universia.net/ficha.do?id=42113772 Due to the growing amount of information on the web, the user specific requirements and different characteristics of output devices, the opportunities for the automatic generation of multimedia presentations grow. The multimedia presentation generator, that resides in a dynamic environment, such as a museum website, where the user requirements, presentation device characteristics, presentation content and the domain characteristics are not known in advance, needs to be able to compose a prese... Amit Manniesing