WorldCat Identities

Shrobe, Howard E.

Overview
Works: 27 works in 80 publications in 1 language and 1,330 library holdings
Genres: Conference proceedings 
Roles: Editor
Classifications: QA76.76.S375, 006.3
Publication Timeline
Key
Publications about  Howard E Shrobe Publications about Howard E Shrobe
Publications by  Howard E Shrobe Publications by Howard E Shrobe
Most widely held works by Howard E Shrobe
Interactive programming environments ( Book )
15 editions published between 1984 and 1987 in English and held by 361 WorldCat member libraries worldwide
Self-adaptive software : first international workshop, IWSAS 2000, Oxford, UK, April 17-19, 2000 : revised papers by Paul Robertson ( Book )
12 editions published in 2001 in English and held by 306 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
Exploring artificial intelligence : survey talks from the National Conferences on Artificial Intelligence by National Conference on Artificial Intelligence ( Book )
6 editions published in 1988 in English and held by 303 WorldCat member libraries worldwide
Self-adaptive software: applications : Second International Workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001 : revised papers by Robert Laddaga ( Book )
9 editions published in 2003 in English and held by 273 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
Self-adaptive software second international workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001 : revised papers by Robert Laddaga ( Book )
4 editions published in 2003 in English and held by 24 WorldCat member libraries worldwide
Dependency directed reasoning for complex program understanding by Howard E Shrobe ( Book )
5 editions published in 1979 in English 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 6 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
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 6 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)
Initial report on a LISP programmer's apprentice by Charles Rich ( Book )
4 editions published in 1976 in English and Undetermined and held by 6 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)
Dynamic object technology clearly explained by Paul Robertson ( Book )
1 edition published in 1999 in Undetermined and held by 4 WorldCat member libraries worldwide
Self-adaptive software first international workshop ; revised papers ( )
1 edition published in 2001 in English and held by 3 WorldCat member libraries worldwide
Proceedings, AAAI-87 by National Conference on Artificial Intelligence ( Book )
1 edition published in 1987 in English and held by 3 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
Floyd-Hoare verifiers 'considered harmful' by Howard E Shrobe ( Book )
1 edition published in 1978 in English and held by 3 WorldCat member libraries worldwide
Self-Adaptive Software: Applications Second International Workshop, IWSAS 2001 Balatonf red, Hungary, May 1719, 2001 Revised Papers ( )
1 edition published in 2003 in English and held by 2 WorldCat member libraries worldwide
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
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
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
Exploring artificial intelligence : 6th National conference on artificial intelligence : Papers by Exploring artificial intelligence ( Book )
1 edition published in 1988 in English and held by 1 WorldCat member library worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.79 (from 0.00 for Exploring ... to 1.00 for Understand ...)
Alternative Names
Shrobe, Howard E.
Shrobe, Howard Elliot
Shrobe, Howie
Languages
English (70)
Covers