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
Part-whole relations in object-centered systems: An overview
1996 A., Artale; E., Franconi; N., Guarino; Pazzi, Luca
An Explicit Modelling Perspective for Compound and Aggregate Entities in the Object Paradigm
1996 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
A state-based systemic view of behaviour for safe medical computer applications
2008 Pazzi, L.; Pradelli, M.
Improving Quality Factors in Model-Based Embedded Software
2008 Pazzi, Luca; Pradelli, Marco
Part-Whole Hierarchical Modularization of Fault-Tolerant and Goal-Based Autonomic Systems
2009 Pazzi, Luca; Pradelli, Marco
Automatic Fault Behavior Detection and Modeling by a State-Based Specification Method
2010 Pazzi, Luca; M., Interlandi; Pradelli, Marco
Using Part-Whole Statecharts for the safe modeling of clinical guidelines
2010 Pazzi, Luca; 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
FACING CRITICAL SITUATIONS BY IMPROVED HOLON-BASED EVENT FLOW
2013 Pazzi, Luca
Facing Critical Situations by Improved Holon-Based Event Flow
2013 Pazzi, Luca
Systems of Systems Modeled by a Hierarchical Part-Whole State-Based Formalism
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