David L. Parnas: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

Rapid prototyping by means of abstract module specifications written as trace axioms

Dixon, John K., McLean, John, Parnas, David L.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1982

Language:

english

File:

PDF, 295 KB

english, 1982

52

Little Bugs Take Big Bites

Parnas, David L.

Journal:

Year:

1991

Language:

english

File:

PDF, 283 KB

english, 1991

53

Licensing software engineers in Canada

Parnas, David Lorge

Journal:

Communications of the ACM

Year:

2002

Language:

english

File:

PDF, 77 KB

english, 2002

54

PySight: plug and play photon counting for fast continuous volumetric intravital microscopy

Har-Gil, Hagai, Golgher, Lior, Israel, Shai, Kain, David, Cheshnovsky, Ori, Parnas, Moshe, Blinder, Pablo

Journal:

Year:

2018

Language:

english

File:

PDF, 5.96 MB

english, 2018

55

Inside risks: ten myths about Y2K inspections

Parnas, David Lorge

Journal:

Communications of the ACM

Year:

1999

Language:

english

File:

PDF, 28 KB

english, 1999

56

Computer systems availability evaluation using a segregated failures model

Sergiy A. Vilkomir, David L. Parnas, Veena B. Mendiratta, Eamonn Murphy

Journal:

Quality and Reliability Engineering International

Year:

2008

Language:

english

File:

PDF, 352 KB

english, 2008

57

A family of computer systems for delivering individualized advice

Lillian Chik-Parnas, Marius Dragomiroiu, David Lorge Parnas

Journal:

Knowledge-Based Systems

Year:

2010

Language:

english

File:

PDF, 3.27 MB

english, 2010

58

Preface: Volume 44, Issue 3

Wolfram Kahl, David L. Parnas, Gunther Schmidt

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 55 KB

english, 2003

59

Varia with a Workshop on the Foundations of Partial Functions and Programming || A Logic for Describing, Not Verifying, Software

David Lorge Parnas

Journal:

Year:

1995

Language:

english

File:

PDF, 1.72 MB

english, 1995

60

[IEEE 1983 IEEE Military Communications Conference - Washington, DC, USA (1983.10.31-1983.11.2)] MILCOM 1983 - IEEE Military Communications Conference - On the Uses of Synchronization in Hard-real-time Systems

Faulk, Stuart R., Parnas, David L.

Year:

1983

Language:

english

File:

PDF, 1.33 MB

english, 1983

61

[IEEE Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Windsor, UK (2007.09.10-2007.09.14)] Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Tabular Expression-Based Testing Strategies: A Comparison

Feng, Xin, Parnas, David Lorge, Tse, T.H.

Year:

2007

Language:

english

File:

PDF, 303 KB

english, 2007

62

[IEEE 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - Plano, TX, USA (2007.11.14-2007.11.16)] 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - Precise Documentation of Critical Software

Parnas, David L., Vilkomir, Sergiy A.

Year:

2007

Language:

english

File:

PDF, 800 KB

english, 2007

63

Wikipedia risks

Denning, Peter, Horning, Jim, Parnas, David, Weinstein, Lauren

Journal:

Communications of the ACM

Year:

2005

Language:

english

File:

PDF, 54 KB

english, 2005

64

A language for describing the functions of synchronous systems

Parnas, David L.

Journal:

Communications of the ACM

Year:

1966

Language:

english

File:

PDF, 3.36 MB

english, 1966

65

On simulating networks of parallel processes in which simultaneous events may occur

Parnas, David L.

Journal:

Communications of the ACM

Year:

1969

Language:

english

File:

PDF, 7.45 MB

english, 1969

66

On synchronization in hard-real-time systems

Faulk, Stuart R., Parnas, David L.

Journal:

Communications of the ACM

Year:

1988

Language:

english

File:

PDF, 8.58 MB

english, 1988

67

[ACM Press the 1994 international symposium - Seattle, Washington, United States (1994.08.17-1994.08.19)] Proceedings of the 1994 international symposium on Software testing and analysis - ISSTA '94 - Generating a test oracle from program documentation

Peters, Dennis, Parnas, David L.

Year:

1994

Language:

english

File:

PDF, 779 KB

english, 1994

68

On facilitating parallel and multiprocessing in ALGOL

Parnas, David L.

Journal:

Communications of the ACM

Year:

1966

Language:

english

File:

PDF, 121 KB

english, 1966

69

On the need for fewer restrictions in changing compile-time environments

Parnas, David L., Shore, John E., Elliott, W. David

Journal:

ACM SIGPLAN Notices

Year:

1975

Language:

english

File:

PDF, 565 KB

english, 1975

70

Another view of the Dijkstra-dMLP controversy

Parnas, David L.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1978

Language:

english

File:

PDF, 133 KB

english, 1978

71

[ACM Press the conference - New Orleans, Louisiana, United States (1991.12.04-1991.12.06)] Proceedings of the conference on Software for citical systems - SIGSOFT '91 - On satisfying timing constraints in hard-real-time systems

Xu, Jia, Parnas, David Lorge

Year:

1991

Language:

english

File:

PDF, 1.68 MB

english, 1991

72

[ACM Press the International Symposium - Portland, Oregon, United States (2000.08.21-2000.08.24)] Proceedings of the International Symposium on Software Testing and Analysis - ISSTA '00 - Requirements-based monitors for real-time systems

Peters, Dennis K., Parnas, David L.

Year:

2000

Language:

english

File:

PDF, 460 KB

english, 2000

73

The non-problem of nested monitor calls

Parnas, David L.

Journal:

ACM SIGOPS Operating Systems Review

Year:

1978

Language:

english

File:

PDF, 467 KB

english, 1978

74

Letters to the editor: on improving the quality of our technical meetings

Parnas, David L.

Journal:

Communications of the ACM

Year:

1968

Language:

english

File:

PDF, 518 KB

english, 1968

75

[ACM Press the May 14-16, 1969, spring joint computer conference - Boston, Massachusetts (1969.05.14-1969.05.16)] Proceedings of the May 14-16, 1969, spring joint computer conference on XX - AFIPS '69 (Spring) - More on simulation languages and design methodology for computer systems

Parnas, David L.

Year:

1969

Language:

english

File:

PDF, 706 KB

english, 1969

76

Forced in-plane flow through complex deformable structures: Influence of an imposed curve

Henry L. Friedman, Robert A. Johnson, Bernard Miller, David R. Salem, Richard S. Parnas

Journal:

Polymer Composites

Year:

1997

Language:

english

File:

PDF, 654 KB

english, 1997

77

Visualization and quantification of forced in-plane flow through deformed porous media

Henry L. Friedman, Robert A. Johnson, Vladimir Gusev, Alexander V. Neimark, Dianne Buvel, David R. Salem, Richard S. Parnas

Journal:

Polymer Composites

Year:

1999

Language:

english

File:

PDF, 1.24 MB

english, 1999

78

Compound class modeling of hydropyrolysis

Richard S. Parnas, David T. Allen

Journal:

Chemical Engineering Science

Year:

1988

Language:

english

File:

PDF, 1.05 MB

english, 1988

79

Surrogate Alcohol Drinking in Estonia

Kersti Pärna, David A. Leon

Journal:

Alcoholism: Clinical and Experimental Research

Year:

2011

Language:

english

File:

PDF, 98 KB

english, 2011

80

Alcohol and premature death in Estonian men: a study of forensic autopsies using novel biomarkers and proxy informants

Inge Ringmets, Jana Tuusov, Katrin Lang, Marika Väli, Kersti Pärna, Mailis Tõnisson, Anders Helander, Martin McKee, David A Leon

Journal:

BMC Public Health

Year:

2012

Language:

english

File:

PDF, 263 KB

english, 2012

81

Validation of the L/S ratio determined by digital scanning densitometry

M. Laura Parnas, Janalee Renshaw, David G. Grenache

Journal:

Clinica Chimica Acta

Year:

2009

Language:

english

File:

PDF, 97 KB

english, 2009

82

Algorithm for interpreting the results of frequency doubling perimetry

Santosh C. Patel, David S. Friedman, Parna Varadkar, Alan L. Robin

Journal:

American Journal of Ophthalmology

Year:

2000

Language:

english

File:

PDF, 198 KB

english, 2000

83

A Global Perspective on Genetic Variation at the ADH Genes Reveals Unusual Patterns of Linkage Disequilibrium and Diversity

Michael V. Osier, Andrew J. Pakstis, Himla Soodyall, David Comas, David Goldman, Adekunle Odunsi, Friday Okonofua, Josef Parnas, Leslie O. Schulz, Jaume Bertranpetit, Batsheva Bonne-Tamir, Ru-Band Lu,

Journal:

The American Journal of Human Genetics

Year:

2002

Language:

english

File:

PDF, 1.20 MB

english, 2002

84

Fast Connected Components Algorithms for the EREW PRAM

Karger, David R., Nisan, Noam, Parnas, Michal

Journal:

SIAM Journal on Computing

Year:

1998

Language:

english

File:

PDF, 355 KB

english, 1998

85

Isolation and Structure of Leukotriene-A 4 Hydrolase Inhibitor: 8( S )-Amino-2( R )-methyl-7-oxononanoic Acid Produced by Streptomyces diastaticus

Parnas, Barry L., Durley, Richard C., Rhoden, Eric E., Kilpatrick, Brian F., Makkar, Narinder, Thomas, Kristin E., Smith, Walter G., Corley, David G.

Journal:

Journal of Natural Products

Year:

1996

Language:

english

File:

PDF, 107 KB

english, 1996

86

[ACM Press the fourth annual ACM symposium - San Diego, California, United States (1992.06.29-1992.07.01)] Proceedings of the fourth annual ACM symposium on Parallel algorithms and architectures - SPAA '92 - Fast connected components algorithms for the EREW PRAM

Karger, David R., Nisan, Noam, Parnas, Michal

Year:

1992

Language:

english

File:

PDF, 858 KB

english, 1992

87

Prevalence of alcohol-related pathologies at autopsy: Estonian Forensic Study of Alcohol and Premature Death

Tuusov, Jana, Lang, Katrin, Väli, Marika, Pärna, Kersti, Tõnisson, Mailis, Ringmets, Inge, McKee, Martin, Helander, Anders, Leon, David A.

Journal:

Year:

2014

Language:

english

File:

PDF, 110 KB

english, 2014

88

Inside risks: computers: boon or bane?

Parnas, David L., Neumann, Peter G.

Journal:

Communications of the ACM

Year:

2001

Language:

english

File:

PDF, 36 KB

english, 2001

89

Using information about functions in selecting test cases

Clermont, Markus, Parnas, David

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2005

Language:

english

File:

PDF, 179 KB

english, 2005

90

Requirements-based monitors for real-time systems

Peters, Dennis K., Parnas, David L.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2000

Language:

english

File:

PDF, 460 KB

english, 2000

91

[ACM Press the first international workshop - St. Louis, Missouri (2005.05.15-2005.05.21)] Proceedings of the first international workshop on Advances in model-based testing - A-MOST '05 - Using information about functions in selecting test cases

Clermont, Markus, Parnas, David

Year:

2005

Language:

english

File:

PDF, 179 KB

english, 2005

92

[ACM Press the 1966 21st national conference - Not Known (1966..-..)] Proceedings of the 1966 21st national conference on - - State table analysis of programs in an algo-like language

Parnas, David L.

Year:

1966

Language:

english

File:

PDF, 697 KB

english, 1966

93

SPIE Proceedings [SPIE Nondestructive Evaluation Techniques for Aging Infrastructures & Manufacturing - Newport Beach, CA (Wednesday 3 March 1999)] Process Control and Sensors for Manufacturing II - Fiber optic sensor for composite cure monitoring

Lenhart, Joseph L., van Zanten, John H., Dunkers, Joy P., Zimba, Carl G., James, Calvin A., Pollack, Steven K., Parnas, Richard S., Pepper, David M.

Year:

1999

Language:

english

File:

PDF, 246 KB

english, 1999

94

A common SLC26A4 -linked haplotype underlying non-syndromic hearing loss with enlargement of the vestibular aqueduct

Chattaraj, Parna, Munjal, Tina, Honda, Keiji, Rendtorff, Nanna D, Ratay, Jessica S, Muskett, Julie A, Risso, Davide S, Roux, Isabelle, Gertz, E Michael, Schäffer, Alejandro A, Friedman, Thomas B, More

Journal:

Journal of Medical Genetics

Year:

2017

Language:

english

File:

PDF, 1.12 MB

english, 2017

95

Tonic Activation of Presynaptic GABA B Receptors in the Opener Neuromuscular Junction of Crayfish

Parnas, Itzchak, Rashkovan, Grigory, Ong, Jennifer, Kerr, David I. B.

Journal:

Journal of Neurophysiology

Year:

1999

Language:

english

File:

PDF, 159 KB

english, 1999

96

Contributors To This Issue

Parnas, David, Bhaskaran, Sita, Dodin, Bajis

Journal:

INFOR Information Systems and Operational Research

Year:

1984

File:

PDF, 280 KB

1984