WorldCat Identities

DeMillo, Richard A.

Overview
Works: 64 works in 115 publications in 1 language and 2,644 library holdings
Genres: Conference proceedings 
Roles: Editor
Classifications: LA227.4, 378.73
Publication Timeline
Key
Publications about  Richard A DeMillo Publications about Richard A DeMillo
Publications by  Richard A DeMillo Publications by Richard A DeMillo
Most widely held works by Richard A DeMillo
Abelard to Apple the fate of American colleges and universities by Richard A DeMillo ( )
9 editions published between 2011 and 2013 in English and held by 1,396 WorldCat member libraries worldwide
The vast majority of American college students attend two thousand or so private and public institutions that might be described as the Middle--reputable educational institutions, but not considered equal to the elite and entrenched upper echelon of the Ivy League and other prestigious schools. Richard DeMillo has a warning for these colleges and universities in the Middle: If you do not change, you are heading for irrelevance and marginalization. In Abelard to Apple, DeMillo argues that these institutions, clinging precariously to a centuries-old model of higher education, are ignoring the social, historical, and economic forces at work in today's world. In the age of iTunes, open source software, and for-profit online universities, there are new rules for higher education. DeMillo, who has spent years in both academia and in industry, explains how higher education arrived at its current parlous state and offers a road map for the twenty-first century. He describes the evolving model for higher education, from European universities based on a medieval model to American land-grant colleges to Apple's iTunes U and MIT's OpenCourseWare. He offers ten rules to help colleges reinvent themselves (including "Don't romanticize your weaknesses") and argues for a focus on teaching undergraduates. DeMillo's message--for colleges and universities, students, alumni, parents, employers, and politicians--is that any college or university can change course if it defines a compelling value proposition (one not based in "institutional envy" of Harvard and Berkeley) and imagines an institution that delivers it. -- Book cover
Foundations of secure computation by R. A Demillo ( Book )
6 editions published in 1978 in English and held by 372 WorldCat member libraries worldwide
Data base security; Encryption as a security mechanism; Design-oriented models of operating system security; Theoretical models of operating system security
Applied cryptology, cryptographic protocols, and computer security models ( Book )
13 editions published between 1983 and 1988 in English and held by 371 WorldCat member libraries worldwide
Software testing and evaluation ( Book )
8 editions published in 1987 in English and held by 327 WorldCat member libraries worldwide
Studies in computer science : in honor of Samuel D. Conte by John Rice ( Book )
6 editions published in 1994 in English and held by 94 WorldCat member libraries worldwide
Abelard to Apple : the fate of American colleges and universities in the twenty-first century by Richard A DeMillo ( Book )
2 editions published in 2011 in English and held by 10 WorldCat member libraries worldwide
Even data bases that lie can be compromised by Richard A DeMillo ( Book )
4 editions published between 1976 and 1977 in English and Undetermined and held by 4 WorldCat member libraries worldwide
Users can compromise data bases by asking a series of questions, even when the data systems are allowed to lie. (Author)
Mutation analysis as a tool for software quality assurance by Richard A DeMillo ( Book )
2 editions published in 1980 in English and held by 3 WorldCat member libraries worldwide
A protocol for using mutation analysis as a tool for software quality assurance is described. The results of experiments on the reliability of this method are also described. (Author)
Mutation Analysis by Allen Troy Acree ( Book )
3 editions published in 1979 in English and held by 3 WorldCat member libraries worldwide
A new type of software test is introduced, called mutation analysis. A method for applying mutation analysis is described, and the results of several experiments to determine its effectiveness are given. Finally it is shown how mutation analysis can subsume or augment many of the more traditional program testing techniques. (Author)
Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages by Richard A DeMillo ( )
1 edition published in 1982 in English and held by 2 WorldCat member libraries worldwide
Software project forecasting by Richard A DeMillo ( Book )
2 editions published in 1980 in English and held by 2 WorldCat member libraries worldwide
We have argued that a major use of software metrics is in the forecasting problem for software projects. By analogy with weather forecasting, we may characterize the current state of knowledge in software forecasting as the gathering of portents. While these may be useful and sometimes decisive in project management, they are prescientific and qualitative. Further, it seems very unlikely that the portents can be developed into a useful theory of forecasting. To develop scientific forecasting tools, a rational way of predicting the future from historical primary data is required. It is also important that the primary data and the measurements used to obtain it satisfy some basic methodological requirements -- for example, the hypotheses developed from the measurements should be meaningful in the sense implied by measurement theory. The statistical approach, seeking to predict future events on the basis of historical patterns, seems to be an attractive short range approach to the forecasting problem. The goal of the exact method is to be able to apply largescale computation to many micropredictions to synthesize a quantitative forecast
A Constructive Generalization of the Borel-Cantelli Lemma with Application to the Complexity of Infinite Strings by Richard A DeMillo ( Book )
2 editions published in 1975 in English and held by 2 WorldCat member libraries worldwide
A constructive adaptation of the Borel-Cantelli Lemma is obtained. Applications to several problems of complexity include the existence of hard 0,1 polynomials. (Author)
Proceedings of the sixteenth annual ACM symposium on Theory of computing by Richard A DeMillo ( )
1 edition published in 1984 in English and held by 2 WorldCat member libraries worldwide
The power of control structures and data structures by Richard A DeMillo ( Book )
1 edition published in 1976 in English and held by 2 WorldCat member libraries worldwide
Papers on Program Testing by Richard A DeMillo ( Book )
3 editions published in 1979 in English and held by 2 WorldCat member libraries worldwide
Since late 1976, we have been involved in what we believe is a new approach to computer program testing, an approach called mutation analysis (and we shall forever be indebted to Jerome Feldman for suggesting the term). The main novelties of the mutation approach to program testing are its simplicity, its empirical basis, its ease of mechanical implementation, and its tractability for scientific analysis. Although much remains to be learned about mutation as a testing tool, there is a considerable body of written material which describes our initial experience with the technique. Much of this material has appeared only in workshops or as memoranda, so we have been urged to collect it together for wider dissemination. The current collection is the result. The reader should note that the selections do not appear in chronological order; rather, they are organized so that a sufficiently patient reader may proceed from the conceptual basis of mutation analysis through implementation, application, and theoretical issues
Foundations of secure computation by Richard A DeMillo ( Book )
1 edition published in 1978 in English and held by 2 WorldCat member libraries worldwide
Statistical Measures of Software Reliability by Richard A DeMillo ( Book )
2 editions published in 1980 in English and held by 2 WorldCat member libraries worldwide
Estimating program reliability presents many of the same problems as measuring software performance and cost: the central technical issue concerns the existence of an independent objective scale upon which may be based a qualitative judgement of the ability of a given program to function as intended in a specified environment over a specified time interval. Several scales have already been proposed. While these concepts may have independent interest, they fail to capture the most significant aspect of reliability estimation as it applies to software: most software is unreliable by these standards, but the degree of unreliability is not quantified. A useful program which has not been proved correct is unreliable, but so is, say, the null program (unless by some perversity of specification the null program satisfies the designer); an operationally meaningful scale of reliability should distinguish these extremes. In the sequel, we will sketch the outlines of the traditional theory that is most relevant to software reliability estimation, give a brief critical analysis of the use of the traditional theory in measuring reliability, and describe another use of the R(t) measure which we believe more closely fits the intuitive requirements of the scale we asked for above
Formal semantics and the logical structure of programming languages by Richard A DeMillo ( Book )
1 edition published in 1972 in English and held by 2 WorldCat member libraries worldwide
Protocols for data security by Richard A DeMillo ( Book )
1 edition published in 1982 in English and held by 2 WorldCat member libraries worldwide
A comparison of some reliable test data generation procedures by Richard A DeMillo ( Book )
2 editions published in 1981 in English and held by 2 WorldCat member libraries worldwide
A set of mutants of a program P, M(P), is a finite subset of the set of all programs written in the language of P, and EM(P) is the set of programs in M(P) which are (functionally) equivalent to p. For a set of test data T, DM(P, T) is the set of programs in M(P) which give results differing from P on at least one point in T. As described elsewhere, it is possible to choose the function M so that ms (P, T) = 1 only if T demonstrates the correctness of P with high probability. This paper is a case study of four test data generation schemes. For a fixed program P, five sets of test data are generated and mutation scores are calculated using the FMS. 2 mutation system. Since each set has a score less than one, the FMS. 2 system is used to derive a set T such that ms(P, T)=1
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.57 (from 0.39 for Abelard to ... to 1.00 for Mutation A ...)
Alternative Names
DeMillo, R. A.
Millo, Richard A. de
Languages
English (69)
Covers