147 research outputs found
Recommended from our members
Hierarchical Description of Software System Organization ; CU-CS-120-77
Constructs for hierarchically describing the organization of large-scale software systems are presented. The constructs allow the explicit specification of subsystem sharing. Descriptions using these constructs are therefore not necessarily tree-like and hence are frequently more natural and clear. The constructs were developed as part of a language for describing a system’s design, as opposed to its implementation. The efficacy of the constructs is argued with respect to this description task and the constructs are compared to similar ones available in programming languages
Recommended from our members
A Description Scheme to Aid the Design of Collections of Concurrent Processes ; CU-CS-118-77
A modelling scheme is presented which allows the abstract description of a collection of concurrent processes (a subsystem). A model in the scheme provides a specification of a subsystem which describes its behavior in relation to other subsystems but hides the subsystem’s operational detail. A model consists of a definition of the subsystem’s interface, a procedural definition of the legal usage of the interface and a non-procedural description of the legal uses of the subsystem over time. Models in the scheme are rigorous, unambiguous specifications of the components within a software system. The models may be used to guide the implementation of the components or the formulate arguments as to the appropriateness of a system’s design
Recommended from our members
An Event-Based Design Methodology Supported by DREAM ; CU-CS-140-78
A methodology for the architectural design of software systems is composed of three interrelated facilities. First, there must be some means of capturing the requirements for the system in some primarily non-procedural specification. Second, there must be some means for describing potential modularizations of the system in some primarily pseudo-procedural design which captures the essential detail concerning the modules; interfaces and their interactions. Finally, there must be some means of determining whether a system design appropriately meets the system specification. In this paper, we present a design methodology based on the use of event and event sequence descriptions. We first give a brief definition of the Design Realization, Evaluation and Modelling (DREAM) system and its description language as they relate to an event-based design method. Then we define the design method and give a simple example
Recommended from our members
Abstract Monitor Types ; CU-CS-143-78
A technique is presented for the description of data repository modules which are shared among a community of concurrent, asynchronous processing modules. The technique is designed to be of use in preparing models of a software system during the architectural phase of its development, when modules, module interfaces and module interactions are being defined. The rigor and precision of descriptions using the technique offers the opportunity to perform analysis during design and several approaches to analysis afforded by the technique are discussed
Recommended from our members
Software Development Environments: Present and Future ; CU-CS-170-80
Computerized environments which facilitate the development of appropriately functioning software systems are discussed. Their current status is reviewed and several trends exhibited by their history are identified. A number of principles, some at (slight) variance with the historical trends, are suggested and it is argued that observance of these principles is critical to achieving truly effective and efficient software development support environments
Recommended from our members
Languages for Representing Software Specifications and Designs ; CU-CS-127-78
We consider the nature of software system specifications and designs, then survey the languages used in representing them. We emphasize the utility of language-based representations as a foundation for computerized tools which provide aid during software system development. The survey is based upon a classification of the languages according to their underlying representational constructs
- …