Christine Choppy

Available identifiers

zbMath Open choppy.christineMaRDI QIDQ315306

List of research outcomes

Publication	Date of Publication	Type
Abstract rewriting with concrete operators	2022-12-09	Paper
Formalising concurrent UML state machines using coloured Petri nets	2016-09-20	Paper
A Framework for Defining and Comparing Modelling Methods	2015-06-22	Paper
Experimenting Formal Proofs of Petri Nets Refinements	2014-03-26	Paper
Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation	2012-06-08	Paper
Fundamental Approaches to Software Engineering	2007-11-28	Paper
A formally grounded software specification method	2006-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q2767172	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2764114	2002-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q2722019	2001-07-11	Paper
https://portal.mardi4nfdi.de/entity/Q2709215	2001-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q4028350	1993-03-28	Paper
https://portal.mardi4nfdi.de/entity/Q3819976	1988-01-01	Paper
Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3709866	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3713576	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3696526	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3702496	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3707397	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: Christine Choppy