Sfoglia per Autore
On Refinement of Logic Specifications
1992-01-01 Ferrucci, Filomena; Nota, Giancarlo; S., Orefice; Pacini, Giuliano; Tortora, Genoveffa
Loop Checking for Reduced SLD-Derivations
1994-01-01 Ferrucci, Filomena; Pacini, Giuliano; Sessa, Maria Immacolata
A Sleeper-based Prolog Interpreter with Loop Checks
1994-01-01 Ferrucci, Filomena; Loia, Vincenzo; Pacini, Giuliano; Sessa, Maria Immacolata
Non-Redundant 2D Strings
1995-01-01 Costagliola, Gennaro; Ferrucci, Filomena; Tortora, Genoveffa; Tucci, Maurizio
Redundancy elimination and loop checks for Logic programs
1995-01-01 Ferrucci, Filomena; Pacini, Giuliano; Sessa, Maria Immacolata
Symbol Relation Grammars: a formalism for Graphical Languages
1996-01-01 Ferrucci, Filomena; Pacini, G.; Satta, G.; Sessa, M. I.; Tortora, Genoveffa; Tucci, Maurizio; Vitiello, Giuliana
Semantics-Based Inference Algorithms for Adaptive Visual Environments
1996-01-01 Ferrucci, Filomena; Tortora, Genoveffa; Tucci, Maurizio; Vitiello, Giuliana
An Interpreter for Diagrammatic Languages based on SR Grammars
1997-01-01 Ferrucci, Filomena; Tortora, Genoveffa; Tucci, Maurizio; Vitiello, Giuliana
RELATION GRAMMARS: A FORMALISM FOR SYNTACTIC AND SEMANTIC ANALYSIS OF VISUAL LANGUAGES
1998-01-01 Ferrucci, Filomena; Tortora, Genoveffa; Tucci, Maurizio; Vitiello, G.
A FORMAL MODEL FOR THE ANALYSIS OF COMPLEX STRUCTURES
1998-01-01 Ferrucci, Filomena; Tucci, Maurizio; Vitiello, G.; Pacini, G.; Tortora, Genoveffa
TOWARDS A SOFTWARE SIZE PRODUCT METRICS FOR OBJECT-ORIENTED SYSTEMS
1998-01-01 Costagliola, Gennaro; Ferrucci, Filomena; Tortora, Genoveffa; Vitiello, G.
Supporting Hybrid and Hierarchical Visual Language Definition
1999-01-01 Costagliola, Gennaro; Ferrucci, Filomena; Polese, Giuseppe; Vitiello, G.
The Development of Hierarchical Visual Languages
1999-01-01 Costagliola, Gennaro; Ferrucci, Filomena; Polese, Giuseppe; Vitiello, G.
SYMBOLIC PICTURE LANGUAGES AND THEIR DECIDABILITY AND COMPLEXITY PROPERTIES
1999-01-01 Costagliola, Gennaro; Ferrucci, Filomena
GRAMMATICAL INFERENCE FOR THE AUTOMATIC GENERATION OF VISUAL LANGUAGES
1999-01-01 Ferrucci, Filomena; Vitiello, Giuliana
Metriche di Taglia
2000-01-01 Costagliola, Gennaro; Ferrucci, Filomena; Tortora, Genoveffa; Vitiello, G.
CLASS POINT UNA METRICA PER LA STIMA DELLA TAGLIA DEI SISTEMI ORIENTATI AGLI OGGETTI
2000-01-01 Costagliola, Gennaro; Ferrucci, Filomena; Tortora, Genoveffa; Vitiello, Giuliana
A Metrics for the Size Estimation of Object Oriented Graphical User Interfaces
2000-01-01 Costagliola, Gennaro; Ferrucci, Filomena; Tortora, Genoveffa; Vitiello, Giuliana
A. System For Rapyd Prototyping of Visual Languages
2001-01-01 Tortora, Genoveffa; Ferrucci, Filomena; Tucci, Maurizio; Vitiello, G.
Visual Programming
2001-01-01 Ferrucci, Filomena; Tortora, Genoveffa; Vitiello, Giuliana
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
On Refinement of Logic Specifications | 1-gen-1992 | Ferrucci, Filomena; Nota, Giancarlo; S., Orefice; Pacini, Giuliano; Tortora, Genoveffa | |
Loop Checking for Reduced SLD-Derivations | 1-gen-1994 | Ferrucci, Filomena; Pacini, Giuliano; Sessa, Maria Immacolata | |
A Sleeper-based Prolog Interpreter with Loop Checks | 1-gen-1994 | Ferrucci, Filomena; Loia, Vincenzo; Pacini, Giuliano; Sessa, Maria Immacolata | |
Non-Redundant 2D Strings | 1-gen-1995 | Costagliola, Gennaro; Ferrucci, Filomena; Tortora, Genoveffa; Tucci, Maurizio | |
Redundancy elimination and loop checks for Logic programs | 1-gen-1995 | Ferrucci, Filomena; Pacini, Giuliano; Sessa, Maria Immacolata | |
Symbol Relation Grammars: a formalism for Graphical Languages | 1-gen-1996 | Ferrucci, Filomena; Pacini, G.; Satta, G.; Sessa, M. I.; Tortora, Genoveffa; Tucci, Maurizio; Vitiello, Giuliana | |
Semantics-Based Inference Algorithms for Adaptive Visual Environments | 1-gen-1996 | Ferrucci, Filomena; Tortora, Genoveffa; Tucci, Maurizio; Vitiello, Giuliana | |
An Interpreter for Diagrammatic Languages based on SR Grammars | 1-gen-1997 | Ferrucci, Filomena; Tortora, Genoveffa; Tucci, Maurizio; Vitiello, Giuliana | |
RELATION GRAMMARS: A FORMALISM FOR SYNTACTIC AND SEMANTIC ANALYSIS OF VISUAL LANGUAGES | 1-gen-1998 | Ferrucci, Filomena; Tortora, Genoveffa; Tucci, Maurizio; Vitiello, G. | |
A FORMAL MODEL FOR THE ANALYSIS OF COMPLEX STRUCTURES | 1-gen-1998 | Ferrucci, Filomena; Tucci, Maurizio; Vitiello, G.; Pacini, G.; Tortora, Genoveffa | |
TOWARDS A SOFTWARE SIZE PRODUCT METRICS FOR OBJECT-ORIENTED SYSTEMS | 1-gen-1998 | Costagliola, Gennaro; Ferrucci, Filomena; Tortora, Genoveffa; Vitiello, G. | |
Supporting Hybrid and Hierarchical Visual Language Definition | 1-gen-1999 | Costagliola, Gennaro; Ferrucci, Filomena; Polese, Giuseppe; Vitiello, G. | |
The Development of Hierarchical Visual Languages | 1-gen-1999 | Costagliola, Gennaro; Ferrucci, Filomena; Polese, Giuseppe; Vitiello, G. | |
SYMBOLIC PICTURE LANGUAGES AND THEIR DECIDABILITY AND COMPLEXITY PROPERTIES | 1-gen-1999 | Costagliola, Gennaro; Ferrucci, Filomena | |
GRAMMATICAL INFERENCE FOR THE AUTOMATIC GENERATION OF VISUAL LANGUAGES | 1-gen-1999 | Ferrucci, Filomena; Vitiello, Giuliana | |
Metriche di Taglia | 1-gen-2000 | Costagliola, Gennaro; Ferrucci, Filomena; Tortora, Genoveffa; Vitiello, G. | |
CLASS POINT UNA METRICA PER LA STIMA DELLA TAGLIA DEI SISTEMI ORIENTATI AGLI OGGETTI | 1-gen-2000 | Costagliola, Gennaro; Ferrucci, Filomena; Tortora, Genoveffa; Vitiello, Giuliana | |
A Metrics for the Size Estimation of Object Oriented Graphical User Interfaces | 1-gen-2000 | Costagliola, Gennaro; Ferrucci, Filomena; Tortora, Genoveffa; Vitiello, Giuliana | |
A. System For Rapyd Prototyping of Visual Languages | 1-gen-2001 | Tortora, Genoveffa; Ferrucci, Filomena; Tucci, Maurizio; Vitiello, G. | |
Visual Programming | 1-gen-2001 | Ferrucci, Filomena; Tortora, Genoveffa; Vitiello, Giuliana |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile