Author of the publication

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

Lattice Based Distances., and . RelMiCS, page 1-10. (2000)A Closer Look at Iteration: The Self Stabilizing Capability of Loops.. ICSE, page 48-57. IEEE Computer Society, (1982)Using Change Propagation Probabilities to Assess Quality Attributes of Software Architectures 1., , , , , , , and . AICCSA, page 704-711. IEEE Computer Society, (2006)Error Propagation In Software Architectures., , , , , , , and . IEEE METRICS, page 384-393. IEEE Computer Society, (2004)A Database of Software Components: An Algebraic Structure and Its Implementation., and . DEXA, page 162-166. Springer, (1990)View Programming for Decentralized Development of OO Programs., , , , and . TOOLS (30), page 210-221. IEEE Computer Society, (1999)Regularity of Relations: A Measure of Uniformity., , , and . Theor. Comput. Sci., 79 (2): 323-339 (1991)On the Analysis of Iterative and Recursive Programs., , and . Australian Computer Journal, 20 (1): 27-32 (1988)Modeling the evolution of operating systems: An empirical study., , and . Journal of Systems and Software, 80 (1): 1-15 (2007)Program Derivation by Correctness Enhacements., , , and . Refine@FM, volume 209 of EPTCS, page 57-70. (2015)