- Requirements and Early Experiences in the Implementation of the SPADE Repository
- Graph Transformation to Infer Schemata from XML Documents
- Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
- Towards a Model-driven Approach to Develop Applications based on Physical Active Objects
- IDERS: An Integrated Environment for the Development of Hard Real-Time Systems
- Requirements And Early Experiences In The Implementation Of The SPADE Repository
- LEMMA: A Language for Easy Medical Models Analysis Luciano Baresi , Fabrizio Consorti y
- PLC PROGRAMMING LANGUAGES: A FORMAL APPROACH Luciano Baresi(+), Stefania Carmeli(++)1
- Customizable Notations for Kernel Formalisms Luciano Baresi, Alessandro Orso, Mauro Pezze
- Estimating the Design Effort of Web Applications Luciano Baresi*
- Towards Formalizing Structured Analysis Luciano Baresi and Mauro Pezz`e
- Modeling and Validation of Publish/Subscribe Architectures
- From Graph Transformation to Software Engineering and Back
- W2000: A Modeling Notation for Complex Web Applications
- UN APPROCCIO FORMALE ED ETEROGENEO PER IL PROGETTO DI SISTEMI IBRIDI L. Baresi (*)
- LA NORMA IEC 1131-3: UN APPROCCIO FORMALE PLC PROGRAMMING LANGUAGES: A FORMAL APPROACH
- Introducing Formal Specification Methods in Industrial Practice
- WIDE Workflow Development Methodology L. Baresi, F. Casati, S. Castano++++
- In Formal methods in PLC programming Special Session at IEEE Conference on Systems, Man, and Cybernetics
- Extending UML for Modeling Web Applications Luciano Baresi, Franca Garzotto, and Paolo Paolini
- Meta-modeling Techniques Meet Web Application Design Tools
- Integrated Design and Process Technology, IDPT-2002 Printed in the United States of America, June, 2002
- Assertions to Better Specify the Amazon Bug L. Baresi, G. Denaro, L. Mainetti, and P. Paolini
- Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
- An Empirical Study on the Design Effort of Web Applications Luciano Baresi
- Modeling and Validation of Service-Oriented Architectures: Application vs. Style
- Context-aware Composition of E-Services , D. Bianchini2
- TACoS'04 Preliminary Version Toward Translating Design Constraints to
- WORKFLOW PARTITIONING IN MOBILE INFORMATION SYSTEMS
- Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
- Provisioning of Complex Adaptive Services L. Baresi, F. Daniel, A. Maurino,
- First Experiences on Constraining Consistency and Adaptivity of W2000 Models
- Dynamo: Dynamic Monitoring of WS-BPEL Processes Luciano Baresi and Sam Guinea
- Validation of Component and Service Federations in Automotive Software Applications
- Towards Pervasive Supervision for Autonomic Systems This work has been supported by the project CASCADAS (IST-027807) funded by the FET Program of the European Commission.
- On the Use of Alloy to Analyze Graph Transformation Systems
- A Distributed Approach for the Federation of Heterogeneous Registries
- The GOODSTEP Project: General Object-Oriented Database
- The UWAApproach to Modeling Ubiquitous Web Applications UWA Consortium*
- Towards Service-centric System Engineering
- Can Graph Grammars Make Formal Methods More Human?
- POLITECNICO DI MILANO DOTTORATO DI RICERCA IN INGEGNERIA INFORMATICA E AUTOMATICA
- !#"$&%')(&0'21 0'354687@9BAC#"$8D83E%GF$1H0'1
- UNA PROPOSTA DI METODOLOGIA INTEGRATA DI SPECIFICA PER IL CONTROLLO IN TEMPO REALE: IL CASO DEGLI AZIONAMENTI ELETTRICI
- LEMMA: A Language for Easy Medical Models Analysis Luciano Baresi
- WS-Policy for Service Monitoring L. Baresi, S. Guinea, and P. Plebani
- Software and Systems Modeling manuscript No. (will be inserted by the editor)
- Formal Interpreters for Diagram Notations LUCIANO BARESI
- Supporting Reusable Web Design with HDM-Edit Franca Garzotto, Paolo Paolini, Luciano Baresi
- Towards Fine-grained Automated Verification of Publish-Subscribe Architectures
- Experiences in the Implementation of a Process-centered Software Engineering Environment using Object-Oriented
- A Toolbox for Automating Visual Software Engineering
- W2000 as a MOF Metamodel L. Baresi, F. Garzotto, M. Maritati
- Software Methodologies in VHDL Code Analysis Cristiana Bolchini and Luciano Baresi
- An Approach for Designing and Enacting Distributed Simulation Environments1
- Electronic Notes in Theoretical Computer Science 72 No. 2 (2002) URL: http://www.elsevier.nl/locate/entcs/volume72.html 10 pages
- Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
- A Formal De nition of Structured Analysis with Programmable Graph Grammars?
- Style-Based Refinement of Dynamic Software Architectures Luciano Baresi(+)
- Towards Dynamic Monitoring of WS-BPEL Processes Luciano Baresi and Sam Guinea
- Modeling and Analysis of Architectural Styles Based on Graph Transformation
- Ubiquitous Web Applications UWA Consortium1
- W2000 MEETS J2ME FOR THE FAST PROTOTYPING OF MOBILE WEB APPLICATIONS
- Hybrid Service-Oriented Architectures: A Case-Study in the Automotive Domain
- Smart Monitors for Composed Services Luciano Baresi
- From Web Sites to Web Applications: New Issues for Conceptual Modeling
- Towards Self-healing Service Compositions Luciano Baresi, Carlo Ghezzi, and Sam Guinea
- An Approach to Model and Validate Publish/Subscribe Architectures
- Software Methodologies for VHDL Code Static Analysis based on Flow Graphs Luciano Baresi, Cristiana Bolchini, and Donatella Sciuto
- A Practical Approach to Formal Design of Real-Time Systems Luciano Baresi y, Victor Braberman z, Miguel Felder z, Mauro Pezz`e y, Fabio Pieniazek z
- Towards Model-Driven Testing of a Web Application Generator
