Search

Your search keyword '"Scollo, Giuseppe"' showing total 72 results
Start Over Author "Scollo, Giuseppe" Language english
72 results on '"Scollo, Giuseppe"'

1. Cooperative Project-Based Learning in a Web-Based Software Engineering Course

Author

Piccinini, Nicola and Scollo, Giuseppe

Abstract

Even in self-organized project-based learning, the instructors' role re-mains critical, especially in the initial orientation provided to the students in order to grasp the educational goals and the various roles they may undertake to achieve them. In this paper we survey a few questions proposed to that purpose in a web-based software engineering course, together with relevant answers, we outline the project set-up methodology aimed at providing students with that initial orientation in the laboratory part of the course, we collect a few empirical data out of the latest seven-year history of the course and, finally, we put the presented work in the context of current approaches to software engineering education and draw brief conclusions. (Contains 3 tables.)

Published
2006

9. An integration of Euler's pentagonal partition

Author

Scollo, Giuseppe

Subjects
FOS: Computer and information sciences, Mathematics::Combinatorics, Discrete Mathematics (cs.DM), Mathematics - Number Theory, FOS: Mathematics, Mathematics - Combinatorics, Combinatorics (math.CO), Number Theory (math.NT), 05A17 (Primary) 11P81, 11P82, 11P83 (Secondary), Computer Science - Discrete Mathematics
Abstract

A recurrent formula is presented, for the enumeration of the compositions of positive integers as sums over multisets of positive integers, that closely resembles Euler's recurrence based on the pentagonal numbers, but where the coefficients result from a discrete integration of Euler's coefficients. Both a bijective proof and one based on generating functions show the equivalence of the subject recurrences., 22 pages, 2 figures. The recurrence investigated in this paper is essentially that proposed in Exercise 5.2.3 of Igor Pak's "Partition bijections, a survey", Ramanujan J. 12 (2006), but casted in a different form and, perhaps more interestingly, endowed with a bijective proof which arises from a construction by induction on maximal parts

Published
2010

17. On the engineering of logics

Author

Scollo, Giuseppe and Nijholt, Anton

Subjects
Informatica, HMI-IE: Information Engineering, Logica
Published
1993

18. A soft stairway to institutions

Author

Salibra, Antonino, Scollo, Giuseppe, Bidoit, Michel, and Choppy, Christine

Subjects
Computer science, Model transformation, Partial algebra, Type (model theory), Algebra, Compact space, Morphism, Computer Science::Logic in Computer Science, Institution (computer science), ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, Algebraic number, Equational logic, Algorithm, computer, computer.programming_language
Abstract

The notion of institution is dissected into somewhat weaker notions. We introduce a novel notion of institution morphism, and characterize preservation of institution properties by corresponding properties of such morphisms. Target of this work is the stepwise construction of a general framework for translating logics, and algebraic specifications using logical systems. Earlier translations of order-sorted conditional equational logic and of conditional equational logics for partial algebras into equational type logic are revisited in this light. Model-theoretic results relating to compactness are presented as well.

Published
1993

25. Quality Design

Author

Scollo, Giuseppe

Subjects
METIS-123847, METIS-123061
Published
1990

27. A Relational View of Recurrence and Attractors in State Transition Dynamics.

Author

Schmidt, Renate A., Scollo, Giuseppe, Franco, Giuditta, and Manca, Vincenzo

Abstract

The classical dynamics concepts of recurrence and attractor are analysed in the basic mathematical setting of state transition systems, where both time and space are discrete, and no structure is assumed on the state space besides a binary transition relation. This framework proves useful to the dynamical analysis of computations and biomolecular processes. Here a relational formulation of this framework is presented, where the concepts of attractor and recurrence surface in two variants, respectively relating to the two fundamental modalities. A strong link between recurrence and both existence and extent of attractors, in either variant, is established by a novel characterization theorem. [ABSTRACT FROM AUTHOR]

Published
2006
Full Text
View/download PDF

29. ω-rewriting the Collatz Problem.

Author

Scollo, Giuseppe

Subjects
*ITERATIVE methods (Mathematics), *NUMERICAL analysis, *DYNAMICS, *MATHEMATICS, *STRUCTURAL dynamics
Abstract

The Collatz problem is comprised of two distinct, separate questions: existence of eventually periodic Collatz reductions with a nontrivial period, and existence of period-free Collatz reductions. This paper introduces a few distinct, related formalizations of the Collatz dynamics as term rewriting systems, using elementary concepts from the theory of state transition dynamics. Some of the subject systems act on finite terms, whereas others rewrite terms that are endowed with a countable, recursively defined structure. The latter presents a convenient framework for the investigation of extensions of the Collatz dynamics to dense systems. [ABSTRACT FROM AUTHOR]

Published
2005

31. Architectural Unit Testing.

Author

Scollo, Giuseppe and Zecchini, Silvia

Subjects
COMPUTER architecture, INFORMATION theory, COMPUTER input-output equipment, COMPUTER science
Abstract

Abstract: A formal testing methodology is outlined in this paper, that proves applicable to validation of architectural units in object-oriented models, and its use is illustrated in the context of the design of a robot teleoperation architecture. Automated generation of test cases to validate the functionality of the robot trajectory generation unit showcases the key features of this methodology. A disciplined use of UML state diagrams, to model the unit''s dynamics consistently with its static properties as modeled by class diagrams, enables one to provide such models with Input/Output Labelled Transition Systems (IOLTS) semantics, whence a rich machinery of testing theories and tools based on those theories become readily available. Our case study tells that, besides black-box testing of nal implementation units, white-box analysis of architectural units may greatly benefit from the exibility of parameterized I/O-conformance relations. Test purposes turn out to be a useful methodological link between functional requirements, which they are drawn from, and conformance relations, which they help one to instantiate, thereby delimiting test selection to purposeful tests. Contingent aspects of our methodology include: a mechanical translation of state diagrams in Basic LOTOS, a non-mechanical, use-case driven synthesis of test purposes, expressed in the same language, and the use of the TGV tool for automated test case generation. Other choices in these respects are well possible, without a ecting the characteristic traits of the proposed methodology, that are rather to be found in: 1) the combination of object-oriented architectural modeling with IOLTS semantics; 2) the aim at maximizing the potential for test generation from UML models, in a broad view of testing which applies throughout the development process; 3) the speci c proposal to consider internal actions as testable actions, in view of a better coordination between testing (discovery of faults) and debugging (discovery of internal sources of faults). [Copyright &y& Elsevier]

Published
2004
Full Text
View/download PDF

36. A LOTOS Specification of the PROWAY Highway Service

Author

Carchiolo, Vincenza, Faro, A., Mirabella, Orazio, Pappalardo, Giuseppe, and Scollo, Giuseppe

Subjects
Protocol and service specification, IEC standards, Process control applications
Published
1986

37. LOTOS in practice

Author

Scollo, Giuseppe, Vissers, C. A., and Di Stefano, A.

Published
1986

41. The architecture of the software implemented by CREI for EIN

Author

Le Moli, G, Affò, G, Andreoni, G, Baldini, L, Belloni, A, Boccia, D, Bozzetti, M, Cellamare, E, Consigli, C, Crippa, E, Faro, A, Floro, M, Gambaro, A, Palazzo, Sergio, Radassao, E, Repossi, E, Restelli, R, Riccardi, V, Rossi, P, Scollo, Giuseppe, and Zupa, P.

Published
1979

Catalog

Books, media, physical & digital resources
See catalog results