Sfoglia per Autore
Modeling object complexity and behavior: Towards an ontological paradigm
1991 Bonfatti, Flavio; Pazzi, Luca
Ontological foundations for state and identity within the object-oriented paradigm
1995 Bonfatti, Flavio; Pazzi, Luca
An Explicit Modelling Perspective for Compound and Aggregate Entities in the Object Paradigm
1996 Pazzi, Luca
Part-whole relations in object-centered systems: An overview
1996 A., Artale; E., Franconi; N., Guarino; Pazzi, Luca
Extending Statecharts for Representing Parts and Wholes
1997 Pazzi, Luca
Implicit versus explicit characterization of complex entities and events
1999 Pazzi, Luca
Part-whole statecharts for the explicit Representation of compound behaviours
2000 Pazzi, L.
An Explicit Modeling Approach for Wholes in the Object-Oriented Development process
2005 Pazzi, Luca; Andrea, Malagoli
Embedded software certification under a software engineering methodological perspective,
2006 Pazzi, Luca; Riccardo, Corrado; Luigi, Luppi
Improving Quality Factors in Model-Based Embedded Software
2008 Pazzi, Luca; Pradelli, Marco
A state-based systemic view of behaviour for safe medical computer applications
2008 Pazzi, L.; Pradelli, M.
Part-Whole Hierarchical Modularization of Fault-Tolerant and Goal-Based Autonomic Systems
2009 Pazzi, Luca; Pradelli, Marco
Using Part-Whole Statecharts for the safe modeling of clinical guidelines
2010 Pazzi, Luca; Pradelli, Marco
Automatic Fault Behavior Detection and Modeling by a State-Based Specification Method
2010 Pazzi, Luca; M., Interlandi; Pradelli, Marco
Part-Whole Formal Specification and Verification of Complex Systems
2011 Pazzi, Luca; Pradelli, Marco
Controlling hazards and safety in complex systems: a multi-layered part-whole approach to system safety
2012 Pazzi, Luca
Modularity and part-whole compositionality for computing the state semantics of statecharts
2012 Pazzi, Luca; M., Pradelli
Systems of Systems Modeled by a Hierarchical Part-Whole State-Based Formalism
2013 Pazzi, Luca
Facing Critical Situations by Improved Holon-Based Event Flow
2013 Pazzi, Luca
FACING CRITICAL SITUATIONS BY IMPROVED HOLON-BASED EVENT FLOW
2013 Pazzi, Luca
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