Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 20 di 225
Titolo Data di pubblicazione Autore(i) 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
Introducing Formal Specification Methods in Industrial Practice 1-gen-1997 BARESI, LUCIANO +
Software Methodologies for VHDL Code Static Analysis 1-gen-1997 BARESI, LUCIANOBOLCHINI, CRISTIANA
Sistemi ibridi: un approccio formale ed eterogeneo 1-gen-1997 BARESI, LUCIANOCARMELI, MARIA STEFANIA +
Toward Formalizing Structured Analysis 1-gen-1998 BARESI, LUCIANO +
WIDE workflow development methodology 1-gen-1999 BARESI, LUCIANOCASATI, FABIOFUGINI, MARIAGRAZIAPERNICI, BARBARA +
Un approccio formale alla norma IEC 1131-3 1-gen-1999 BARESI, LUCIANOCARMELI, MARIA STEFANIA +
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
Can Graph Grammars make Formal Methods more Human? 1-gen-2000 BARESI, LUCIANOPEZZE', MAURO
On Formalizing UML with High-Level Petri Nets 1-gen-2001 BARESI, LUCIANOPEZZE', MAURO
Extending UML for Modeling Web Applications 1-gen-2001 BARESI, LUCIANOGARZOTTO, FRANCAPAOLINI, PAOLO
Improving UML with 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 +
Supporting Reusable Web Design with HDM-Edit 1-gen-2001 BARESI, LUCIANOGARZOTTO, FRANCAPAOLINI, PAOLO
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
PLCTools: Graph Transformation Meets PLC Design 1-gen-2002 BARESI, LUCIANOMAURI, MARCOPEZZE', MAURO
Mostrati risultati da 1 a 20 di 225
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