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

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 50 di 238
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 +
An Approach for Designing and Enacting Distributed Simulation Environments 1-gen-2000 BARESI, LUCIANO +
Can Graph Grammars make Formal Methods more Human? 1-gen-2000 BARESI, LUCIANOPEZZE', MAURO
PLCTools: Design, Formal Validation, and Code Generation for Programmable Controllers. 1-gen-2000 BARESI, LUCIANOMAURI, MARCOMONTI, ANTONELLOPEZZE', MAURO
From Web Sites to Web Applications: New Issues for Conceptual Modeling 1-gen-2000 BARESI, LUCIANOGARZOTTO, FRANCAPAOLINI, PAOLO
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 +
Improving UML with Petri nets 1-gen-2001 BARESI, LUCIANOPEZZE', MAURO
Supporting Reusable Web Design with HDM-Edit 1-gen-2001 BARESI, LUCIANOGARZOTTO, FRANCAPAOLINI, PAOLO
Extending UML for Modeling Web Applications 1-gen-2001 BARESI, LUCIANOGARZOTTO, FRANCAPAOLINI, PAOLO
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
A Toolbox for Automating Visual Software Engineering 1-gen-2002 BARESI, LUCIANO +
Assertions to Better Specify the Amazon Bug 1-gen-2002 BARESI, LUCIANODENARO, GIOVANNIMAINETTI, LUCAPAOLINI, PAOLO
W2000 as a MOF Metamodel 1-gen-2002 BARESI, LUCIANOGARZOTTO, FRANCAMARITATI, MONICA
Meta-modeling Techniques Meet Web Application Design Tools 1-gen-2002 BARESI, LUCIANOGARZOTTO, FRANCAMAINETTI, LUCAPAOLINI, PAOLO
An Empirical Study on the Design Effort Of Web Applications 1-gen-2002 BARESI, LUCIANOMORASCA, SANDROPAOLINI, PAOLO
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective 1-gen-2002 BARESI, LUCIANO +
An Approach to Model and Validate Publish/Subscribe Architectures 1-gen-2003 BARESI, LUCIANOGHEZZI, CARLOZANOLIN, LUCA
Inconsistency and Ephemerality in a World of E-Services 1-gen-2003 BARESI, LUCIANODI NITTO, ELISABETTAGHEZZI, CARLO
(a cura di) Proceedings from International Workshop on Multi-channel and Mobile Information systems. Included in Santucci, G., Klas, W., Bertolotto, C. and Baresi, L. 4th International Conference on Web Information Systems Engineering Workshops (WISE 2003 Workshops), March 2004, Proceedings. 1-gen-2003 BARESI, LUCIANOPERNICI, BARBARA +
Modeling and Analysis of Architectural Styles Based on Graph Transformation 1-gen-2003 BARESI, LUCIANO +
Context-aware Composition of E-Services 1-gen-2003 BARESI, LUCIANOBIANCHINI, DEVISDE ANTONELLIS, VALERIAFUGINI, MARIAGRAZIAPERNICI, BARBARAPLEBANI, PIERLUIGI
Ubiquitous and Mobile Information and Collaboration Systems 1-gen-2003 BARESI, LUCIANOCOMAI, SARAMATERA, MARISTELLA +
SystemC code generation from UML models 1-gen-2003 BARESI, LUCIANOBRUSCHI, FRANCESCODI NITTO, ELISABETTASCIUTO, DONATELLA
Modeling and validation of service-oriented Architectures: Application vs. Style 1-gen-2003 BARESI, LUCIANO +
Estimating the Design Effort of Web Applications 1-gen-2003 BARESI, LUCIANOMORASCA, SANDROPAOLINI, PAOLO
Provisioning of Complex Adaptive Services 1-gen-2004 BARESI, LUCIANOBIANCHINI, DEVISDANIEL, FLORIANDE ANTONELLIS, VALERIAMAURINO, ANDREAMODAFFERI, STEFANOMUSSI, ENRICOPERNICI, BARBARA
Towards Self-healing Compositions of Services 1-gen-2004 BARESI, LUCIANOGHEZZI, CARLOGUINEA MONTALVO, SAM JESUS ALEJANDRO
Smart Monitors for Composed Services 1-gen-2004 BARESI, LUCIANOGHEZZI, CARLOGUINEA MONTALVO, SAM JESUS ALEJANDRO
Workflow Partitioning in Mobile Information Systems 1-gen-2004 BARESI, LUCIANOMAURINO, ANDREAMODAFFERI, STEFANO
Style-Based Refinement of Dynamic Software Architectures 1-gen-2004 BARESI, LUCIANO +
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective 1-gen-2004 BARESI, LUCIANO +
EUCIP: Esercitazioni 1-gen-2005 BARESI, LUCIANOBRAMBILLA, MARCOCAPPIELLO, CINZIAPLEBANI, PIERLUIGI
Ubiquitous Mobile Information and Collaboration Systems 1-gen-2005 BARESI, LUCIANOMATERA, MARISTELLA +
Modeling and Validation of Publish/Subscribe Architectures 1-gen-2005 BARESI, LUCIANOGHEZZI, CARLOZANOLIN, LUCA
First Experiences on Constraining Consistency and Adaptivity of W2000 Models 1-gen-2005 BARESI, LUCIANOCOLAZZO, SEBASTIANOMAINETTI, LUCA
Hybrid Service Oriented Architectures: A Case Study in the Automotive Domain. 1-gen-2005 BARESI, LUCIANOGHEZZI, CARLOMIELE, ANTONIO ROSARIOMIRAZ, MATTEOPACIFICI, FILIPPO +
From Graph Transformation to Software Engineering and Back 1-gen-2005 BARESI, LUCIANO +
Formal Interpreters for Diagram Notations 1-gen-2005 BARESI, LUCIANO +
An introduction to self-healing Web services (tutorial summary) 1-gen-2005 BARESI, LUCIANOGUINEA MONTALVO, SAM JESUS ALEJANDRO
Towards Model-Driven Testing of a Web Application Generator. 1-gen-2005 BARESI, LUCIANOFRATERNALI, PIEROMORASCA, SANDROTISI, MASSIMO
Graph transformation to infer schemata from XML documents. 1-gen-2005 BARESI, LUCIANOQUINTARELLI, ELISA
Mostrati risultati da 1 a 50 di 238
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