Requirements-Engineering systematisch Modellbildung für softwaregestützte Systeme von Partsch, Helmuth 1950-

Inhaltsverzeichnis

Requirements-Engineering systematisch Modellbildung für softwaregestützte Systeme von Partsch, Helmuth 1950-

DE-522
DE-634
DE-526
DE-1043
DE-1102
DE-1046
DE-858
DE-1028
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-1051
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-473
DE-19
DE-703
DE-20
DE-706
DE-29
Volltext

Requirements engineering von Partsch, Helmuth 1950-

Inhaltsverzeichnis

Requirements-Engineering systematisch Modellbildung für softwaregestützte Systeme von Partsch, Helmuth 1950-

Transformational development of data parallel algorithms an example von Partsch, Helmuth 1950-

Again on recognition and parsing of context free grammars two exercises in transformational programming von Partsch, Helmuth 1950-

Transformational program development in a particular problem domain von Partsch, Helmuth 1950-

A comprehensive survey on program transformation systems von Partsch, Helmuth 1950-, Steinbrüggen, Ralf

On the feedback between specifications and implementations an example von Pepper, Peter, Partsch, Helmuth 1950-

Konstruktion effizienter Markov-Algorithmen durch Programm-Transformationen von Partsch, Helmuth 1950-

Specification and transformation of programs a formal approach to software development von Partsch, Helmuth 1950-

Algebraic types as a framework for program transformation von Pepper, Peter, Partsch, Helmuth 1950-

Konstruktion effizienter Markov-Algorithmen durch Programm-Transformationen von Partsch, Helmuth 1950-

Program transformations on different levels of programming von Partsch, Helmuth 1950-, Pepper, Peter

Beweisen durch Programmtransformation von Partsch, Helmuth 1950-, Pepper, Peter

A family of rules for recursion removal related to the "Towers of Hanoi" problem von Partsch, Helmuth 1950-, Pepper, Peter

Transformational program development in a particular problem domain von Partsch, Helmuth 1950-

Transformational program development in a particular problem domain von Partsch, Helmuth 1950-

A transformational approach to parsing and recognition von Partsch, Helmuth 1950-

Working material Munich , Germany, July 26 to August 6, 1978 von Partsch, Helmuth 1950-, Broy, Manfred 1949-