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

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 50 di 257
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 +
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
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 +
PLCTools: Design, Formal Validation, and Code Generation for Programmable Controllers. 1-gen-2000 BARESI, LUCIANOMAURI, MARCOMONTI, ANTONELLOPEZZE', MAURO
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
From Web Sites to Web Applications: New Issues for Conceptual Modeling 1-gen-2000 BARESI, LUCIANOGARZOTTO, FRANCAPAOLINI, PAOLO
Improving UML with Petri nets 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
Proceedings of the Satellite Workshops of the 28th International Colloquium on Automata, Languages, and Programming (ICALP) 1-gen-2001 BARESI, LUCIANOPEZZE', MAURO +
On Formalizing UML with High-Level Petri Nets 1-gen-2001 BARESI, LUCIANOPEZZE', MAURO
A Toolbox for Automating Visual Software Engineering 1-gen-2002 BARESI, LUCIANO +
PLCTools: Graph Transformation Meets PLC Design 1-gen-2002 BARESI, LUCIANOMAURI, MARCOPEZZE', MAURO
Assertions to Better Specify the Amazon Bug 1-gen-2002 BARESI, LUCIANODENARO, GIOVANNIMAINETTI, LUCAPAOLINI, PAOLO
Some Hints on Formalizing UML with Object Petri Nets 1-gen-2002 BARESI, LUCIANO
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
W2000 as a MOF Metamodel 1-gen-2002 BARESI, LUCIANOGARZOTTO, FRANCAMARITATI, MONICA
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
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
Context-aware Composition of E-Services 1-gen-2003 BARESI, LUCIANOBIANCHINI, DEVISDE ANTONELLIS, VALERIAFUGINI, MARIAGRAZIAPERNICI, BARBARAPLEBANI, PIERLUIGI
Modeling and Analysis of Architectural Styles Based on Graph Transformation 1-gen-2003 BARESI, LUCIANO +
Modeling and validation of service-oriented Architectures: Application vs. Style 1-gen-2003 BARESI, LUCIANO +
(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 +
Estimating the Design Effort of Web Applications 1-gen-2003 BARESI, LUCIANOMORASCA, SANDROPAOLINI, PAOLO
Inconsistency and Ephemerality in a World of E-Services 1-gen-2003 BARESI, LUCIANODI NITTO, ELISABETTAGHEZZI, CARLO
Smart Monitors for Composed Services 1-gen-2004 BARESI, LUCIANOGHEZZI, CARLOGUINEA MONTALVO, SAM JESUS ALEJANDRO
Style-Based Refinement of Dynamic Software Architectures 1-gen-2004 BARESI, LUCIANO +
Towards Self-healing Compositions of Services 1-gen-2004 BARESI, LUCIANOGHEZZI, CARLOGUINEA MONTALVO, SAM JESUS ALEJANDRO
Provisioning of Complex Adaptive Services 1-gen-2004 BARESI, LUCIANOBIANCHINI, DEVISDANIEL, FLORIANDE ANTONELLIS, VALERIAMAURINO, ANDREAMODAFFERI, STEFANOMUSSI, ENRICOPERNICI, BARBARA
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective 1-gen-2004 BARESI, LUCIANO +
Workflow Partitioning in Mobile Information Systems 1-gen-2004 BARESI, LUCIANOMAURINO, ANDREAMODAFFERI, STEFANO
An introduction to self-healing Web services (tutorial summary) 1-gen-2005 BARESI, LUCIANOGUINEA MONTALVO, SAM JESUS ALEJANDRO
From Graph Transformation to Software Engineering and Back 1-gen-2005 BARESI, LUCIANO +
Formal Interpreters for Diagram Notations 1-gen-2005 BARESI, LUCIANO +
EUCIP: Esercitazioni 1-gen-2005 BARESI, LUCIANOBRAMBILLA, MARCOCAPPIELLO, CINZIAPLEBANI, PIERLUIGI
Towards Model-Driven Testing of a Web Application Generator. 1-gen-2005 BARESI, LUCIANOFRATERNALI, PIEROMORASCA, SANDROTISI, MASSIMO
Ubiquitous Mobile Information and Collaboration Systems 1-gen-2005 BARESI, LUCIANOMATERA, MARISTELLA +
Dynamo: Dynamic Monitoring of WS-BPEL Processes 1-gen-2005 BARESI, LUCIANOGUINEA MONTALVO, SAM JESUS ALEJANDRO
Special issue on ubiquitous mobile information and collaboration systems (UMICS) 1-gen-2005 BARESI, LUCIANOMATERA, MARISTELLA +
Graph transformation to infer schemata from XML documents. 1-gen-2005 BARESI, LUCIANOQUINTARELLI, ELISA
Toward Translating Design Constraints to Run-Time Assertions 1-gen-2005 BARESI, LUCIANO +
Mostrati risultati da 1 a 50 di 257
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