Sfoglia per Autore
Experiences in the Implementation of a Process-centered Software Engineering Environment Using Object-Oriented Technology
1995-01-01 S., Bandinelli; Baresi, Luciano; Fuggetta, Alfonso; Lavazza, Luigi
Software methodologies for VHDL code static analysis based on flow graphs
1996-01-01 Baresi, Luciano; Bolchini, Cristiana; Sciuto, Donatella
Sistemi ibridi: un approccio formale ed eterogeneo
1997-01-01 Baresi, Luciano; Carmeli, MARIA STEFANIA; A., Monti; M., Pezzè
Software Methodologies for VHDL Code Static Analysis
1997-01-01 Baresi, Luciano; Bolchini, Cristiana
Introducing Formal Specification Methods in Industrial Practice
1997-01-01 Baresi, Luciano; Orso, A.; Pezze', M.
Toward Formalizing Structured Analysis
1998-01-01 Baresi, Luciano; M., Pezzè
WIDE workflow development methodology
1999-01-01 Baresi, Luciano; Casati, Fabio; S., Castano; Fugini, Mariagrazia; I., Mirbel; Pernici, Barbara
Un approccio formale alla norma IEC 1131-3
1999-01-01 Baresi, Luciano; Carmeli, MARIA STEFANIA; A., Monti; M., Pezzè
An Approach for Designing and Enacting Distributed Simulation Environments
2000-01-01 Baresi, Luciano; P., Coen
Can Graph Grammars make Formal Methods more Human?
2000-01-01 Baresi, Luciano; Pezze', Mauro
From Web Sites to Web Applications: New Issues for Conceptual Modeling
2000-01-01 Baresi, Luciano; Garzotto, Franca; Paolini, Paolo
PLCTools: Design, Formal Validation, and Code Generation for Programmable Controllers.
2000-01-01 Baresi, Luciano; Mauri, Marco; Monti, Antonello; Pezze', Mauro
On Formalizing UML with High-Level Petri Nets
2001-01-01 Baresi, Luciano; Pezze', Mauro
Proceedings of the Satellite Workshops of the 28th International Colloquium on Automata, Languages, and Programming (ICALP)
2001-01-01 Baresi, Luciano; J., Lévy; R., Mayr; Pezze', Mauro; G., Taentzer; C., Zaroliagis
Extending UML for Modeling Web Applications
2001-01-01 Baresi, Luciano; Garzotto, Franca; Paolini, Paolo
Improving UML with Petri nets
2001-01-01 Baresi, Luciano; Pezze', Mauro
Supporting Reusable Web Design with HDM-Edit
2001-01-01 Baresi, Luciano; Garzotto, Franca; Paolini, Paolo
A Toolbox for Automating Visual Software Engineering
2002-01-01 Baresi, Luciano; M., Pezzè
Some Hints on Formalizing UML with Object Petri Nets
2002-01-01 Baresi, Luciano
Assertions to Better Specify the Amazon Bug
2002-01-01 Baresi, Luciano; Denaro, Giovanni; Mainetti, Luca; Paolini, Paolo
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