The following pages link to Gianna Reggio (Q1190493):
Displayed 31 items.
- Item:Q1190493 (redirect page) (← links)
- Observational structures and their logic (Q1190494) (← links)
- Specification of abstract dynamic-data types: A temporal logic approach (Q1391733) (← links)
- Stores as homomorphisms and their transformations: A uniform approach to structured types in imperative languages (Q1806130) (← links)
- Formalism and method (Q1978639) (← links)
- A formally grounded software specification method (Q2369031) (← links)
- (Q2722019) (← links)
- (Q2764158) (← links)
- (Q2767179) (← links)
- (Q2767181) (← links)
- Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation (Q2890325) (← links)
- (Q3030245) (← links)
- (Q3043828) (← links)
- Modeling Business within a UML-Based Rigorous Software Development Approach (Q3507369) (← links)
- (Q3677154) (← links)
- (Q3742700) (← links)
- (Q3753466) (← links)
- Direct semantics of concurrent languages in the SMoLCS approach (Q3766819) (← links)
- (Q3777428) (← links)
- (Q3829081) (← links)
- (Q3976060) (← links)
- (Q4035231) (← links)
- (Q4203802) (← links)
- Very abstract specifications: a formalism independent approach (Q4236212) (← links)
- (Q4413744) (← links)
- (Q4702603) (← links)
- (Q4721640) (← links)
- A Framework for Defining and Comparing Modelling Methods (Q5256361) (← links)
- Fundamental Approaches to Software Engineering (Q5428889) (← links)
- Formal Methods in Software and Systems Modeling (Q5710407) (← links)
- Labelled transition logic: An outline (Q5950716) (← links)