241.
Construcción colaborativa de ontologías CO-Protegé
- Baldo, Guillermo; Facultad de Informática
242.
WMVC Framework: Un framework MVC para el desarrollo de aplicaciones web y mobile en .Net
- Arámburu, Fernando; Facultad de Informática
243.
Comparación del Proceso de Elicitación de Requerimientos en el Desarrollo de Software a Medida y Empaquetado. Propuestas de Métricas para la Elicitación
- Andriano, Natalia.; Facultad de Informática
244.
Una técnica para una especificación inicial en RSL
- Mauco, Virginia; Facultad de Informática
245.
Reestructuración de temas de Análisis Matemático V para Matemática D y E, Facultad de Ingeniería, UNLP
- Facultad de Informática; Kleiman, Diana
246.
Sistema informàtic per a la gestió d'un centre de plagiocefàlia
- Pinyot i Garriga, Anna
247.
Visual Da Vinci: Lenguaje y ambiente visual para la enseñanza de programación en el curso de ingreso y en el primer año de las carreras de Informática
- Champredonde, Raúl; Facultad de Ciencias Exactas
248.
El Modo Proyecto: Como tomar decisiones estratégicas mediante la informática
- -, -
249.
Ramon LLull, un informàtic sense saber-ho
- Sales Porta, Ton
250.
I Jornadas de Informática Educativa
- -
251.
Centrum voor Wiskunde en Informatica
- E. Marchiori,Elena Marchiori
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 substitutions, static analysis of logic programs.
Notes: This research was partly supported by Esprit BRA 6810 (Compulog 2). This paper will
appear (in a sligthly different version) in: Proceedings of the...
252.
Centrum voor Wiskunde en Informatica
- A. Van Deursen,Arie Van Deursen
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 subterms of the initial term.
For specifications having a syntax-directed nature, as formalized by the class of so-called primitive
recursive schemes, high-quality origins can be established. The definition, properties, extensions, and
implementation of these...
253.
Centrum voor Wiskunde en Informatica
- J. Heering
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.
Furthermore, it supports error recovery and early detection of
errors in incomplete programs.
1991 Mathematics Subject Classification: 68Q65 [Theory of computing
]: Abstract data types; algebraic specification.
1991 CR Categories: F.3.2 [Logics and meanings of programs]:
Semantics of programming languages - Algebraic approaches to semantics.
Key Words &...
254.
Centrum voor Wiskunde en Informatica
- N. M. Temme
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=0 z
j
=j! of exp(z).
1991 Mathematics Subject Classification: 33B15, 33B20, 41A60, 65U05.
Keywords & Phrases: incomplete gamma functions, zeros of incomplete gamma functions,
error function,...
255.
Centrum voor Wiskunde en Informatica
- A. Van Deursen,Arie Van Deursen
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.
256.
Centrum voor Wiskunde en Informatica
- J. Hendrix
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) generic characteristics of
the six emotions and their mutual distances. Our results are compared to ones obtained by facial image
analysis and human perception researchers.
257.
Acta Informatica manuscript No.
- E. Astesiano,G. Reggio
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.
258.
Centrum voor Wiskunde en Informatica
- M. Bruntink,A. Van Deursen
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 of a Java system.
259.
Centrum voor Wiskunde en Informatica
- J. Heering
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.
260.
Centrum voor Wiskunde en Informatica
- Amit Manniesing
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 presentation. With respect to stylistic design, graphic
designers can create a template providing stylistic aspects, but as soon as any of the dynamic
attributes of the system change this can result in the need for redesign. We...
