Pub Date : 1989-01-03DOI: 10.1109/HICSS.1989.48066
S. Mannucci, B. Mojana, V. Romano, M. C. Terzi
The innovative graphic features of the kernel of the integrated software development environment GRASPIN are discussed. GRASPIN extends to the graphic languages used in the early stages of software life cycle the benefits of the software development environment approach, in that it provides a graphlike internal representation of software documents and automatic layout tools. Standard techniques based on the abstract syntax tree are extended with links and attributes, which decorate internal representations, to describe the context-sensitive aspects of graphic languages. The consistency of graphic documents is maintained through the kernel syntactic primitives to provide context-free checks, while action routines are introduced to perform semantic and context-sensitive checks. The automatic layout produces aesthetic and pleasing layouts of documents.<>
{"title":"The kernel of a software development environment for graphic languages","authors":"S. Mannucci, B. Mojana, V. Romano, M. C. Terzi","doi":"10.1109/HICSS.1989.48066","DOIUrl":"https://doi.org/10.1109/HICSS.1989.48066","url":null,"abstract":"The innovative graphic features of the kernel of the integrated software development environment GRASPIN are discussed. GRASPIN extends to the graphic languages used in the early stages of software life cycle the benefits of the software development environment approach, in that it provides a graphlike internal representation of software documents and automatic layout tools. Standard techniques based on the abstract syntax tree are extended with links and attributes, which decorate internal representations, to describe the context-sensitive aspects of graphic languages. The consistency of graphic documents is maintained through the kernel syntactic primitives to provide context-free checks, while action routines are introduced to perform semantic and context-sensitive checks. The automatic layout produces aesthetic and pleasing layouts of documents.<<ETX>>","PeriodicalId":325958,"journal":{"name":"[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track","volume":"132 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132701417","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}
Pub Date : 1989-01-03DOI: 10.1109/HICSS.1989.47992
A. Finkelstein, H. Fuks
A formal framework for understanding the software development process is proposed, and software development as cooperative work is considered. The requirements for a framework are reviewed and set in the context of an established development paradigm. An underlying model of cooperative based on dialog is motivated and outlined. A formal scheme for expressing this model is introduced, and the basis constructs are described. Examples of the application of the framework taken from a small specification case study are provided. A tool to investigate software development in this style is presented. Software development strategies and methods are discussed. Future research directions are briefly presented.<>
{"title":"A cooperative framework for software engineering","authors":"A. Finkelstein, H. Fuks","doi":"10.1109/HICSS.1989.47992","DOIUrl":"https://doi.org/10.1109/HICSS.1989.47992","url":null,"abstract":"A formal framework for understanding the software development process is proposed, and software development as cooperative work is considered. The requirements for a framework are reviewed and set in the context of an established development paradigm. An underlying model of cooperative based on dialog is motivated and outlined. A formal scheme for expressing this model is introduced, and the basis constructs are described. Examples of the application of the framework taken from a small specification case study are provided. A tool to investigate software development in this style is presented. Software development strategies and methods are discussed. Future research directions are briefly presented.<<ETX>>","PeriodicalId":325958,"journal":{"name":"[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133732171","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}
Pub Date : 1989-01-03DOI: 10.1109/HICSS.1989.48095
S. Yang, T. Lewis, C. Hsieh
Oregon Speedcode Universe (OSU) is a software development environment for design, implementation, and maintenance of large software systems. Designed to be highly visual, OSU combines traditional structured-analysis techniques found in most computer-aided software engineering tools with the advanced graphical user-interface management systems found on most contemporary workstations. The design and implementation of four minute features of OSU are described: (1) the combination of functional decomposition with object-oriented design; (2) alternate architectural views, e.g. call graph, uses graph, object graph, and graphical display of procedures; (3) program understanding tools for design and maintenance; and (4) merging the user-interface specification with design and coding specifications.<>
{"title":"Integrating computer-aided software engineering and user interface management systems","authors":"S. Yang, T. Lewis, C. Hsieh","doi":"10.1109/HICSS.1989.48095","DOIUrl":"https://doi.org/10.1109/HICSS.1989.48095","url":null,"abstract":"Oregon Speedcode Universe (OSU) is a software development environment for design, implementation, and maintenance of large software systems. Designed to be highly visual, OSU combines traditional structured-analysis techniques found in most computer-aided software engineering tools with the advanced graphical user-interface management systems found on most contemporary workstations. The design and implementation of four minute features of OSU are described: (1) the combination of functional decomposition with object-oriented design; (2) alternate architectural views, e.g. call graph, uses graph, object graph, and graphical display of procedures; (3) program understanding tools for design and maintenance; and (4) merging the user-interface specification with design and coding specifications.<<ETX>>","PeriodicalId":325958,"journal":{"name":"[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134283189","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}
Pub Date : 1989-01-03DOI: 10.1109/HICSS.1989.48080
J.R. Weisbecker
The Concurr language for parallel systems is designed as an easy-to-use parallel programming facility. It provides constructs for expressing parallelism explicitly as well as constructs from which parallelism can be extracted implicitly by the compiler. Thus is offers a framework to evaluate the potential of the explicit and implicit approaches to parallelism within the same programming language. The language also attempts to overcome some restrictions of previous, sequential languages. Concurr can be used to prepare code for either multiprocessor parallel (MIMD) or data parallel (SIMD) architectures.<>
{"title":"Concurr-a problem solving language for parallel systems","authors":"J.R. Weisbecker","doi":"10.1109/HICSS.1989.48080","DOIUrl":"https://doi.org/10.1109/HICSS.1989.48080","url":null,"abstract":"The Concurr language for parallel systems is designed as an easy-to-use parallel programming facility. It provides constructs for expressing parallelism explicitly as well as constructs from which parallelism can be extracted implicitly by the compiler. Thus is offers a framework to evaluate the potential of the explicit and implicit approaches to parallelism within the same programming language. The language also attempts to overcome some restrictions of previous, sequential languages. Concurr can be used to prepare code for either multiprocessor parallel (MIMD) or data parallel (SIMD) architectures.<<ETX>>","PeriodicalId":325958,"journal":{"name":"[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115909839","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}
Pub Date : 1989-01-03DOI: 10.1109/HICSS.1989.48119
I. Chen, F. Bastani
Presents a hierarchical control structure incorporating telescopic replication for providing cost-effective redundancy for nodes providing centralized control. The lowest-level nodes of the hierarchy are designed to be inherently fault-tolerant. The higher-level nodes formulate optimal strategies and coordinate lower-level activities. Telescopic replication yields a good performance/cost ratio and allows the system to adapt to failures of higher-level nodes gradually, without the use of backward recovery.<>
{"title":"Telescopic replication in hierarchically structured process-control programs","authors":"I. Chen, F. Bastani","doi":"10.1109/HICSS.1989.48119","DOIUrl":"https://doi.org/10.1109/HICSS.1989.48119","url":null,"abstract":"Presents a hierarchical control structure incorporating telescopic replication for providing cost-effective redundancy for nodes providing centralized control. The lowest-level nodes of the hierarchy are designed to be inherently fault-tolerant. The higher-level nodes formulate optimal strategies and coordinate lower-level activities. Telescopic replication yields a good performance/cost ratio and allows the system to adapt to failures of higher-level nodes gradually, without the use of backward recovery.<<ETX>>","PeriodicalId":325958,"journal":{"name":"[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129280798","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}
Pub Date : 1989-01-03DOI: 10.1109/HICSS.1989.48037
L. Mark, H. D. Rombach
The authors describe research carried out to: (i) develop a software process and product specification language that allows all the information necessary to understand, control, and improve any given software engineering process; (ii) develop a meta-information-base schema that automatically generates an information-base structure given a software process and product specification; and (iii) develop a mapping between the software-engineering-oriented and information-base-oriented models. Their generator approach addresses the fact that software engineering changes not only from environment to environment, but also from project to project.<>
{"title":"Generating customized software engineering information bases from software process and product specifications","authors":"L. Mark, H. D. Rombach","doi":"10.1109/HICSS.1989.48037","DOIUrl":"https://doi.org/10.1109/HICSS.1989.48037","url":null,"abstract":"The authors describe research carried out to: (i) develop a software process and product specification language that allows all the information necessary to understand, control, and improve any given software engineering process; (ii) develop a meta-information-base schema that automatically generates an information-base structure given a software process and product specification; and (iii) develop a mapping between the software-engineering-oriented and information-base-oriented models. Their generator approach addresses the fact that software engineering changes not only from environment to environment, but also from project to project.<<ETX>>","PeriodicalId":325958,"journal":{"name":"[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128526273","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}
Pub Date : 1989-01-03DOI: 10.1109/HICSS.1989.48089
K. Rao, A. Gafni, G. Raeder
Dynamo is an object-oriented information model that underlies the Dynamo system, a general-purpose system for information management in a shared, distributed environment. The aim of the Dynamo system is to serve as a software platform for supporting a broad range of multimedia information processing activities than can be undertaken on a technical workstation. The Dynamo model synthesizes concepts from object-oriented programming languages and databases, hypermedia, CAD, (computer-aided design), and simulation. The core of the model consists of a very simple notion of active objects of which virtual time is an integral element. Objects are defined incrementally using cloning and delegation, and realize hypertextlike nodes and links with more expressive power than the usual passive links of hypertext. Virtual time provides the basis for a uniform approach to synchronization, versioning, and configuration control.<>
{"title":"Dynamo: a model for a distributed multi-media information processing environment","authors":"K. Rao, A. Gafni, G. Raeder","doi":"10.1109/HICSS.1989.48089","DOIUrl":"https://doi.org/10.1109/HICSS.1989.48089","url":null,"abstract":"Dynamo is an object-oriented information model that underlies the Dynamo system, a general-purpose system for information management in a shared, distributed environment. The aim of the Dynamo system is to serve as a software platform for supporting a broad range of multimedia information processing activities than can be undertaken on a technical workstation. The Dynamo model synthesizes concepts from object-oriented programming languages and databases, hypermedia, CAD, (computer-aided design), and simulation. The core of the model consists of a very simple notion of active objects of which virtual time is an integral element. Objects are defined incrementally using cloning and delegation, and realize hypertextlike nodes and links with more expressive power than the usual passive links of hypertext. Virtual time provides the basis for a uniform approach to synchronization, versioning, and configuration control.<<ETX>>","PeriodicalId":325958,"journal":{"name":"[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116200312","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}
Pub Date : 1989-01-03DOI: 10.1109/HICSS.1989.48079
A. Hey, D. Pritchard, C. Whitby-Strevens
A method is described for designing secure and highly efficient parallel programs that can be written simply and straightforwardly for a wide range of applications. The method is based on the Occam programming language and a set of paradigms, or program structures, which can be used individually or in combination. The concurrent behavior of the paradigms is readily understood, and the effective performance and scalability on transputer networks is easily assessed. The paradigms admit the use of languages such as Fortran and C for programming sequential computation components. The discipline imposed by the use of paradigms avoids problems such as deadlock and makes load by balancing tractable, avoiding the overheads of a resource management operating system. Examples, developed under the ESPRIT Supermode Project, demonstrate how a relatively low-cost system can deliver sustained gigaflop-level performance.<>
{"title":"Multi-paradigm parallel programming","authors":"A. Hey, D. Pritchard, C. Whitby-Strevens","doi":"10.1109/HICSS.1989.48079","DOIUrl":"https://doi.org/10.1109/HICSS.1989.48079","url":null,"abstract":"A method is described for designing secure and highly efficient parallel programs that can be written simply and straightforwardly for a wide range of applications. The method is based on the Occam programming language and a set of paradigms, or program structures, which can be used individually or in combination. The concurrent behavior of the paradigms is readily understood, and the effective performance and scalability on transputer networks is easily assessed. The paradigms admit the use of languages such as Fortran and C for programming sequential computation components. The discipline imposed by the use of paradigms avoids problems such as deadlock and makes load by balancing tractable, avoiding the overheads of a resource management operating system. Examples, developed under the ESPRIT Supermode Project, demonstrate how a relatively low-cost system can deliver sustained gigaflop-level performance.<<ETX>>","PeriodicalId":325958,"journal":{"name":"[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127919926","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}
Pub Date : 1989-01-03DOI: 10.1109/HICSS.1989.48025
M. Crosby, J. Stelovsky
Two empirical studies of the interaction between presentation medium and users' experience are reported. Subjects were presented with sets of algorithms that either showed their textual definition or demonstrated their behavior using graphics as an alternative presentation medium. Results of the first experiment showed an interaction between experience, presentation medium, and the algorithm itself. In particular, the presentation order plays a significant role. Textural presentations prior to graphical ones seem to provide the necessary framework for later assimilation of detailed information. A wide range of scan patterns was found. The findings suggest that textual and graphical presentation media differ in the way they facilitate understanding of algorithms. Furthermore, the great variety of viewing styles could be categorized according to the user's programming experience.<>
{"title":"The influence of user experience and presentation medium on strategies of viewing algorithms","authors":"M. Crosby, J. Stelovsky","doi":"10.1109/HICSS.1989.48025","DOIUrl":"https://doi.org/10.1109/HICSS.1989.48025","url":null,"abstract":"Two empirical studies of the interaction between presentation medium and users' experience are reported. Subjects were presented with sets of algorithms that either showed their textual definition or demonstrated their behavior using graphics as an alternative presentation medium. Results of the first experiment showed an interaction between experience, presentation medium, and the algorithm itself. In particular, the presentation order plays a significant role. Textural presentations prior to graphical ones seem to provide the necessary framework for later assimilation of detailed information. A wide range of scan patterns was found. The findings suggest that textual and graphical presentation media differ in the way they facilitate understanding of algorithms. Furthermore, the great variety of viewing styles could be categorized according to the user's programming experience.<<ETX>>","PeriodicalId":325958,"journal":{"name":"[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128811844","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}
Pub Date : 1989-01-03DOI: 10.1109/HICSS.1989.48083
R. Goldman, R. Gabriel
One of the major problems in converting serial programs to take advantage of parallel processing has been the lack of a multiprocessing language that is both powerful and understandable to programmers. The authors describe multiprocessing extensions to Common Lisp designed to be suitable for studying styles of parallel programming at the medium-grain level in a shared-memory architecture. The resulting language is called Qlisp. Two features for addressing synchronization problems are included in Qlisp. The first is the concept of heavyweight features, and the second is a novel type of function called a partially multiply invoked function. An initial implementation of Qlisp has been carried out, and various experiments performed. Results to date indicate that its performance is about as good as expected.<>
{"title":"Qlisp: parallel processing in Lisp","authors":"R. Goldman, R. Gabriel","doi":"10.1109/HICSS.1989.48083","DOIUrl":"https://doi.org/10.1109/HICSS.1989.48083","url":null,"abstract":"One of the major problems in converting serial programs to take advantage of parallel processing has been the lack of a multiprocessing language that is both powerful and understandable to programmers. The authors describe multiprocessing extensions to Common Lisp designed to be suitable for studying styles of parallel programming at the medium-grain level in a shared-memory architecture. The resulting language is called Qlisp. Two features for addressing synchronization problems are included in Qlisp. The first is the concept of heavyweight features, and the second is a novel type of function called a partially multiply invoked function. An initial implementation of Qlisp has been carried out, and various experiments performed. Results to date indicate that its performance is about as good as expected.<<ETX>>","PeriodicalId":325958,"journal":{"name":"[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129019723","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：