Scispace (Formerly Typeset)
  1. Home
  2. Topics
  3. Software construction
  4. 1998
  1. Home
  2. Topics
  3. Software construction
  4. 1998
Showing papers on "Software construction published in 1998"
Journal Article•10.2307/1270548•
Geostatistical Software Library and User's Guide

[...]

Eric R. Ziegel, Clayton V. Deutsch, Andre G. Journel
01 Nov 1998-Technometrics
TL;DR: This volume is a library of programs aimed at three major areas of geostatistics: quantifying spatial variability (variograms), generalized linear regression techniques (kriging), and stochastic simulation.
Abstract: This book will be an important text to most of geostatisticians, including graduate students and experts in the field of practical geostatistics. The guts of this volume are the two highdensity IBM disks which come with it and contain 37 programs which can be run in both UNIX and DOS environments but are not machine specific. The programs are aimed at three major areas of geostatistics: quantifying spatial variability (variograms), generalized linear regression techniques (kriging), and stochastic simulation. In all there are some 80 source files included with the distribution diskettes. The programs are not execuable but require to be compiled before running them. A machine with a fortran compiler is required. The intent of the authors is to make this suite of programs accessible to anyone who wants to use them. The source code of these programs has been assembled, developed, tested, and tried at Stanford University over a period of some 12 years. Though this library of programs is not intended as a commercial product it represents a gold mine to those who need a jump start into the field of geostatistics.

932 citations

Proceedings Article•10.5555/302163.302181•
Architecture-based runtime software evolution

[...]

Peyman Oreizy1, Nenad Medvidovic1, Richard N. Taylor1•
University of California, Irvine1
1 Apr 1998
TL;DR: An architecture-based approach to runtime software evolution is presented and the role of software connectors in supporting runtime change is highlighted and an initial implementation of a tool suite for supporting the runtime modification of software architectures is presented.
Abstract: Continuous availability is a critical requirement for an important class of software systems. For these systems, runtime system evolution can mitigate the costs and risks associated with shutting down and restarting the system for an update. We present an architecture-based approach to runtime software evolution and highlight the role of software connectors in supporting runtime change. An initial implementation of a tool suite for supporting the runtime modification of software architectures, called ArchStudio, is presented.

728 citations

Journal Article•10.1109/2.675630•
Experimental models for validating technology

[...]

Marvin V. Zelkowitz1, Dolores R. Wallace2•
University of Maryland, College Park1, National Institute of Standards and Technology2
01 May 1998-IEEE Computer
TL;DR: A taxonomy for software engineering experimentation can be found in this article, where the authors describe twelve different experimental approaches for attribute evaluation and evaluate whether methods used in accordance with some theory during product development will result in software being as effective as necessary.
Abstract: Experimentation helps determine the effectiveness of proposed theories and methods. However, computer science has not developed a concise taxonomy of methods for demonstrating the validity of new techniques. Experimentation is a crucial part of attribute evaluation and can help determine whether methods used in accordance with some theory during product development will result in software being as effective as necessary. By looking at multiple examples of technology validation, the authors develop a taxonomy for software engineering experimentation that describes twelve different experimental approaches.

576 citations

Patent•
Software package management

[...]

Jonathan A. Forbes1, Jeremy D. Stone1, Srivatsan Parthasarathy1, Michael J. Toutonghi1, Michael V. Sliger1 •
Microsoft1
19 Jun 1998
TL;DR: A software package manager uses a distribution unit containing components for a software package and a manifest file that describes the distribution unit to manage the installation, execution, and uninstallation of software packages on a computer.
Abstract: A software package manager uses a distribution unit containing components for a software package and a manifest file that describes the distribution unit to manage the installation, execution, and uninstallation of software packages on a computer. Information in the manifest file pertaining to a software package is stored in a code store data structure upon installation of the package. The manifest file also contains information that permits the software package manager to resolve any software dependencies upon installation. The software package manager uses the code store data structure to locate the required components when the software is executed and to remove the components appropriately when the software is uninstalled.

546 citations

Book•
Software Engineering: Theory and Practice

[...]

Shari Lawrence Pfleeger
15 Jan 1998
TL;DR: Dr. Pfleeger presents concepts at both the micro and macro levels, using numerous case studies and examples to illustrate clearly how large software development projects progress from need to idea to reality.
Abstract: From the Publisher: A firm grounding in software engineering theory and practice is essential for understanding how to build good software and for evaluating the risks and opportunities that software presents in our lives. Software Engineering blends the two current software engineering worlds: that of the practitioner whose main focus is on building high-quality products to perform useful functions, and that of the researcher who strives to improve the quality of products and the productivity of those who build them. Dr. Pfleeger presents concepts at both the micro and macro levels, using numerous case studies and examples to illustrate clearly how large software development projects progress from need to idea to reality.

463 citations

Book•
A Framework of Software Measurement

[...]

Horst Zuse
12 Jan 1998
TL;DR: The system ZD-MIS, proof of the equivalence of extensive structures, and axioms systems definitions theorems exercises references to literature name and subject indexes.
Abstract: Aspects of software Measurement history of Software Measurement foundation of Software Measurement I foundations of Software Measurement II Measurement theory and object-oriented software measures desirable properties of software measures validation of software measures and prediction models applications of software measures afterword solutions of exercises glossary of terms and terms used as synonyms. Attachment 1 - the system ZD-MIS attachment 2 - proof of the equivalence of extensive structures attachment 3 - proof of the theorems of chapter 8 attachment 4 - proof of the theorems of chapter 5 attachment 5 - notations and used symbols attachment 6 - axioms systems definitions theorems exercises references to literature name and subject indexes.

403 citations

Book•
Software Process Improvement: Practical Guidelines for Business Success

[...]

Sami Zahran1•
IBM1
1 Mar 1998
TL;DR: This book will help to establish a process-focused software development organizatio design and implement procedures for developing quality software in time and within budge benchmark your organization against the industry standards for the software process.
Abstract: This book will help you to manage and control the quality of your organization's software products Continually dealing with the problems caused by software defects can be both time-consuming and demanding but Sami Zahran's pragmatic approach will take you from reactive fire-fighting to a preventative culture of disciplined and continuous process improvement This book will help you: establish a process-focused software development organizatio design and implement procedures for developing quality software in time and within budge benchmark your organization against the industry standards for the software process, including the Capability Maturity Model (CMM), ISO 9001, the new standard ISO/IEC 15504 (originally known as SPICE) and Bootstrap

391 citations

Journal Article•10.1109/52.714817•
Testing component-based software: a cautionary tale

[...]

Elaine J. Weyuker1•
AT&T Labs1
01 Sep 1998-IEEE Software
TL;DR: The author emphasizes the need to closely examine a problematic aspect of component reuse: the necessity and potential expense of validating components in their new environments.
Abstract: Components designed for reuse are expected to lower costs and shorten the development life cycle, but this may not prove so simple. The author emphasizes the need to closely examine a problematic aspect of component reuse: the necessity and potential expense of validating components in their new environments.

339 citations

Journal Article•10.1287/MNSC.44.4.433•
Software Development Practices, Software Complexity, and Software Maintenance Performance: a Field Study

[...]

Rajiv D. Banker, Gordon B. Davis, Sandra A. Slaughter
01 Apr 1998-Management Science
TL;DR: A two-stage model in which software complexity is a key intermediate variable that links design and development decisions to their downstream effects on software maintenance is developed, suggesting an important link between software development practices and maintenance performance.
Abstract: Software maintenance claims a large proportion of organizational resources. It is thought that many maintenance problems derive from inadequate software design and development practices. Poor design choices can result in complex software that is costly to support and difficult to change. However, it is difficult to assess the actual maintenance performance effects of software development practices because their impact is realized over the software life cycle. To estimate the impact of development activities in a more practical time frame, this research develops a two-stage model in which software complexity is a key intermediate variable that links design and development decisions to their downstream effects on software maintenance. The research analyzes data collected from a national mass merchandising retailer on 29 software enhancement projects and 23 software applications in a large IBM COBOL environment. Results indicate that the use of a code generator in development is associated with increased software complexity and software enhancement project effort. The use of packaged software is associated with decreased software complexity and software enhancement effort. These results suggest an important link between software development practices and maintenance performance.

309 citations

Journal Article•10.1109/52.663784•
Acquiring COTS software selection requirements

[...]

Neil Maiden1, Cornelius Ncube•
City University London1
01 Mar 1998-IEEE Software
TL;DR: A model for matching COTS product features with user requirements is proposed and extended to extend state of the art requirements acquisition techniques to the component based software engineering process.
Abstract: Commercial off the shelf software can save development time and money if you can find a package that meets your customer's needs. The authors propose a model for matching COTS product features with user requirements. To support requirements acquisition for selecting commercial off the shelf products, we propose a method we used recently for selecting a complex COTS software system that had to comply with over 130 customer requirements. The lessons we learned from that experience refined our design of PORE (procurement oriented requirements engineering), a template based method for requirements acquisition. We report 11 of these lessons, with particular focus on the typical problems that arose and solutions to avoid them in the future. These solutions, we believe, extend state of the art requirements acquisition techniques to the component based software engineering process.

309 citations

Patent•
Computer manufacturing with smart configuration methods

[...]

Jerald C. Fisher, Lien Dai Nguyen, James E. Young, Gunnar P. Seaburg, Galen W. Hedlund, Richard S. Katz 
30 Apr 1998
TL;DR: In this article, a system of computer manufacturing with pre-installation of software which utilizes a software selection process controlled by a rules database to determine the proper software components to be pre-installed onto an assembled computer or hard drive.
Abstract: A system of computer manufacturing with pre-installation of software which utilizes a software selection process controlled by a rules database to determine the proper software components to be pre-installed onto an assembled computer or hard drive. Additionally, the rules base determines the appropriate diagnostic and set-up software components to be installed in order to ensure a system that is ready-to-run upon receipt by a purchaser.
Journal Article•10.1016/S0950-7051(98)00053-7•
CyberDesk: a framework for providing self-integrating context-aware services

[...]

Anind K. Dey1, Gregory D. Abowd1, Andrew Wood2•
Georgia Institute of Technology1, University of Birmingham2
30 Sep 1998-Knowledge Based Systems
TL;DR: CyberDesk is presented, a framework for self-integrating software in which integration is driven by user context, which relieves the burden on programmers by removing the necessity to predict how software should be integrated.
Abstract: Applications are often designed to take advantage of the potential for integration with each other via shared information. Current approaches for integration are limited, affecting both the programmer and end-user. In this paper, we present CyberDesk, a framework for self-integrating software in which integration is driven by user context. It relieves the burden on programmers by removing the necessity to predict how software should be integrated. It also relieves the burden from users by removing the need to understand how to make different software components work together.
Proceedings Article•10.1145/271771.271792•
Automated program flaw finding using simulated annealing

[...]

Nigel Tracey1, John A. Clark1, Keith C. Mander1•
University of York1
1 Mar 1998
TL;DR: This paper outlines a generalised test-case data generation framework based on optimisation techniques that can incorporate a number of testing criteria, for both functional and non-functional properties.
Abstract: One of the major costs in a software project is the construction of test-data. This paper outlines a generalised test-case data generation framework based on optimisation techniques. The framework can incorporate a number of testing criteria, for both functional and non-functional properties. Application of the optimisation framework to testing specification failures and exception conditions is illustrated. The results of a number of small case studies are presented and show the efficiency and effectiveness of this dynamic optimisation-base approach to generating test-data.
Book•
Numerical Methods for Engineers: With Programming and Software Applications

[...]

Steven C. Chapra, Raymond P. Canale
1 Jan 1998
TL;DR: This course is designed to teach universal procedural programming skills, to teach problem decomposition algorithm development, and debugging, and to teach numerical methods and their practical implementation for engineering problems, to demonstrate the practical application of computers as an engineering tool.
Abstract: Goals The goals of this course are to teach universal procedural programming skills, to teach problem decomposition algorithm development, and debugging, to teach numerical methods and their practical implementation for engineering problems, and to demonstrate the practical application of computers as an engineering tool. The material will be presented assuming the student has no prior programming experience. The primary vehicle for teaching programming skills will be the Matlab programming environment, however the skills learned will be readily adaptable to other languages that the student may work with in future. In addition, the use of the MathCad mathematical worksheet software will be covered. The first segment of the course will cover programming in Matlab and MathCad while the second segment will cover numerical methods and their implementation using Matlab and MathCad.
Patent•
Software implementation installer mechanism

[...]

John C. Delo1, Malcolm S. Haar1, Chetan A. Parulekar1, Tracy D. Ferrier1, Benjamin C. Chamberlain1, David Gonzalez1, David Ray Rees Mckinnis1 •
Microsoft1
21 Sep 1998
TL;DR: In this paper, a method and mechanism for automatically installing software implementations such as applications and COM classes as they are needed from an external source is presented, where a software implementation is needed, and if found, returns the information such as a local path needed to use the software implementation.
Abstract: A method and mechanism for automatically installing software implementations such as applications and COM classes as they are needed from an external source. When a software implementation is needed, the mechanism first looks to the local system (e.g., registry) for that software implementation, and if found, returns the information such as a local path needed to use the software implementation. If the implementation is not found, the mechanism looks to another source, such as a CD-ROM or a centralized class store of a network, to locate the needed implementation. When located, the implementation is downloaded and locally installed from the source, and a local path is returned in a manner that is essentially transparent to the user. Software implementations such as application products may be divided into features and components to improve on-demand installation thereof.
Journal Article•10.1023/A:1018964121953•
A survey of software reuse libraries

[...]

Ali Mili, Rym Mili1, Roland T. Mittermeir2•
University of Texas at Dallas1, Alpen-Adria-Universität Klagenfurt2
11 Jan 1998-Annals of Software Engineering
TL;DR: A survey of methods of storage and retrieval of software assets in software libraries finds that most existing solutions are either too ineffective to be useful or too intractable to be usable.
Abstract: The study of storage and retrieval methods of software assets in software libraries gives rise to a number of paradoxes: While this subject has been under investigation for nearly two decades, it still remains an active area of research in software reuse and software engineerings this can be explained by the observation that new technologies (such as the internet, the world wide web, objectdoriented programming) keep opening new opportunities for better asset packaging, better library organizations, and larger scale libraries – thereby posing new technical challenges. Also, while many sophisticated solutions have been proposed to this problem, the state of the practice in software reuse is characterized by the use of addhoc, lowdtech methodss this can be explained by the observation that most existing solutions are either too ineffective to be useful or too intractable to be usable. Finally, while it is difficult to imagine a successful software reuse program without a sophisticated, welldtuned, systematic procedure for software component storage and retrieval, it seems many successful software reuse experiments rely on trivial methods of component storage and retrievals this can be explained by the observation that, in the current state of the practice, software libraries are not the bottleneck of the software reuse process. This paper presents a survey of methods of storage and retrieval of software assets in software libraries. In addition to a review of existing research efforts, the paper makes two contributions. First, a definition of (presumably) orthogonal attributes of storage and retrieval methodss these attributes are used, in turn, to classify existing methods into six broad classes. Second, a definition of (presumably) orthogonal assessment criteria, which include technical, managerial and human factorss these criteria afford us an exhaustive and uniform basis for assessing and comparing individual methods and classes of methods.
Journal Article•10.1109/54.679207•
Codesign of embedded systems: status and trends

[...]

Rolf Ernst1•
Braunschweig University of Technology1
01 Apr 1998-IEEE Design & Test of Computers
TL;DR: It is argued that new methodologies and AD tools support an integrated hardware software codesign process that begins before the system architecture is finalised.
Abstract: Ever increasing embedded system design complexity combined with a very tight time-to-market window has revolutionized the embedded-system design process. The concurrent design of hardware and software has displaced traditional sequential design. Further, hardware and software design now begins before the system architecture (or even the specification) is finalised. System architects, customers, and marketing departments develop requirement definitions and system specifications together. System architects define a system architecture consisting of cooperating system functions that form the basis of concurrent hardware and software design. Interface design requires the participation of both hardware and software developers. The next step integrates and tests hardware and software-this phase consists of many individual steps. Reusing components taken from previous designs or acquired from outside the design group is a main design goal to improve productivity and reduce design risk. It is argued that new methodologies and AD tools support an integrated hardware software codesign process.
Journal Article•10.1109/32.730545•
Inconsistency management for multiple-view software development environments

[...]

John Grundy1, John Hosking2, Warwick B. Mugridge2•
University of Waikato1, University of Auckland2
01 Nov 1998-IEEE Transactions on Software Engineering
TL;DR: The experience with building complex multiple-view software development tools that support diverse inconsistency management facilities are described and the effectiveness of their approaches compared to other architectural and HCI techniques are discussed.
Abstract: Developers need tool support to help manage the wide range of inconsistencies that occur during software development. Such tools need to provide developers with ways to define, detect, record, present, interact with, monitor and resolve complex inconsistencies between different views of software artifacts, different developers and different phases of software development. This paper describes our experience with building complex multiple-view software development tools that support diverse inconsistency management facilities. We describe software architectures that we have developed and user interface techniques that are used in our multiple-view development tools, and we discuss the effectiveness of our approaches compared to other architectural and HCI techniques.
Patent•
Software anti-piracy system that adapts to hardware upgrades

[...]

David Barnaby Pearce1, Aidan T. Hughes1•
Microsoft1
29 Apr 1998
TL;DR: In this paper, the authors propose an anti-piracy system that requires each software product to be registered for a single computer during installation, and each time the software product is subsequently launched, the software products computes its own test ID from the product ID and hardware ID using the same algorithm employed by the registration authority.
Abstract: An anti-piracy system reduces the opportunity for piracy and illicit use of software products by requiring each software product to be registered for a single computer. If a user attempts to install the software product on another computer, the software product will recognize a different hardware composition and disable itself. During installation, the software product generates a hardware ID that identifies the set of hardware components and sends it and a product ID to a registration authority. The registration authority computes a registration ID from the product ID and the hardware ID and sends the registration ID back to the software product. Each time the software product is subsequently launched, the software product computes its own test ID from the product ID and hardware ID using the same algorithm employed by the registration authority. The software product then compares the test ID to the registration ID. If the two match, the software product is enabled; otherwise, if no match occurs, the software product is locked. The system flexibly accommodates a situation in which the user upgrades one or a few components in the computer without creating a new machine. The software product determines whether a new set of hardware components in the computer is substantially different from the original set of hardware components. If not substantially different, the upgraded computer is more like the original computer and the software product is permitted to operate; otherwise, the computer more resembles a new computer and the software product is prevented from operating.
Proceedings Article•10.1145/286936.286966•
Visualizing dynamic software system information through high-level models

[...]

Robert J. Walker1, Gail C. Murphy1, Bjorn Freeman-Benson2, Darin Wright2, Darin Swanson2, Jeremy Isaak2 •
University of British Columbia1, Object Technology International2
1 Oct 1998
TL;DR: An off-line, flexible approach for visualizing the operation of an object-oriented system at the architectural level is developed, which complements and extends existing profiling and visualization approaches available to engineers attempting to utilize dynamic information.
Abstract: Dynamic information collected as a software system executes can help software engineers perform some tasks on a system more effectively. To interpret the sizable amount of data generated from a system's execution, engineers require tool support. We have developed an off-line, flexible approach for visualizing the operation of an object-oriented system at the architectural level. This approach complements and extends existing profiling and visualization approaches available to engineers attempting to utilize dynamic information. In this paper, we describe the technique and discuss preliminary qualitative studies into its usefulness and usability. These studies were undertaken in the context of performance tuning tasks.
Proceedings Article•10.1145/268389.268398•
CyberDesk: a framework for providing self-integrating context-aware services

[...]

Anind K. Dey1, Gregory D. Abowd1, Andrew Wood2•
Georgia Institute of Technology1, University of Birmingham2
1 Jan 1998
TL;DR: CyberDesk is presented, a framework for self-integrating software in which integration is driven by user context, which relieves the burden on programmers by removing the necessity to predict how software should be integrated.
Abstract: Applications are often designed to take advantage of the potential for integration with each other via shared information. Current approaches for integration are limited, affecting both the programmer and end-user. In this paper, we present CyberDesk, a framework for self-integrating software in which integration is driven by user context. It relieves the burden on programmers by removing the necessity to predict how software should be integrated. It also relieves the burden from users by removing the need to understand how to make different software components work together. q 1998 Elsevier Science B.V. All rights reserved.
Proceedings Article•10.5555/302163.302188•
Parallel changes in large scale software development: an observational case study

[...]

Dewayne E. Perry1, Harvey Siy1, Lawrence G. Votta1•
Bell Labs1
1 Apr 1998
TL;DR: An observational case study in which the change and configuration management history of a legacy system is collected and analyzed to delineate the boundaries of, and to understand the nature of, the problems encountered in parallel development.
Abstract: An essential characteristic of large scale software development is parallel development by teams of developers. How this parallel development is structured and supported has a profound effect on both the quality and timeliness of the product. We conduct an observational case study in which me collect and analyze the change and configuration management history of a legacy system to delineate the boundaries of, and to understand the nature of, the problems encountered in parallel development. The results of our studies are: 1) that the degree of parallelism is very high-higher than considered by tool builders; 2) there are multiple levels of parallelism and the data for some important aspects are uniform and consistent for all levels and 3) the tails of the distributions are long, indicating the tail, rather than the mean, must receive serious attention in providing solutions for these problems.
Patent•
System and method for on-line replacement of software

[...]

Michael L. Saboff1•
Hewlett-Packard1
21 Jul 1998
TL;DR: In this paper, the authors propose a system for changing a software library during the execution of a software application using the software library, which is triggered by a change of the version number in a registry.
Abstract: A system for changing a software library during the execution of a software application using the software library. The software application interfaces to the software library only through the use of an interface library, to ensure that the software application does not directly bind with the software library. With no direct binding the software library can be updated during runtime without the software application re-resolving the location of the software library. The update is triggered by a change of the version number in a registry. The program correctness is maintained by library management services ensuring that the software library is no longer in use by the application before updating to the new library. Memory management services are used to ensure that the state of the library is maintained between the old and the updated versions of the software library.
Journal Article•10.1109/52.646883•
Learning from our mistakes with defect causal analysis

[...]

David N. Card
01 Jan 1998-IEEE Software
TL;DR: The paper discusses the three principles that drive the DCA approach and considers the impact of DCA on an organization.
Abstract: Defect causal analysis offers a simple, low-cost method for systematically improving the quality of software produced by a team, project, or organization. DCA takes advantage of one of the most widely available types of quality information, the software problem report. This information drives a team-based technique for defect causal analysis. The analysis leads to process changes that help prevent defects and ensure their early detection. The paper discusses the three principles that drive the DCA approach. It considers the impact of DCA on an organization.
Proceedings Article•10.1109/WPC.1998.693342•
Design pattern recovery in object-oriented software

[...]

Giuliano Antoniol, R. Fiutem, Luca Cristoforetti
24 Jun 1998
TL;DR: An approach to recover object oriented design patterns from design and code is presented and evidence is shown that, by exploiting information about method calls as a further constraint beyond the structural ones, the number of false positives is reduced.
Abstract: An approach to recover object oriented design patterns from design and code is presented. The pattern recovery process is based on a multi-stage filtering strategy to avoid combinatorial explosion on large software systems. To maintain independence from the language and the case tools adopted in developing software, both design and code are mapped into an intermediate representation. The multi-stage searching strategy allows to safely determine pattern candidates. To assess the effectiveness of the pattern recovery process a portable environment written in Java has been developed. Based on this environment, experimental results on public domain and industrial software were obtained and are discussed in the paper. Evidence is shown that, by exploiting information about method calls as a further constraint beyond the structural ones, the number of false positives is reduced.
Proceedings Article•10.5555/302163.302177•
An approach to large-scale collection of application usage data over the Internet

[...]

David M. Hilbert1, David Redmiles1•
University of California, Irvine1
1 Apr 1998
TL;DR: This paper presents an approach and prototype system that makes large-scale collection of usage data over the Internet a practical possibility and a general framework for comparing software monitoring systems is presented and used to compare the proposed approach to existing techniques.
Abstract: Empirical evaluation of software systems in actual usage situations is critical in software engineering Prototyping, beta testing, and usability testing are widely used to refine system requirements, detect anomalous or unexpected system and user behavior, and to evaluate software usefulness and usability The World Wide Web enables cheap, rapid, and large-scale distribution of software for evaluation purposes However, current techniques for collecting usage data have not kept pace with the opportunities presented by Web-based deployment This paper presents an approach and prototype system that makes large-scale collection of usage data over the Internet a practical possibility A general framework for comparing software monitoring systems is presented and used to compare the proposed approach to existing techniques
Journal Article•10.1002/(SICI)1099-1670(199809)4:3<101::AID-SPIP103>3.0.CO;2-K•
Software processes: a retrospective and a path to the future

[...]

Gianpaolo Cugola1, Carlo Ghezzi1•
Polytechnic University of Milan1
01 Sep 1998-Software Process: Improvement and Practice
Journal Article•10.1109/32.708570•
From safety analysis to software requirements

[...]

Kirsten Mark Hansen, Anders P. Ravn1, V. Stavridou2•
Technical University of Denmark1, SRI International2
1 Jul 1998
TL;DR: This paper investigates how the results of one safety analysis technique, fault trees, are interpreted as software safety requirements to be used in the program design process, and proposes that fault tree analysis and program development use the same system model.
Abstract: Software for safety critical systems must deal with the hazards identified by safety analysis. This paper investigates, how the results of one safety analysis technique, fault trees, are interpreted as software safety requirements to be used in the program design process. We propose that fault tree analysis and program development use the same system model. This model is formalized in a real-time, interval logic, based on a conventional dynamic systems model with state evolving over time. Fault trees are interpreted as temporal formulas, and it is shown how such formulas can be used for deriving safety requirements for software components.
Patent•
Techniques for implementing a framework for extensible applications

[...]

Anselm B. Smith1•
Sun Microsystems1
30 Jun 1998
TL;DR: In this paper, a bundle or software module can be developed that is able to install itself within an application and can also inform the application upon which services the software module depends so that if the required services are not available, the application can obtain them.
Abstract: Techniques for providing extensible applications arc provided. A bundle or software module can be developed that is able to install itself within an application. The software module can also inform the application upon which services the software module depends so that if the required services are not available, the application can obtain them. An activation function can be defined in the software module that registers the services provided by the software module with the application so that the services can be available to other software modules.
Proceedings Article•10.5555/552517.829462•
Hardware-software codesign of embedded systems

[...]

Claudionor Coelho, Diogenes C. da Silva, A.O. Fernandes
30 Jan 1998
TL;DR: This work presents an introduction to hardware/software codesign techniques for embedded systems, and shows how these techniques can be used to design and implement efficient and scalable embedded systems.
Abstract: Widespread use of embedded systems is occurring due to the increase in complexity of digital devices and systems. These systems are currently being implemented by software and hardware components in order to benefit from the strengths of each technology. We present an introduction to hardware/software codesign techniques for embedded systems.
...

Tools

SciSpace AgentBiomedical AgentSciSpace RecruitSciSpace for EnterpriseAgent GalleryChat with PDFLiterature ReviewAI WriterFind TopicsParaphraserCitation GeneratorExtract DataAI DetectorCitation Booster

Learn

ResourcesLive Workshops

SciSpace

CareersSupportBrowse PapersPricingSciSpace Affiliate ProgramCancellation & Refund PolicyTermsPrivacyData Sources

Directories

PapersTopicsJournalsAuthorsConferencesInstitutionsCitation StylesWriting templates

Extension & Apps

SciSpace Chrome ExtensionSciSpace Mobile App

Contact

support@scispace.com
SciSpace

© 2026 | PubGenius Inc. | Suite # 217 691 S Milpitas Blvd Milpitas CA 95035, USA

soc2
Secured by Delve