WorldCat Identities

Madey, Jan

Overview
Works: 61 works in 106 publications in 3 languages and 298 library holdings
Genres: Conference papers and proceedings  Academic theses  Specifications 
Roles: Editor, Author, Illustrator, Contributor
Publication Timeline
.
Most widely held works by Jan Madey
Selected topics in information processing, IFIP-INFOPOL-76 by International conference on information processing <1976 ; Warsaw>( Book )

11 editions published in 1977 in English and held by 153 WorldCat member libraries worldwide

Wnioskowanie syntaktyczne i jego zastosowanie w projektowaniu języka formalnego by Jan Madey( Book )

6 editions published in 1973 in Polish and Undetermined and held by 13 WorldCat member libraries worldwide

ITS status report by Marlies Leppert( Book )

6 editions published in 1977 in English and held by 11 WorldCat member libraries worldwide

Formal specifications: foundations, methods, tools and applications : selected papers from the FMTA'95 Conference (29-31 May 1995, Konstancin n. Warsaw, Poland) by FMTA '95 Conference( Book )

4 editions published in 1997 in English and held by 10 WorldCat member libraries worldwide

Special issue to honour Professor W.M. Turski's contribution to computing science on the occasion of his 65th birthday( Book )

2 editions published in 2003 in English and held by 6 WorldCat member libraries worldwide

Pascal : język wzorcowy Pascal 6000 by Michał Iglewski( Book )

3 editions published in 1979 in Polish and held by 5 WorldCat member libraries worldwide

Jan Madej : Clemens-Sels-Museum, Neuss, 23. Juni - 1. Sept. 1985( Book )

1 edition published in 1985 in German and held by 5 WorldCat member libraries worldwide

Pascal : język wzorcowy : Pascal 360 by Michał Iglewski( Book )

2 editions published between 1984 and 1986 in Polish and held by 4 WorldCat member libraries worldwide

Functional documentation for computer systems engineering : version 2 by David Lorge Parnas( Book )

4 editions published between 1990 and 1991 in English and held by 4 WorldCat member libraries worldwide

Abstract: "This paper explains how we can produce documentation for computer systems that is analogous to the precise and detailed documentation produced in other areas of engineering. It shows how essential properties of computer systems, and their components, can be described by a set of mathematical relations. We can deal with real-time characteristics of these systems by allowing time-functions (functions whose domain is a set of values intended to represent time) to be used in the domain and range of the relations. Our approach is intended to support the systematic production of design documents and to permit thorough review and validation. The production of design documents plays a key role in engineering practice. The validation of documented designs, using pre- established criteria, is a major part of engineering. Conventional engineering documents are sufficiently detailed and precise that one can, for example, derive differential equations from the information that they contain. We propose similarly precise documents for computer systems and their components. This paper discusses the content of certain computer systems documents, without specifying their form. To accomplish this it defines documents in terms of the mathematical functions that must be described. Representational issues are discussed in separate papers. The documents described in this paper include: the 'system requirements document', the 'system design document', the 'software requirements document', an optional 'software behaviour specification', the 'module interface specification', and the 'module internal design document'. The content of each of these documents is specified precisely. Some other documents, including hardware descriptions and communication protocol descriptions, are mentioned briefly."
"ITS" project - toward specification by Jan Madey( Book )

1 edition published in 1975 in English and held by 4 WorldCat member libraries worldwide

Jan Madej( Book )

1 edition published in 1985 in Undetermined and held by 3 WorldCat member libraries worldwide

ALGOL 60 by Anna Jurkiewicz( Book )

3 editions published between 1969 and 1973 in Polish and held by 3 WorldCat member libraries worldwide

Oprogramowanie wspomagające modelowanie systemów liczących : projekt OS [Operating Systems Demonstration] Kit by Jan Madey( Book )

3 editions published in 1980 in Polish and held by 3 WorldCat member libraries worldwide

Edision-N - Edision implementation for a network of microcomputers by C Dubnicki( Book )

3 editions published in 1986 in English and held by 3 WorldCat member libraries worldwide

Users' language for "OS Demonstration Kit" by Jan Madey( Book )

1 edition published in 1974 in English and held by 3 WorldCat member libraries worldwide

Studium kotliny odkształcenia przy walcowaniu skośnym ze szczególnym uwzględnieniem parametrów siłowych i technologicznych by Jan Madey( Book )

2 editions published in 1968 in Polish and held by 3 WorldCat member libraries worldwide

Assessment of safety-critical software by David Lorge Parnas( Book )

3 editions published in 1990 in English and held by 2 WorldCat member libraries worldwide

Trace Specifications of Non-deterministic Multi-object Modules by Michał Iglewski( Book )

2 editions published in 1995 in English and held by 2 WorldCat member libraries worldwide

Kolposkopische Differentialdiagnose der Portiopapillomatose*( )

1 edition published in 2008 in German and held by 2 WorldCat member libraries worldwide

Precise documentation of well-structured programs by David Lorge Parnas( Book )

2 editions published in 1994 in English and held by 2 WorldCat member libraries worldwide

Abstract: "This paper describes a new form of program documentation that is precise, systematic and readable. This documentation comprises a set of displays supplemented by a lexicon and an index. Each display presents a program fragment in such a way that its correctness can be examined without looking at any other display. Each display has three parts: (1) the specification of the program presented in the display, (2) the program itself, and (3) the specifications of programs invoked by this program. The diplays are intended to be used by Software Engineers as a reference document during inspection and maintenance. This paper also introduces a specification technique that is a refinement of Mills' functional approach to program documentation and verification; programs are specified and described in tabular form."
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.79 (from 0.65 for Jan Madej ... to 0.98 for Pascal : j ...)

Alternative Names
Jan Madey Polish computer scientist

Jan Madey polski informatyk, wykładowca akademicki, profesor nauk technicznych

Madej, Jan 1942-

Madey, J.

Languages
English (39)

Polish (17)

German (3)