WorldCat Identities

Shrobe, Howard E.

Overview
Works: 20 works in 96 publications in 1 language and 1,491 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author
Classifications: QA76.76.S375, 006.3
Publication Timeline
.
Most widely held works by Howard E Shrobe
Interactive programming environments( Book )

16 editions published between 1984 and 1987 in English and held by 352 WorldCat member libraries worldwide

Exploring artificial intelligence : survey talks from the National Conferences on Artificial Intelligence by Howard E Shrobe( Book )

14 editions published between 1988 and 1989 in English and Undetermined and held by 313 WorldCat member libraries worldwide

Self-adaptive software : first international workshop, IWSAS 2000, Oxford, UK, April 17-19, 2000 : revised papers by Paul Robertson( Book )

14 editions published in 2001 in English and held by 246 WorldCat member libraries worldwide

Self-adaptive software evaluates its own behavior and changes its behavior when the evaluation indicates that the software does not accomplish what it is intended to do or when better functionality or better performance is possible. The self-adaptive approach in software engineering builds on well-known features like the use of errors and the handling of exceptions in languages like Lisp or Java and aims at improving the robustness of software systems by gradually adding new features of self-adaption and autonomity. This book originates from the First International Workshop on Self-Adaptive Software, IWSAS 2000, held in Oxford, UK in April 2000. The revised full papers presented in the volume together with an introductory survey by the volume editors assess the state of the art in this emerging new field and set the scene for future research and development work
Self-adaptive software: applications : Second International Workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001 : revised papers by Robert Laddaga( Book )

18 editions published between 2002 and 2003 in English and held by 239 WorldCat member libraries worldwide

The 18 revised full papers presented in this book together with an introductory survey were carefully reviewed and constitute the documentation of the Second International Workshop on Self-adaptive Software, IWSAS 2001, held in Balatonfred, Hungary in May 2001. Self-adaptive software evaluates its own behavior and changes it when the evaluation indicates that the software does not accomplish what it is intended to do or when better functionality or better performance is possible. The self-adaptive approach in software engineering builds on well known dynamic features familiar to Lisp or Java programmes and aims at improving the robustness of software systems by gradually adding new features of self-adaption or autonomy
Dependency directed reasoning for complex program understanding by Howard E Shrobe( Book )

8 editions published in 1979 in English and Undetermined and held by 9 WorldCat member libraries worldwide

Artificial Intelligence research involves the creation of extremely complex programs which must possess the capability to introspect, learn, and improve their expertise. Any truly intelligent program must be able to create procedures and to modify them as it gathers information from its experience. A crucial stepping stone in AI research is the development of a system which can understand complex programs well enough to modify them. The Programmer's Apprentice Project is attempting to develop an interactive programming tool which will help expert programmers deal with the complexity involved in engineering a large software system. This report describes REASON, the deductive component of the programmer's apprentice. REASON is intended to help expert programmers in the process of evolutionary program design. REASON utilizes the engineering techniques of modelling, decomposition, and analysis by inspection to determine how modules interact to achieve the desired overall behavior of a program. REASON coordinates its various sources of knowledge by using a dependency-directed structure which records the justification for each deduction it makes. Once a program has been analyzed these justifications can be summarized into a teleological structure called a plan which helps the system understand the impact of a proposed program modification
Computer aided evolutionary design for software engineering by Charles Rich( Book )

3 editions published between 1978 and 1979 in English and held by 5 WorldCat member libraries worldwide

This memorandum reports on a partially implemented interactive computer aided-design tool for software engineering. A distinguishing characteristic of this project is its concern for the evolutionary character of software systems. It draws a distinction between algorithms and systems, centering its attention on support for the system designer. Although verification has played a large role in recent research, this perspective suggests that the complexity and evolutionary nature of software systems require a number of additional techniques. Managing of complexity is a fundamental issue in all engineering disciplines. The authors identify three major techniques used in mature engineering fields which seem applicable to the engineering of software systems: incremental modelling; multiple and almost hierachical decomposition; and analysis by inspection. Along these lines they have (1) Constructed a plan library to aid in analysis by inspection (the analysis of a program based on identifying standard algorithms and methods in it); (2) Identified a small set of plan building methods which can be used to decompose a softwre system into loosely coupled subsystems; (3) Developed the technique of temporal abstraction which makes it possible to model a program from a viewpoint which clearly separates the actions of generations and consumers of data; and (4) Developed a dependency-based reasoning system uniquely suited to incremental and evolutionary program analysis. These methods are substantially language independent and have been applied to programs written in several commonly used languages
Initial report on a LISP programmer's apprentice by Charles Rich( Book )

5 editions published between 1976 and 1978 in English and Undetermined and held by 5 WorldCat member libraries worldwide

The conceptual basis of the system lies in three forms of program description: (1) definition of structured data objects, their parts, properties, and relations between them, (2) input-output specification of the behavior of program segments (specs), and (3) a hierachical representation of the internal structure of programs (plans). The major theoretical work reported here is a representation for program plans which includes data flow, control flow, and also goal-subgoal prerequisite, and other dependency relationships between the segments of the program. (Author)
A hypothetical monologue illustrating the knowledge underlying program analysis by Howard E Shrobe( Book )

3 editions published between 1978 and 1979 in English and held by 4 WorldCat member libraries worldwide

Automated Program Analysis is the process of discovering decomposition of a system into sub-units such that the behavior of its parts. Analysis can be employed to increase the explanatory power of a program understanding system. We identify several techniques which are useful for automated program analysis. Chief among these is the identification and classification of the the macro-scale units of programming knowledge which are characteristics of the problem domain. We call these plans. This paper presents a summary of how plans can be used in program analysis in the form of a hypothetical monologue. We also show a small catalogue of plans which are characteristic of AI programming. Finally, we present some techniques which facilitate plan recognition. (Author)
Dynamic object technology clearly explained by Paul Robertson( Book )

1 edition published in 1999 in Undetermined and held by 4 WorldCat member libraries worldwide

Proceedings AAAI-86 Fifth National Conference on Artificial Intelligence, August 11-15, 1986, Philadelphia, Pa. by National Conference on Artificial Intelligence( Book )

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

AI programming technology : languages and machines : tutorial : AAAI '83 by Larry Melvin Masinter( Book )

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

Programming viewed as an engineering activity by Massachusetts Institute of Technology( Book )

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

It is profitable to view the process of writing programs as an engineering activity. A program is a deliberately contrived mechanism constructed from parts whose behaviors are combined to produce the behavior of the whole. One proposes to develop a notion of understanding a program which is analogous to similar notions in other engineering subjects. Understanding is a rich notion in engineering domains. It includes the ability to identify the parts of a mechanism and assign a purpose to each part. Understanding also entails being able to explain to someone how a mechanism works and rationalize its behavior under unusual circumstances. Part of the methodology for investigating these ideas is to build a computer-aided design tool for computer programs. The construction of this tool will serve both as a concrete realization of the theoretical ideas and as a testbed for our practical techniques
Understanding LISP programs : towards a programmer's apprentice by Charles Rich( Book )

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

Floyd-Hoare verifiers 'considered harmful' by Howard E Shrobe( Book )

1 edition published in 1978 in English and held by 2 WorldCat member libraries worldwide

How can the US survive information warfare?( Visual )

1 edition published in 1998 in English and held by 1 WorldCat member library worldwide

Howard Shrobe discusses why the architecture of a Survivable Information Infrastructre should draw on lessons from biological and social systems and why the traditional understanding of computer security is largely irrelevant
Plan verification in a programmer's apprentice : (Ph. D. thesis proposal) by Howard E Shrobe( Book )

1 edition published in 1977 in English and held by 1 WorldCat member library worldwide

Logic and reasoning for complex program understanding by Howard E Shrobe( Book )

1 edition published in 1978 in English and held by 1 WorldCat member library worldwide

Ensuring Survivable Information Services: Architecting, Diagnosing and Reconfiguring( Book )

2 editions published in 2002 in English and held by 1 WorldCat member library worldwide

The central premise of this work is that a significant shift of focus and approach is necessary in order to deal with the emerging threat of information attacks on the critical infrastructures of our society. A range of studies, for example those conducted by the RAND Corporation and by a DARPA ISAT project, raised the concern that a concerted information attack by a skillful and motivated opponent could lead to catastrophic consequences. In particular, it was observed that the increasing reliance by the Department of Defense on advanced information technologies made it particularly vulnerable to such attacks. Information attacks have few physical warning signs, are often extremely difficult to detect, are difficult to distinguish from normal malfunctions, and are capable of-interfering with or totally disabling complex military operations. Finally, it was observed that traditional security techniques only address part of the problem; they attempt to prevent attacks, but they offer little once an attack has been successfully launched
The Innovative Applications Conference Highlights and Changes by Howard E Shrobe( )

1 edition published in 1995 in English and held by 1 WorldCat member library worldwide

Our objectives for IAAI-96 are to enhance the content and maintain the focus of IAAI as an applications-oriented conference, distinct from the research-oriented national conference, and minimize -- or even eliminate -- the logistical barriers between them
Exploring Artificial Intelligence by Howard E Shrobe( )

1 edition published in 2014 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.63 (from 0.55 for Exploring ... to 1.00 for The Innova ...)

Exploring artificial intelligence : survey talks from the National Conferences on Artificial Intelligence
Alternative Names
Shrobe, Howard E.

Shrobe, Howie

Languages
English (92)

Covers
Self-adaptive software : first international workshop, IWSAS 2000, Oxford, UK, April 17-19, 2000 : revised papersSelf-adaptive software: applications : Second International Workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001 : revised papersDynamic object technology clearly explained