Gianna Reggio

Available identifiers

zbMath Open reggio.giannaMaRDI QIDQ1190493

List of research outcomes

Publication	Date of Publication	Type
A Framework for Defining and Comparing Modelling Methods	2015-06-22	Paper
Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation	2012-06-08	Paper
Modeling Business within a UML-Based Rigorous Software Development Approach	2008-06-19	Paper
Fundamental Approaches to Software Engineering	2007-11-28	Paper
A formally grounded software specification method	2006-04-28	Paper
Formal Methods in Software and Systems Modeling	2005-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q3043828	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4413744	2003-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q2767179	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2767181	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2764158	2002-01-22	Paper
Labelled transition logic: An outline	2001-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q4702603	2001-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q2722019	2001-07-11	Paper
Formalism and method	2000-06-04	Paper
Stores as homomorphisms and their transformations: A uniform approach to structured types in imperative languages	1999-11-01	Paper
Very abstract specifications: a formalism independent approach	1999-03-22	Paper
Specification of abstract dynamic-data types: A temporal logic approach	1998-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4035231	1993-05-18	Paper
Observational structures and their logic	1992-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q3976060	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3829081	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4203802	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3030245	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3753466	1987-01-01	Paper
Direct semantics of concurrent languages in the SMoLCS approach	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4721640	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3742700	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3777428	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3677154	1985-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Gianna Reggio