RE.PUBLIC@POLIMI pubblicazioni di ricerca del Politecnico di Milano

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 50 di 195
Titolo Data di pubblicazione Autori File
LL(1) grammars supporting an efficient error handling 1-gen-1975 GHEZZI, CARLO
Specifiche e prove di proprietà dei programmi: lo stato dell'arte 1-gen-1978 GHEZZI, CARLOMANDRIOLI, DINO
Context-free graph grammars 1-gen-1978 GHEZZI, CARLO +
Incremental Parsing 1-gen-1979 GHEZZI, CARLOMANDRIOLI, DINO
Separate Compilation and Partial Specification in Pascal 1-gen-1980 DELLA VIGNA, PIERLUIGIGHEZZI, CARLOMANDRIOLI, DINO +
Augmenting Parsers to Support Incrementality 1-gen-1980 GHEZZI, CARLOMANDRIOLI, DINO
SIMPLE: A Program Development System 1-gen-1980 DELLA VIGNA, PIERLUIGIGHEZZI, CARLOMANDRIOLI, DINO +
Compiler testing using a sentence generator 1-gen-1980 GHEZZI, CARLO +
Language Constructs for Real-Time Distributed Systems 1-gen-1982 GHEZZI, CARLOMANDRIOLI, DINO +
Using FP as a query language for relational data-bases 1-gen-1984 GHEZZI, CARLO +
Modeling the Ada Task System by Petri Nets 1-gen-1985 MANDRIOLI, DINOGHEZZI, CARLO +
Concurrency in programming languages: A survey 1-gen-1985 GHEZZI, CARLO
A proposal for a new software reliability model and its preliminary assessment 1-gen-1986 BITTANTI, SERGIOBOLZERN, PAOLO GIUSEPPE EMILIOGHEZZI, CARLOSCATTOLINI, RICCARDO
On the specification of real-time systems using logic programming 1-gen-1987 GARZOTTO, FRANCAGHEZZI, CARLOMANDRIOLI, DINOMORZENTI, ANGELO CARLO
Theoretical Foundations of Computer Science. 1-gen-1987 MANDRIOLI, DINOGHEZZI, CARLO
Symbolic Execution of Concurrent Systems Using Petri Nets 1-gen-1989 GHEZZI, CARLOMANDRIOLI, DINO +
On the Behavior of Concurrent and Real-Time Systems 1-gen-1989 FUGGETTA, ALFONSOGHEZZI, CARLOMANDRIOLI, DINO
TRIO a Logic Language for Executable Specifications of Real-time Systems 1-gen-1990 GHEZZI, CARLOMANDRIOLI, DINOMORZENTI, ANGELO CARLO
Software Specialization via Symbolic Execution 1-gen-1991 GHEZZI, CARLOMANDRIOLI, DINO +
A Unified High-level Petri Net Model for Time Critical Systems 1-gen-1991 GHEZZI, CARLOMANDRIOLI, DINO +
A Model Parametric Real-Time Logic 1-gen-1992 MORZENTI, ANGELO CARLOMANDRIOLI, DINOGHEZZI, CARLO
On eclectic specification environments 1-gen-1992 GHEZZI, CARLOMANDRIOLI, DINO
A Survey and Assessment of Software Process Representation Formalisms 1-gen-1993 GHEZZI, CARLOMORZENTI, ANGELO CARLO +
Executable Specifications with Dataflow Diagrams 1-gen-1993 FUGGETTA, ALFONSOGHEZZI, CARLOMANDRIOLI, DINOMORZENTI, ANGELO CARLO
Software process model evolution in the SPADE environment 1-gen-1993 FUGGETTA, ALFONSOGHEZZI, CARLO +
High-Level Timed Petri Nets as a kernel for executable specifications 1-gen-1993 GHEZZI, CARLO +
State of the art and open issues in process-centered software engineering environments 1-gen-1994 FUGGETTA, ALFONSOGHEZZI, CARLO
Validating timing requirements for time basic net specifications 1-gen-1994 GHEZZI, CARLO +
How To Deal With Deviations During Process Model Enactment 1-gen-1995 CUGOLA, GIANPAOLODI NITTO, ELISABETTAGHEZZI, CARLO +
GUEST EDITORIAL INTRODUCTION TO THE SPECIAL SECTION 1-gen-1996 GHEZZI, CARLO +
Program families: some requirements issues for the process languages 1-gen-1996 CUGOLA, GIANPAOLOGHEZZI, CARLO
A Framework for Formalizing Inconsistencies and Deviations in Human-Centered Systems 1-gen-1996 CUGOLA, GIANPAOLODI NITTO, ELISABETTAFUGGETTA, ALFONSOGHEZZI, CARLO
A Characterization of Mobility and State Distribution in Mobile Code Languages 1-gen-1997 CUGOLA, GIANPAOLOGHEZZI, CARLOPICCO, GIAN PIETRO +
Inconsistencies in Software Development: Towards a Reference Framework 1-gen-1997 CUGOLA, GIANPAOLOGHEZZI, CARLO
CJava: Introducing concurrent objects in Java 1-gen-1997 CUGOLA, GIANPAOLOGHEZZI, CARLO
Specification of Realtime Systems Using ASTRAL 1-gen-1997 GHEZZI, CARLO +
Analyzing Mobile Code Languages 1-gen-1997 CUGOLA, GIANPAOLOGHEZZI, CARLOPICCO, GIAN PIETRO +
Software Engineering Issues for Network Computing 1-gen-1998 GHEZZI, CARLO +
Guest Editors' Introduction: Mobility and Network Aware Computing, Introduction to the special issue 1-gen-1998 GHEZZI, CARLO +
GUEST EDITORIAL INTRODUCTION TO THE SPECIAL SECTION Managing Inconsistency in Software Development 1-gen-1998 GHEZZI, CARLO +
Software Processes: a Retrospective and a Path to the Future 1-gen-1998 CUGOLA, GIANPAOLOGHEZZI, CARLO
Guest editorial: introduction to the special section 1-gen-1999 GHEZZI, CARLO +
Towards a Software Engineering Approach to Web Site Development 1-gen-1999 GHEZZI, CARLOGARZOTTO, FRANCA +
Design and implementation of PROSYT: a distributed process support system 1-gen-1999 CUGOLA, GIANPAOLOGHEZZI, CARLO
A Framework for Testing Object-Oriented Components 1-gen-1999 GHEZZI, CARLO +
Guest Editor's Introduction: Third International Conference on Engineering Complex Computer Systems 1-gen-1999 GHEZZI, CARLO +
Language Support for Evolvable Software: An Initial Assessment of Aspect-Oriented Programming 1-gen-1999 CUGOLA, GIANPAOLOGHEZZI, CARLOMONGA, MATTIA
Malaj: A Proposal to Eliminate Clashes Between Aspect oriented Programming and Object Oriented Programming 1-gen-2000 CUGOLA, GIANPAOLOGHEZZI, CARLOMONGA, MATTIAPICCO, GIAN PIETRO
MOTION: A Distributed Innovative eWork Platform to Support Teamwork in Large and Extended Enterprise 1-gen-2000 GHEZZI, CARLO +
Procedural languages 1-gen-2001 GHEZZI, CARLO
Mostrati risultati da 1 a 50 di 195
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