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

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 236
Titolo Data di pubblicazione Autori File
Experiences in the Implementation of a Process-centered Software Engineering Environment Using Object-Oriented Technology 1-gen-1995 BARESI, LUCIANOFUGGETTA, ALFONSOLAVAZZA, LUIGI +
Software methodologies for VHDL code static analysis based on flow graphs 1-gen-1996 BARESI, LUCIANOBOLCHINI, CRISTIANASCIUTO, DONATELLA
Sistemi ibridi: un approccio formale ed eterogeneo 1-gen-1997 BARESI, LUCIANOCARMELI, MARIA STEFANIA +
Software Methodologies for VHDL Code Static Analysis 1-gen-1997 BARESI, LUCIANOBOLCHINI, CRISTIANA
Introducing Formal Specification Methods in Industrial Practice 1-gen-1997 BARESI, LUCIANO +
Toward Formalizing Structured Analysis 1-gen-1998 BARESI, LUCIANO +
Un approccio formale alla norma IEC 1131-3 1-gen-1999 BARESI, LUCIANOCARMELI, MARIA STEFANIA +
WIDE workflow development methodology 1-gen-1999 BARESI, LUCIANOCASATI, FABIOFUGINI, MARIAGRAZIAPERNICI, BARBARA +
Can Graph Grammars make Formal Methods more Human? 1-gen-2000 BARESI, LUCIANOPEZZE', MAURO
An Approach for Designing and Enacting Distributed Simulation Environments 1-gen-2000 BARESI, LUCIANO +
From Web Sites to Web Applications: New Issues for Conceptual Modeling 1-gen-2000 BARESI, LUCIANOGARZOTTO, FRANCAPAOLINI, PAOLO
PLCTools: Design, Formal Validation, and Code Generation for Programmable Controllers. 1-gen-2000 BARESI, LUCIANOMAURI, MARCOMONTI, ANTONELLOPEZZE', MAURO
On Formalizing UML with High-Level Petri Nets 1-gen-2001 BARESI, LUCIANOPEZZE', MAURO
Proceedings of the Satellite Workshops of the 28th International Colloquium on Automata, Languages, and Programming (ICALP) 1-gen-2001 BARESI, LUCIANOPEZZE', MAURO +
Extending UML for Modeling Web Applications 1-gen-2001 BARESI, LUCIANOGARZOTTO, FRANCAPAOLINI, PAOLO
Supporting Reusable Web Design with HDM-Edit 1-gen-2001 BARESI, LUCIANOGARZOTTO, FRANCAPAOLINI, PAOLO
Improving UML with Petri nets 1-gen-2001 BARESI, LUCIANOPEZZE', MAURO
A Toolbox for Automating Visual Software Engineering 1-gen-2002 BARESI, LUCIANO +
Some Hints on Formalizing UML with Object Petri Nets 1-gen-2002 BARESI, LUCIANO
Assertions to Better Specify the Amazon Bug 1-gen-2002 BARESI, LUCIANODENARO, GIOVANNIMAINETTI, LUCAPAOLINI, PAOLO
Mostrati risultati da 1 a 20 di 236
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