Blahoslav Hečko. L'uomo, il teorico, il traduttore

Questo elaborato finale riguarda la figura del teorico e traduttore slovacco Blahoslav Hečko. I primi capitoli contengono una breve descrizione della sua vita e delle sue opere sulla teoria della traduzione ("Nehádžte perly sviniam" e "Dobrodružstvo prekladu"). Il resto della tesi si concentra sulla traduzione verso lo slovacco del libro per l'infanzia di Gianni Rodari "Le avventure di Cipollino". La parte più corposa è rappresentata proprio dal commento analitico alla traduzione. Sono stati selezionati cinque capitoli del libro di Rodari in base alla presenza di sfide traduttive particolarmente interessanti e si è prestata particolare attenzione alla resa dei nomi propri, dei modi di dire e dei realia italiani. Nel confrontare il testo originale e la traduzione si è cercato di spiegare le scelte del traduttore attraverso annotazioni grammaticali e approfondimenti di carattere culturale, in alcuni casi sono state avanzate proposte alternative.

A Unified Approach to Automatic Testing of Architectural Constraints

Architectural decisions are often encoded in the form of constraints and guidelines. Non-functional requirements can be ensured by checking the conformance of the implementation against this kind of invariant. Conformance checking is often a costly and error-prone process that involves the use of multiple tools, differing in effectiveness, complexity and scope of applicability. To reduce the overall effort entailed by this activity, we propose a novel approach that supports verification of human- readable declarative rules through the use of adapted off-the-shelf tools. Our approach consists of a rule specification DSL, called Dicto, and a tool coordination framework, called Probo. The approach has been implemented in a soon to be evaluated prototype.

A Unified Approach to Architecture Conformance Checking

Software erosion can be controlled by periodically checking for consistency between the de facto architecture and its theoretical counterpart. Studies show that this process is often not automated and that developers still rely heavily on manual reviews, despite the availability of a large number of tools. This is partially due to the high cost involved in setting up and maintaining tool-specific and incompatible test specifications that replicate otherwise documented invariants. To reduce this cost, our approach consists in unifying the functionality provided by existing tools under the umbrella of a common business-readable DSL. By using a declarative language, we are able to write tool-agnostic rules that are simple enough to be understood by non-technical stakeholders and, at the same time, can be interpreted as a rigorous specification for checking architecture conformance

On the Evaluation of a DSL for Architectural Consistency Checking

Software architecture erodes over time and needs to be constantly monitored to be kept consistent with its original intended design. Consistency is rarely monitored using automated techniques. The cost associated to such an activity is typically not considered proportional to its benefits. To improve this situation, we propose Dicto, a uniform DSL for specifying architectural invariants. This language is designed to reduce the cost of consistency checking by offering a framework in which existing validation tools can be matched to newly-defined language constructs. In this paper we discuss how such a DSL can be qualitatively and qualitatively evaluated in practice.

Polymorphism in the Spotlight: Studying its Prevalence in Java and Smalltalk

Subtype polymorphism is a cornerstone of object-oriented programming. By hiding variability in behavior behind a uniform interface, polymorphism decouples clients from providers and thus enables genericity, modularity and extensi- bility. At the same time, however, it scatters the implementation of the behavior over multiple classes thus potentially hampering program comprehension. The extent to which polymorphism is used in real programs and the impact of polymorphism on program comprehension are not very well understood. We report on a preliminary study of the prevalence of polymorphism in several hundred open source software systems written in Smalltalk, one of the oldest object-oriented programming languages, and in Java, one of the most widespread ones. Although a large portion of the call sites in these systems are polymorphic, a majority have a small number of potential candidates. Smalltalk uses polymorphism to a much greater extent than Java. We discuss how these findings can be used as input for more detailed studies in program comprehension and for better developer support in the IDE.

Descrittione del Regno di Napoli : diuiso in dodeci prouincie, nella quale con breuità si tratta della fedelissima città di Napoli, e dele cose più notabili di essa, e delle città e terre più illustri del Regno, con le famiglie nobili, non solo di quella, ma dell'altre città di esso Regno : con i vescouadi, & arciuescouadi, e santi, che sono in esso ... /

Includes indexes.

Milano nell'arte e nella storia.

Mode of access: Internet.

Della Architettura : Libri Dieci /

Mode of access: Internet.

Prediche de frate Roberto vulgare nouamente hystoriate [et] corepte secundo li Euangelii che se contengono in le ditte prediche.

Mode of access: Internet.

Johannis Baptistae Caraccioli ... De lineis curvis liber.

ICCU,

Prodigiosa vida del muy ilustre varón y extático heroe comunmente conocido por el P. de la Caridad y por el Predicador del Amor de Dios, el B.P. Francisco Caraciolo, fundador de la sagrada orden de los Clérigos Menores /

Mode of access: Internet.

Biga illustrium controuersiarum ... /

Contiene según consta en port.: I. De S. Iacobi Apostoli accessu ad Hispaniam ; II. De funere S. Martini a S. Ambrosio procurato.

Le couvent de Baïano : chronique du seizième extraite des archives de Naples /

Notes, p. [235]-258 typesigned at end, M. de Stendhall [sic.].

Omaggio funebre alla memoria di Ferdinando I, re del regno delle due Sicilie.

Mode of access: Internet.