Вы здесь

Lowe M.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ The Korso Case Study for Software Engineering with Formal Methods: A Medical Information System 1995 Cornelius F., Hussmann H., Lowe M. Lecture Notes in Computer Science KORSO: Methods, Languages, and Tools for the Construction of Correct Software 28.12.1995
СТ Modular Algebraic Specifications 1988 Hansen H., Lowe M. Mathematical Research Algebraic and Logic Programming 30.06.1995
СТ Dynamic Abstract Data Types Based on Algebraic Graph Transformations 1995 Ehrig H., Lowe M., Orejas F. Lecture Notes in Computer Science 24.05.1995
СТ Agg - An Implementation of Algebraic Graph Rewriting 1993 Lowe M., Beyer M. Lecture Notes in Computer Science 09.07.1993
СТ Computing by Graph Transformation (COMPUCRAPH) 1992 Ehrig H., Lowe M. EATCS Bull. 19.08.1992
СТ On the Relationship Between Algebraic Module Specifications and Program Modules 1991 Lowe M., Ehrig H., Fey W. Lecture Notes in Computer Science 21.05.1991
СТ Compatibility Problems in the Development of Algebraic Module Specifications 1990 Ehrig H., Fey W., Hansen H., Lowe M., Jacobs D., Parisi-Presicce F. Theoretical Computer Science 12.02.1991