Add to ORKGIn gratitude to Peter Lucas who is a generous and challenging colleague who (twice) aided me in moving to a delightful city which changed my life. Abstract: This paper describes (one person's view of) how the Vienna Development Method grew out of the earlier work on the Vienna Denition Language. Both of these activities were undertaken at the IBM Laboratory Vienna during the 1960s and 70s
The concept of “smartness” is based on expectation. “Quality of Life” is based on experience. The “l...
At the beginning of 1929 Moritz Schlick received a very tempting call to Bonn. After some vacillatio...
For some years now, the City of Vienna has been transferring many of its routine data-processing act...
The Vienna Development Method (VDM) is one of the longest established model-oriented formal methods ...
Programming languages are complex but useful objects, and an increasing amount of effort has been sp...
This paper discusses ZBMs technical contributions to high level programming languages from the viewp...
With the suspension of national boarders in unions of nations, cities and their regions gain in sign...
There was little in my early life to indicate that an interest in biology would become the passion o...
The Vienna Development Method (VDM) was developed in the early 1970s as a variant of denotational se...
Today, cities across the globe face a multitude of similar challenges – climate change, new disrupti...
This paper aims to synthesise the research findings from the implementation of an Urban Living Lab i...
From the perspective of science, art and intellectual life in general, Interwar Vienna was one of th...
At the turn of the 19. and 20. Century Łódź was not only a dynamically developing industrial city bu...
Abstract. The article discusses trends of Vienna’s architectonic spatial development. Vienna is a ci...
A powerful control language, named ViennaIPD, has been developed. The library based software is capa...
The concept of “smartness” is based on expectation. “Quality of Life” is based on experience. The “l...
At the beginning of 1929 Moritz Schlick received a very tempting call to Bonn. After some vacillatio...
For some years now, the City of Vienna has been transferring many of its routine data-processing act...
The Vienna Development Method (VDM) is one of the longest established model-oriented formal methods ...
Programming languages are complex but useful objects, and an increasing amount of effort has been sp...
This paper discusses ZBMs technical contributions to high level programming languages from the viewp...
With the suspension of national boarders in unions of nations, cities and their regions gain in sign...
There was little in my early life to indicate that an interest in biology would become the passion o...
The Vienna Development Method (VDM) was developed in the early 1970s as a variant of denotational se...
Today, cities across the globe face a multitude of similar challenges – climate change, new disrupti...
This paper aims to synthesise the research findings from the implementation of an Urban Living Lab i...
From the perspective of science, art and intellectual life in general, Interwar Vienna was one of th...
At the turn of the 19. and 20. Century Łódź was not only a dynamically developing industrial city bu...
Abstract. The article discusses trends of Vienna’s architectonic spatial development. Vienna is a ci...
A powerful control language, named ViennaIPD, has been developed. The library based software is capa...
The concept of “smartness” is based on expectation. “Quality of Life” is based on experience. The “l...
At the beginning of 1929 Moritz Schlick received a very tempting call to Bonn. After some vacillatio...
For some years now, the City of Vienna has been transferring many of its routine data-processing act...