Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 20 di 82
Titolo Data di pubblicazione Autore(i) File
On the specification of real-time systems using logic programming 1-gen-1987 GARZOTTO, FRANCAGHEZZI, CARLOMANDRIOLI, DINOMORZENTI, ANGELO CARLO
TRIO a Logic Language for Executable Specifications of Real-time Systems 1-gen-1990 GHEZZI, CARLOMANDRIOLI, DINOMORZENTI, ANGELO CARLO
An object-oriented logic language for modular system specification 1-gen-1991 MORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
A Model Parametric Real-Time Logic 1-gen-1992 MORZENTI, ANGELO CARLOMANDRIOLI, DINOGHEZZI, CARLO
Executable Specifications with Dataflow Diagrams 1-gen-1993 FUGGETTA, ALFONSOGHEZZI, CARLOMANDRIOLI, DINOMORZENTI, ANGELO CARLO
A Survey and Assessment of Software Process Representation Formalisms 1-gen-1993 GHEZZI, CARLOMORZENTI, ANGELO CARLO +
Object-oriented logical specification of time-critical systems 1-gen-1994 MORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
Validating real-time systems by history-checking TRIO specifications 1-gen-1994 MORZENTI, ANGELO CARLO +
Proving properties of real-time systems through logical specifications and Petri net models 1-gen-1994 MANDRIOLI, DINOMORZENTI, ANGELO CARLO +
A short note on the approximability of the maximum leaves spanning tree problem 1-gen-1994 MORZENTI, ANGELO CARLO +
Generating Test Cases for Real-Time Systems from Logic Specifications 1-gen-1995 MANDRIOLI, DINOMORZENTI, ANGELO CARLO +
A Petri Net and Logic Approach to the Specification and Verification of Real Time Systems 1-gen-1996 MANDRIOLI, DINOMORZENTI, ANGELO CARLO +
Generating functional test cases in-the-large for time-critical systems from logic-based specificationsProceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96 1-gen-1996 MORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI +
Analysis of Techniques in the Assessment of Ultra-Reliable Computerized Systems 1-gen-1997 SCHREIBER, FABIO ALBERTOMORZENTI, ANGELO CARLO
On the Approximability of Some Maximum Spanning Tree Problems 1-gen-1997 MAFFIOLI, FRANCESCOMORZENTI, ANGELO CARLO +
A Theory of Implementation and Refinement in Timed Petri Nets 1-gen-1998 MORZENTI, ANGELO CARLO +
A tool for automated system analysis based on modular specificationsProceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) 1-gen-1998 MORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGIMORASCA, SANDRO
Validation and Verification of the safety Kernel of the Naples subway 1-gen-1999 SCHREIBER, FABIO ALBERTOMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
Problematiche di certificazione del software safety-critical: I - Generalità, elicitazione e specifica dei requisiti 1-gen-1999 SCHREIBER, FABIO ALBERTOMORZENTI, ANGELO CARLO
Dealing with Zero-time Transitions in Axiom Systems 1-gen-1999 MANDRIOLI, DINOMORZENTI, ANGELO CARLO +
Mostrati risultati da 1 a 20 di 82
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