Author image not provided
 Władysław M Turski

Authors:
Add personal information
  Affiliation history
Bibliometrics: publication history
Average citations per article11.05
Citation Count232
Publication count21
Publication years1978-2003
Available for download6
Average downloads per article154.33
Downloads (cumulative)926
Downloads (12 Months)22
Downloads (6 Weeks)2
SEARCH
ROLE
Arrow RightAuthor only
· Editor only
· All roles


AUTHOR'S COLLEAGUES
See all colleagues of this author

SUBJECT AREAS
See all subject areas




BOOKMARK & SHARE


20 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 20 of 20
Result page: 1 2

Sort by:

1
October 2003 Information Processing Letters - Special issue: Contribution to computing science: Volume 88 Issue 1-2, 17 October 2003
Publisher: Elsevier North-Holland, Inc.
Bibliometrics:
Citation Count: 0


2
August 2002 IEEE Transactions on Software Engineering: Volume 28 Issue 8, August 2002
Publisher: IEEE Press
Bibliometrics:
Citation Count: 9

The difference equation determining evolutionary growth of (some) software systems is generalized to a differential one. A hypothetical geometric model is derived and its possible uses are illustrated.
Keywords: growth model equations, software evolution

3
March 2000 FASE '00: Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 8

Presents a personal view of the development of software engineering and its theoretical foundations, assesses the current state, lists (some) unresolved problems and identifies (some) directions of fruitful research. The Y2K problem is ignored.

4
November 1997 METRICS '97: Proceedings of the 4th International Symposium on Software Metrics
Publisher: IEEE Computer Society
Bibliometrics:
Citation Count: 107

The process of E-type software development and evolution has proven most difficult to improve, possibly due to the fact that the process is a multi-input, multi-output system involving feedback at many levels. This observation, first recorded in the early 70s during an extended study of OS/360 evolution, was recently captured ...
Keywords: Lehman's laws, Software:- process, evolution, process metrics, dynamics and improvement

5
January 1997 Automated Software Engineering: Volume 4 Issue 1, January 1997
Publisher: Kluwer Academic Publishers
Bibliometrics:
Citation Count: 0


6
August 1996 IEEE Transactions on Software Engineering: Volume 22 Issue 8, August 1996
Publisher: IEEE Press
Bibliometrics:
Citation Count: 28

This note presents a model of smooth software system evolution. The model assumes constant effort per release and takes into account the growth of system complexity.
Keywords: Evolution, Lehman's laws, system size prediction, complexity measure, constant effort.

7
May 1996 Science of Computer Programming - Special issue on mathematics of program construction: Volume 26 Issue 1-3, May 1996
Publisher: Elsevier North-Holland, Inc.
Bibliometrics:
Citation Count: 0


8
June 1992 Proceedings of the Second International Conference on Mathematics of Program Construction
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 0


9
November 1991 Theoretical Computer Science - Images of programming dedicated to the memory of Andrei P. Ershov: Volume 90 Issue 1, Nov. 1991
Publisher: Elsevier Science Publishers Ltd.
Bibliometrics:
Citation Count: 0


10
February 1991 Information Processing Letters: Volume 37 Issue 3, Feb. 18, 1991
Publisher: Elsevier North-Holland, Inc.
Bibliometrics:
Citation Count: 1


11
August 1990 Acta Informatica: Volume 27 Issue 9, Sep. 1990
Publisher: Springer-Verlag New York, Inc.
Bibliometrics:
Citation Count: 0


12
July 1988 BIT: Volume 28 Issue 3, 1988
Publisher: BIT Computer Science and Numerical Mathematics
Bibliometrics:
Citation Count: 3


13
October 1987
Bibliometrics:
Citation Count: 33


14 published by ACM
January 1987 ACM SIGSOFT Software Engineering Notes: Volume 12 Issue 1, Jan. 1987
Publisher: ACM
Bibliometrics:
Citation Count: 6
Downloads (6 Weeks): 0,   Downloads (12 Months): 1,   Downloads (Overall): 27

Full text available: PDFPDF
The phrase 'Integrated Project (or Programming) Support Environment' and its acronym IPSE are being increasingly used to describe a class of systems consisting of a collection of tools to be used in program development or evolution (maintenance). If the terms 'Integrated', 'Environment' and 'IPSE' are to be meaningful, their use ...

15
August 1985 ICSE '85: Proceedings of the 8th international conference on Software engineering
Publisher: IEEE Computer Society Press
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 1,   Downloads (12 Months): 3,   Downloads (Overall): 87

Full text available: PDFPDF
The history of advances in programming - the little that there is of it - is the history of successful formalisation: by inventing and studying formalism, by extracting rigorous procedures, we progressed from programming in machine code to programming in high level languages (HLLs). Note that before HLLs were sufficiently ...

16 published by ACM
April 1984 ACM SIGSOFT Software Engineering Notes: Volume 9 Issue 2, April 1984
Publisher: ACM
Bibliometrics:
Citation Count: 19
Downloads (6 Weeks): 2,   Downloads (12 Months): 8,   Downloads (Overall): 326

Full text available: PDFPDF
Software design - from 'topmost' specification down to final implementation - is viewed as a chain of uniform steps, each step being a transformation between two linguistic levels. A canonical form of the step is discussed and it is argued that all rational design activities are expressible as a combination ...

17
March 1984 ICSE '84: Proceedings of the 7th international conference on Software engineering
Publisher: IEEE Press
Bibliometrics:
Citation Count: 5
Downloads (6 Weeks): 1,   Downloads (12 Months): 7,   Downloads (Overall): 154

Full text available: PDFPDF
In this paper we present a (necessarily) informal and brief description of formal concepts which lend mathematical support to a paradigm of software development. Some important obligations which must be met by the software developers are pointed out. Correspondences between widely adhered to practices and their mathematical counterparts are identified ...
Keywords: Specification, implementation, formal theory, program development, proof obligations, software design, translation

18
March 1982 Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 0


19
September 1979 ICSE '79: Proceedings of the 4th international conference on Software engineering
Publisher: IEEE Press
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 1,   Downloads (12 Months): 3,   Downloads (Overall): 218

Full text available: PDFPDF
Software engineering has become a de rigueur part of all self-respecting conferences on computer subjects, and has complete masters degree curricula devoted to itself in some universities. Special templates for drawing “software engineering symbols” are being issued to employees of programming divisions of large companies, and uncounted audiences attend software ...

20 published by ACM
April 1978 ACM SIGSOFT Software Engineering Notes: Volume 3 Issue 2, April 1978
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 1,   Downloads (12 Months): 6,   Downloads (Overall): 75

Full text available: PDFPDF



The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2019 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us