Author of the publication

Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components.

, , and . FASE, volume 1382 of Lecture Notes in Computer Science, page 88-106. Springer, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

P2BAC: Privacy Policy Based Access Control Using P-LPL., and . ICISSP, page 686-697. SciTePress, (2023)WG5: Workshop Softwarearchitektur und Migration., , , , , and . Software Engineering, volume P-105 of LNI, page 283-284. GI, (2007)Modellgetriebene Softwarearchitektur - Evolution, Integration und Migration (MSEIM 2009)., , , , , and . Software Engineering, volume P-143 of LNI, page 199-200. GI, (2009)Gender markers in wikipedia usernames, , , and . Wiki Workshop, (2018)Systematic Refinement of Softgoals Using a Combination of KAOS Goal Models and Problem Diagrams., , , and . ICSOFT (Selected Papers), volume 1077 of Communications in Computer and Information Science, page 150-172. Springer, (2018)Workshop Modellgetriebene Softwarearchitektur -- Evolution, Integration und Migration, , , , , and . Software Engineering 2008, page 285-287. (2008)Workshop Modellgetriebene Softwarearchitektur -- Evolution, Integration und Migration (MSEIM 2008), , , , , and . Software Engineering 2008 - Workshopband, (2008)Specifying Embedded Systems with Statecharts and Z: An Agenda for Cyclic Software Components, , and . (1998)Proving Component Interoperability with B Refinement., , and . FACS, volume 160 of Electronic Notes in Theoretical Computer Science, page 157-172. Elsevier, (2005)Methodological Support for Requirements Elicitation and Formal Specification., and . IWSSD, page 153-155. IEEE Computer Society, (1998)