In this timely volume, the authors provide a penetrating analysis of the institutional mechanisms perpetuating the related problems of minorities' disenfranchisement and their underrepresentation on juries.
In this timely volume, the authors provide a penetrating analysis of the institutional mechanisms perpetuating the related problems of minorities' dis...
If the truth were told, this volume and its direct antecedents must rank among the most ambitious, if not simply pretentious, endeavors imag inable, at least in the social sciences. The titles of the volume and the chapters, promising to integrate the experiences of the sense of justice and the affectional bonding of people in close relations, seem straightforward and reasonable enough. What they fail to convey, however, is the simple bald fact that we in the human social sciences have no firm grasp on either of these two fundamental experiences-what we sometimes call "love" and "justice. "...
If the truth were told, this volume and its direct antecedents must rank among the most ambitious, if not simply pretentious, endeavors imag inable, a...
The contributions have been grouped into the following categories: functional morphology, biochemistry and pharmacology of pineal indoleamine synthesis, cell biology of melatonin interactions with its receptor, physiologic actions of melatonin with systems unrelated to neuroimmunology, functional re
The contributions have been grouped into the following categories: functional morphology, biochemistry and pharmacology of pineal indoleamine synthesi...
A comprehensive survey of current basic research on the paramyxo-viruses. Specialists actively working in the discipline present a variety of interpretations of paramyxovirus taxonomy, evolution, genetics, molecular biology, and epidemiology; interactions between paramyxoviruses and host cells; acut
A comprehensive survey of current basic research on the paramyxo-viruses. Specialists actively working in the discipline present a variety of interpre...
Introduces a number of software life cycle models and the basic concepts of object-oriented systems, then details different phases of a life cycle emphasizing the object-oriented paradigm. Among the topics are formal specifications and verification, programming and coding, declarative programming, a
Introduces a number of software life cycle models and the basic concepts of object-oriented systems, then details different phases of a life cycle emp...
This book is the proceedings ofa conference held November 1-3, 1989, to honor Samuel D. Conte for his many contributions to computer sci- ences at Purdue University and to the profession as a whole. The com- puter sciences program reflected the breadth of Conte's interests and ac- complishments; there were tributes to Conte, perspectives on computer science itself, and research papers. The first part of these proceedings chronicles the career and contri- butions; much of it is based on Conte's remarks made at the conference banquet. The second part of the proceedings starts with one vision of...
This book is the proceedings ofa conference held November 1-3, 1989, to honor Samuel D. Conte for his many contributions to computer sci- ences at Pur...
Software Engineering and Environment examines the various aspects of software development, describing a number of software life cycle models. Twelve in-depth chapters discuss the different phases of a software life cycle, with an emphasis on the object-oriented paradigm. In addition to technical models, algorithms, and programming styles, the author also covers several managerial issues key to software project management. Featuring an abundance of helpful illustrations, this cogent work is an excellent resource for project managers, programmers, and other computer scientists involved...
Software Engineering and Environment examines the various aspects of software development, describing a number of software life cycle models....
Observers in the present usually have an advantage when it comes to interpreting events of the past. In the case of software reuse, how- ever, it is unclear why an idea that has gained such universal accep- tance was the source of swirling controversy when it began to be taken seriously by the software engineering community in the mid-1980's. From a purely conceptual point of view, the reuse of software de- signs and components promises nearly risk-free benefits to the devel- oper. Virtually every model of software cost and development effort predicts first-order dependencies on either...
Observers in the present usually have an advantage when it comes to interpreting events of the past. In the case of software reuse, how- ever, it is u...
4. 3 The Gypsy language 72 4. 4 The Gypsy Verification Environment 73 4. 5 A simple example 81 4. 6 Specification data types 91 4. 7 Future directions 95 100 4. 8 Conclusions 5 Reliable programming in standard languages 102 Bernard Carre, Program Validation Ltd. 5. 1 Introduction 102 5. 2 Language requirements for high-integrity programming 103 5. 3 The use of standard languages 108 5. 4 Programming in Pascal and Ada 110 1'19 5. 5 Practical experiences NewSpeak: a reliable programming language 6 122 I. F. Currie, Royal Signals and Radar Establishment 6. 1 Introduction 122 6. 2 Types and...
4. 3 The Gypsy language 72 4. 4 The Gypsy Verification Environment 73 4. 5 A simple example 81 4. 6 Specification data types 91 4. 7 Future directions...