ACM '82最新文献

{"title":"Motivation in the high technology industry","authors":"M. Bynum, W. Moseley","doi":"10.1145/800174.809808","DOIUrl":"https://doi.org/10.1145/800174.809808","url":null,"abstract":"Motivation of employees in the high technology environment needs some very special considerations. This seminar will address some ways of motivating employees in this environment. Each of the speakers/panelist are noted for their technical achievement as well as their ability to stimulate a healthy environment and generate enthusiam among their employees. The agenda will be a 15-20 minute statement of position from each participant and then questions and answers. The participants are:","PeriodicalId":321698,"journal":{"name":"ACM '82","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133641324","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Professional development seminars: Introduction to Pascal","authors":"A. W. Brown","doi":"10.1145/800174.809816","DOIUrl":"https://doi.org/10.1145/800174.809816","url":null,"abstract":"This intensive one-day tutorital introduces the concepts and abstractions upon which Pascal is based, current methods for specifying the syntax of a language, Pascal's relation to software engineering, and the status of the Pascal standardization activity.\u0000 A multimedia environment is used to develop Pascal programs on-line. At the end of the session, participants should be able to read and analyze Pascal code, differentiate between “true Pascal” and non-conforming Pascal-like code, and have a working knowledge of the syntactic definitions of Pascal: BNF, railroad diagrams, and a Pascal standard.","PeriodicalId":321698,"journal":{"name":"ACM '82","volume":"148 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133679145","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Automating the systems development process","authors":"Kenneth T. Orr","doi":"10.1145/800174.809804","DOIUrl":"https://doi.org/10.1145/800174.809804","url":null,"abstract":"A number of ways have been proposed to improve productivity in systems building: better management, better training, better tools. But each of these approaches by itself tends to fall short. Increasingly, it is becoming clear that those involved in developing computerized systems must do what they have been preaching to their clients. They must computerize!\u0000 Over the next few years, a new phrase - Computer Aided Design/Computer Aided Programming (CAD/CAP)—will describe the technology for automating the systems development process. Already three decades old, research into computer aided design and development of systems is beginning to bear fruit. And this technology coupled with the availability of low-cost mini/microcomputers are exciting prospects.","PeriodicalId":321698,"journal":{"name":"ACM '82","volume":"150 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134635959","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Waterloo microcomputer systems for the 1980's","authors":"D. Cowan, J. W. Graham","doi":"10.1145/800174.809749","DOIUrl":"https://doi.org/10.1145/800174.809749","url":null,"abstract":"Over the years the University of Waterloo has developed academic programs which have been rich in traditional material, but which have also had a pragmatic flavour. As a growing industrial nation, Canada has an insatiable requirement for people with state-of-the-art technical and managerial skills, and our government has encouraged us to enter into “mission-oriented” projects. The University of Waterloo was founded as a technologically-oriented university and as such has developed a broad requirement for computing.","PeriodicalId":321698,"journal":{"name":"ACM '82","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131324110","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Problems of the information age","authors":"D. Hillman","doi":"10.1145/800174.809799","DOIUrl":"https://doi.org/10.1145/800174.809799","url":null,"abstract":"The role of information in the U.S. economy has been increasing in importance in direct proportion to the growth of information technology. The information sector of the economy is now its most rapidly increasing segment. In 1962, the economist Machlup studied the production and distribution of knowledge in the United States. In 1977, Porat estimated that about 46% of the U.S. workforce is now employed in the information sector of the economy. Among other things, this means that more people in the United States are employed in manipulating information than in manufacturing products, providing services, or growing food. The expected continued growth of the information sector implies that society is being transformed by information and its uses. The transformation is such as to make information the real source of economic and political power. The information age, or information society, is thus an era in which the exchange of information will be as critical a function of economic organization as the production of goods.\u0000 One consequence of this is that information is now being treated as a commodity or a resource comparable to labor and capital. A slightly different view of information is that it conserves other resources through better decisions. What is common to all viewpoints is that by improving our handling of information we will raise private and public productivity.","PeriodicalId":321698,"journal":{"name":"ACM '82","volume":"235 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115580246","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Ansi basic—the proposed standard","authors":"Ronald E. Anderson","doi":"10.1145/800174.809806","DOIUrl":"https://doi.org/10.1145/800174.809806","url":null,"abstract":"The proposed standard for the programming language Basic, although not yet approved, is sufficiently stable to permit examination and discussion. It contains, for example the usual structural constructs, multicharacter variable names, external subroutines, two-dimensional plotting, and several simple file types. Optional extensions include additional file types, real-time, and a fixed-decimal module for business applications.\u0000 The Panel will present the main features of the proposed standard, will briefly discuss these features, and will accept questions about the standard. (Two of the panelists are members of ANSI committee X3J2, charged with developing the standard.)","PeriodicalId":321698,"journal":{"name":"ACM '82","volume":"87 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116758224","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Professional development seminars: The horror of the frozen specification","authors":"A. Brill","doi":"10.1145/800174.809818","DOIUrl":"https://doi.org/10.1145/800174.809818","url":null,"abstract":"“All that you do when you freeze the specification on a large project is to guarantee that the system you install will be obsolete!”\u0000 Can you imagine actually walking into the office of your most senior user and admitting that the new Whiz-Bang System, installed only last week after a 2-year development cycle, is obsolete? How are you going to explain that you just spent $12,000,000 to build a system that is 100% in sync with last year's needs?\u0000 It's hard to imagine so painful a meeting, but when we freeze a spec, what we're doing is trying to serve a dynamic environment with a fixed product. No wonder so many systems face a plague of “minor enhancements” during the first months of their operating lives.\u0000 “Sure,” you say, “it's nice to talk about flexibility, but how can we ever get anything done if we can't freeze the specs? That's what this session is all about. How can you maximize flexibility without bogging the project down completely? You'll learn both technical and managerial concepts that can help you to avoid pre-implementation obsolescence and improve user satisfaction.","PeriodicalId":321698,"journal":{"name":"ACM '82","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128071034","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Cognitive processes in information storage and retrieval","authors":"B. Somberg","doi":"10.1145/800174.809763","DOIUrl":"https://doi.org/10.1145/800174.809763","url":null,"abstract":"The typical office of today is deluged with papers of all sorts. There are reports, memos, forms, letters, and countless other types of documents. Even the most organized individuals have certainly faced the frustration of trying to locate a particular document among the hundreds of papers which reside in their office. When asked to estimate the percentage of the typical work day which is occupied by the filing and/or retrieval of information, responses by managers and executives tend to be in the 10 to 12 percent range. The following observed trends suggest that as we progress towards the “office-of-the-future” a similar type of problem will arise.\u0000 A rapidly increasing number of our daily activities are going to be accomplished through the assistance of a computer. Whereas not too many years ago computers were employed primarily for numerical data processing, today they are involved in tasks ranging from word processing and communication to manufacturing and accounting. The other important trend is the integration of various functions into single systems or workstations. Rather than having separate systems for electronic mail, word processing, accounting, etc., integrated systems combine many such features. The outcome of these two trends is that in a short amount of time an individual will accumulate a substantial number of computer files (e.g., memos, reports, budgets, mail, personnel files, etc.) to which periodic access may be required. As the number of such items increases, remembering what sequence of key presses will provide access to a particular piece of information can become a fairly difficult chore. As we know that human memory is fallible, it is essential that systems be designed which make the task of storing and retrieving information as simple and efficient as possible. The approach which we advocate is to examine the type of strategies which people naturally find useful for retrieving documents and to allow these strategies to be employed in computerized systems. What we will present here is a framework which outlines the types of processes which people engage in while filing and retrieving documents in a “paper office”. We feel that many of the same processes could be made useful in the “electronic office”.","PeriodicalId":321698,"journal":{"name":"ACM '82","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133653969","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"A graphical model of procedures for an automated manager's assistant","authors":"M. Bauer, Sylvia L. Osborn","doi":"10.1145/800174.809753","DOIUrl":"https://doi.org/10.1145/800174.809753","url":null,"abstract":"A model of office procedures based upon directed graphs is introduced. This model is being used as a basis for work on an office assistant which integrates office procedures performed by individuals and by the assistant. It also provides a framework for an interface to an on-line database system. This paper introduces the basic features of the model, including a set of primitive actions which determine the semantics for the office procedures within the model.","PeriodicalId":321698,"journal":{"name":"ACM '82","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116543120","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Proving properties of shared data structures application to functional programming","authors":"J. Hagelstein","doi":"10.1145/800174.809779","DOIUrl":"https://doi.org/10.1145/800174.809779","url":null,"abstract":"We describe a proof-oriented semantics for languages handling shared pointer structures. The main difficulty is to describe the store containing the pointer structure in an appropriate way. On the one hand, it should be easy to express the effect of the instructions handling pointers and on the other, it should be possible to state high-level properties of the structure (involving the concepts of lists, graphs,...). We review the previous works and propose an original solution which considers the store as a graph described by means of a collection of trees. This allows us to use a calculus of recursive functions in the domain of trees to specify properties of the pointer structure. We have chosen to illustrate those concepts in the case of a functional programming language, as no proof-oriented semantics of pointer handling has been proposed for such languages. To perform symbolic execution, we need to record both the value and the effect of a program at different stages of evaluation. To do so, we use the states (p;e)where p is a partially evaluated program and e is a store (described as stated above). To obtain a suitable proof method, we define (p;e) in a way which hides all details that are not observable by the user of the language. We axiomatize the needed relations between these pairs and use the resulting axioms as a basis of a formal proof technique, where the proofs proceed by symbolic execution and induction over trees. The language Lisp has been chosen because it is well-known. Nevertheless, no prior knowledge in Lisp is required.","PeriodicalId":321698,"journal":{"name":"ACM '82","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122170086","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}