WorldCat Identities

Habermann, A. Nico 1932-

Overview
Works: 32 works in 75 publications in 5 languages and 1,367 library holdings
Genres: Conference proceedings 
Roles: Editor
Classifications: QA76.6, 001.642
Publication Timeline
Key
Publications about  A. Nico Habermann Publications about A. Nico Habermann
Publications by  A. Nico Habermann Publications by A. Nico Habermann
posthumous Publications by A. Nico Habermann, published posthumously.
Most widely held works about A. Nico Habermann
 
Most widely held works by A. Nico Habermann
Introduction to operating system design by A. Nico Habermann ( Book )
7 editions published between 1975 and 1976 in 3 languages and held by 436 WorldCat member libraries worldwide
Ada for experienced programmers by A. Nico Habermann ( Book )
11 editions published between 1982 and 1983 in English and held by 414 WorldCat member libraries worldwide
System development and Ada by A. Nico Habermann ( Book )
19 editions published in 1987 in English and Undetermined and held by 362 WorldCat member libraries worldwide
The collection of papers published in this book was initially presented at the Workshop on Software Factories and Ada, held on Capri, May 26-30, 1986. The subject of the book is software development environments. Software development is treated from three viewpoints: methodologies, language issues and mechanisms. Of particular interest are the discussions of automation of the development process and the formalization of software development specifications. Several new methodologies are described, many of which are available on the commercial market. New is in particular the formalization of the design and development process. Interesting ideas are presented on planning the design process and on supporting project management by formal tools. The reader will find a variety of interesting methodologies and mechanisms that are operational. The book is suitable for readers interested in knowing in which direction programming environment research is moving
Entwurf von Betriebssystemen : eine Einführung by A. Nico Habermann ( Book )
3 editions published in 1981 in German and held by 49 WorldCat member libraries worldwide
On the harmonious co-operation of abstract machines by A. Nico Habermann ( Book )
1 edition published in 1967 in English and held by 15 WorldCat member libraries worldwide
System development and Ada proceedings ( )
1 edition published in 1987 in English and held by 13 WorldCat member libraries worldwide
The correctness proof of a quadratic-hash algorithm by A. Nico Habermann ( Book )
1 edition published in 1975 in English and held by 7 WorldCat member libraries worldwide
The statements of a program do not always provide sufficient information for proving its correctness. The correctness of the algorithm implemented by the program must often be proved with the pure mathematical techniques or exhaustive enumeration. An example program is presented for which the correctness proof of the program is trivial provided that the correctness of the underlying algorithm can be demonstrated. The program can be viewed as an abstraction of a quadratic hash algorithm. It is used at the end of the paper to encode the algorithm most efficiently. (Author)
System development and ADA : proceedings : CRAI Workshop on software factories and ADA, Capri, Italy, May 26-30, 1986 ; ed. A.N. Habermann, U. Montanari by A. Nico Habermann ( Book )
2 editions published in 1987 in English and held by 7 WorldCat member libraries worldwide
Modularization and hierarchy in a family of operating systems ( Book )
1 edition published in 1978 in English and held by 6 WorldCat member libraries worldwide
The objective of the Family of Operating Systems project has been to investigate the feasibility of constructing systems which use identical or similar resources and share basic design decisions. The concepts of module, address space and hierarchy have been used with special care. Common to all family members is the virtual memory facility which controls dynamic address space transitions. Family members may differ in the facilities they provide in static address spaces. This report presents an overall description of the FAMOS system. Section 1 describes the basic ideas underlying the FAMSO system and Section 2 describes the implementation. A more detailed description is found in the official documentation of the FAMOS system. This documentation consists of a number of module documents. Each module document comprises two parts, an introductory description which specifies the function and dependency of a module and a type description which defines the representation and implementation of a module as static address space. (Author)
A history mechanism and Undo/Redo/Reuse support in ALOE by Cai Linxi ( Book )
1 edition published in 1986 in English and held by 6 WorldCat member libraries worldwide
Efficient implementation of Ada tasks by A. Nico Habermann ( Book )
1 edition published in 1980 in English and held by 5 WorldCat member libraries worldwide
Path expressions by A. Nico Habermann ( Book )
1 edition published in 1975 in English and held by 5 WorldCat member libraries worldwide
Traditionally, synchronization of concurrent processes is coded in line by operations on semaphores or similar objects. Path expressions move the responsibility of implementing such restrictions from the programmer to a compiler. The programmer specifies as part of a type definition which execution sequences are permitted. The advantage of using path experssions instead of P, V operations on semaphores (or similar operations) is comparable to the advantage of using for- and while-statements instead of JUMP or BRANCH instructions. In this paper the rules for writing a path expression are described, parsing and implementation are discussed and the use of path expressions is shown by a number of examples
Programming with views by A. Nico Habermann ( Book )
1 edition published in 1988 in English and held by 4 WorldCat member libraries worldwide
The equivalence of some deadlock-avoidance criteria by A. Nico Habermann ( Book )
1 edition published in 1973 in English and held by 4 WorldCat member libraries worldwide
System development and Ada : CRAI workshop on software factories and Ada; Capri, May 26-30, 1986; proceedings ( Book )
1 edition published in 1987 in English and held by 4 WorldCat member libraries worldwide
Parallel neighbor-sort, or, The glory of the induction principle by A. Nico Habermann ( Book )
3 editions published in 1972 in English and held by 4 WorldCat member libraries worldwide
Array A(1:N) (N> or = 2) is to be sorted in ascending order using procedure NS(i) which arranges the values of an adjacent pair A(i), A(i+1) in the right order. It is shown that a parallel process P which can perform at least N divided by 2 executions of procedure NS in parallel will sort array A in p steps where p <or = N. The proof is based on the observation that the distance of the position of a number in array A after p steps and its final position is bounded by N - p. (Author)
On a solution and a generalization of the cigarette smokers' problem by N Habermann ( Book )
2 editions published in 1972 in English and held by 3 WorldCat member libraries worldwide
The author of the Cigarette Smokers' Problem (S. Patil, MIT) tried to show that the problem could not be solved using Dijkstra's P- and V-operations without conditional statements. D.L. Parnas (CMU) showed that Patil's proof was false by presenting a solution using P- and V-operations, but no conditional statements. The paper presents first a correctness proof of Parnas' solution. This solution leads to an obvious generalization and in connection with it the question of an optimal set of distinguishable codewords is addressed. Finally a more natural approach to the problem is discussed and a solution for this variation is presented with its correctness proof. (Author)
Report on the use of Ada for design and implementation of part of Gandalf by A. Nico Habermann ( Book )
1 edition published in 1979 in English and held by 3 WorldCat member libraries worldwide
Future directions in software engineering : 17.02. - 21.02.92 (9208); [Dagstuhl Seminar on Future Directions in Software Engineering] ( Book )
2 editions published in 1992 in Undetermined and English and held by 3 WorldCat member libraries worldwide
Ada dla zaawansowanych by A. Nico Habermann ( Book )
1 edition published in 1989 in Polish and held by 2 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.69 (from 0.00 for Future dir ... to 0.86 for Efficient ...)
Alternative Names
Habermann, A. N.
Habermann, A. N. 1932-
Habermann, A. Nico 1932-
Habermann, Arie Nicolaas
Habermann, Arie Nicolaas 1932-
Habermann, Nico
Languages
English (54)
German (3)
Italian (1)
Polish (1)
Spanish (1)
Covers