Computer Software and Applications Conference, 1993. COMPSAC 93. Proceedings., Seventeenth Annual International

1-5 Nov. 1993

Filter Results

Displaying Results 1 - 25 of 59
  • Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93

    Publication Year: 1993
    Request permission for commercial reuse | |PDF file iconPDF (22 KB)
    Freely Available from IEEE
  • SD/sup 2/-A system for distributed software development

    Publication Year: 1993, Page(s):131 - 137
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (474 KB)

    We design and implementation a system for distributed software development. The system helps the program designer by first extracting the program model (in Petri nets). The system then monitors the program run and collects program trace into a database. The monitor also interacts with the network management system for resource allocation. Program debugging is achieved by replaying the trace data, ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A software architecture for maintaining temporal consistency in a distributed real-time environment

    Publication Year: 1993, Page(s):380 - 387
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (627 KB)

    Control applications constitute an important class of real-time systems. Such applications have specific temporal requirements that have to be taken into account during the system design. One such requirement is data temporary consistency. This paper gives an overview of the temporal consistency problem and addresses implementation issues for a distributed real-time system that is configured accor... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Experiences with a faceted classification scheme in a large reusable software library (RSL)

    Publication Year: 1993, Page(s):90 - 99
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (732 KB)

    This paper presents experiences with software classification in a large corporate reuse software library (RSL) at IBM. We use facets extensively as one method of component classification in the IBM RSL. However, facets alone cannot adequately provide all the information needed to fully classify and understand a reusable component. Experience with an operational RSL reveals that we require a combin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using computational learning theory to analyze the testing complexity of program segments

    Publication Year: 1993, Page(s):367 - 373
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (508 KB)

    We examine the complexity of testing different program constructs by defining a measure called VCP-dimension and applying it to classes of programs, where all programs in a class share the same syntactic structure. VCP-dimension gives bounds on the number of test points needed to determine approximate correctness, so it gives insight into the difficulty of testing a program construct represented b... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Online workload, performance and scalability of a database production system: A case study

    Publication Year: 1993, Page(s):306 - 312
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (532 KB)

    Today, enterprises are seeking solutions to integrate their business functions by using advanced computing technologies. Meanwhile, these enterprises are cutting the information centers' budgets to lower the costs. Computer downsizing becomes essential for cost saving. However, computer downsizing also threatens those enterprises whose business success depends heavily on delivering fast, accurate ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A framework for modelling evolving requirements

    Publication Year: 1993, Page(s):83 - 89
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (616 KB)

    The most crucial aspect of software engineering is the gathering of requirements. Increasing the amount of time and improving the quality of effort expended at this stage will lead to fewer and more manageable problems later on in the development life-cycle. The purpose of this paper is to highlight one of the most crucial problems that afflict user organizations when engaging in IT systems: the p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model-based formal specification directed testing of abstract data types

    Publication Year: 1993, Page(s):360 - 366
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (460 KB)

    A model-based formal specification directed software testing approach is presented. It provides a test oracle and introduces a new coverage criterion for the functional (black-box) testing based on formal specifications. Given the source code of an implementation, its formal specification, and the retrieve functions, a test driver can be generated to conduct, evaluate, and measure the functional t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A task allocation algorithm for distributed computing systems

    Publication Year: 1993, Page(s):336 - 342
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (464 KB)

    Most performance lapses in distributed computing systems can be traced to the lack of a good task allocation strategy for distributed software. Random assignment of tasks or modules onto processors or subsystems can substantially degrade the performance of the entire distribution system. In this paper a heuristic algorithm for task allocation for any distributed computing system where the subsyste... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software engineering in the commercial sector present and future: A United Kingdom perspective

    Publication Year: 1993, Page(s):76 - 82
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (636 KB)

    The discipline of software engineering promotes the use of systematic methods, automated tools and quality assurance procedures within software development. In this paper we place these practices within the UK context. We report the results from various surveys and research investigations which we have undertaken relating to the acceptance of these practices within the UK. From these results we ar... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Scheduling of dynamic divide-and-conquer computations on multicomputers

    Publication Year: 1993, Page(s):352 - 359
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (656 KB)

    The scheduling of tasks for applications with dynamic behavior traditionally rely on externally observable metrics such as the number of active processes. This paper presents a new scheduling strategy based on the observation that it may be possible to capture the near-term resource requirements of active tasks by expressions involving task parameters. Run-time evaluation of these expressions yiel... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Process-centered project management system by stepwise particularizing software process

    Publication Year: 1993, Page(s):41 - 48
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (484 KB)

    This article proposes a process-centered project management system to facilitate controlling a wide variety of project activities. The essential idea is to employ software process descriptions as vehicles of exchanging activity plans between a project manager and a large number of staff. The system allows a manager to plan and monitor overall project processes which are stepwise particularized acc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On developing a general theory of software engineering

    Publication Year: 1993
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (160 KB)

    Theoretical approaches to various subdisciplines within software engineering have helped to make the practical application of software engineering more effective. This paper poses the question of whether a general theory of software engineering can and should be sought. The challenge is to assist practicing software engineers by investigating the theoretical bases of discipline. The panelists use ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Recording software design processes for maintaining the software

    Publication Year: 1993, Page(s):27 - 33
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (616 KB)

    This paper proposes a method of supporting software change propagation analysis using a recorded software design rationale. This paper discusses recording costs, the usage and effectiveness of the recorded information for change propagation analysis, which other papers don't. Change propagation analysis of the software being modified is difficult when no design rationale for the software is left. ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A formal technique to analyze real-time systems

    Publication Year: 1993, Page(s):180 - 185
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (424 KB)

    A technique to analyze the temporal properties of real-time systems is presented in this paper. In our framework, the behavior of the system under development, which is modeled in an extension of Statecharts called Statecharts+, is captured by the underlying computational model, Timed Automata. On the basis of the operational semantics defined for arbitrary time domains, we present a formal transl... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Petri net based modelling of procedures in complex object database applications

    Publication Year: 1993, Page(s):138 - 144
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (632 KB)

    In this paper a new type of high level Petri nets is introduced for modelling procedures in complex object database applications. Places in these so-called nested relation/transition nets (NR/T-nets) represent schemes of unnormalized (nested) relations. The marking of each place is a nested relation of the respective type. Each transition represents a specific type of operation on the relations in... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • System dependence graph construction for recursive programs

    Publication Year: 1993, Page(s):414 - 420
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (564 KB)

    In a previous paper we demonstrated that a parse-tree-based system dependence graph (SDG) provides us with smaller and therefore more precise slices than a statement-based SDG. Furthermore, we described extensions to the SDG that were made to handle particular constructs found in ANSI C. In this paper, we describe a new method for the calculation of transitive dependences (in the presence of recur... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Z meets Haskell: A case study

    Publication Year: 1993, Page(s):320 - 326
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (556 KB)

    Z is a popular specification language which has also been used as a design tool, although much less frequently. Haskell is a programming language that was recently developed to serve as a standard for non-strict, purely functional languages. Although functional languages have proved to be excellent prototyping tools, Haskell was designed as a general purpose language which could be employed to bui... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Visual CASE: A software development system for home appliances

    Publication Year: 1993, Page(s):11 - 18
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (620 KB)

    This paper describes Visual CASE: a software development system that provides a framework which can be used by the whole development team: product planners, product designers, and software developers. This system includes interactive browsers, editors, and databases to manipulate the object model we designed specifically for the software in home appliances. We apply the object model to an entity t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Coordination of software-development activities among sites that are geographically separated

    Publication Year: 1993, Page(s):70 - 75
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (440 KB)

    The Department of Defense is sponsoring development of a centralized, integrated database, which will be a repository of international surface cargo movement data. Scheduled for implementation in early 1994, the system will include a relational database management system, processing modules, and complex communication components. Four geographically separated sites are involved with development. De... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A method of drawing tree-structured program diagrams on the Euclidian plane

    Publication Year: 1993, Page(s):193 - 201
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (632 KB)

    A tree-structured diagram is considered as a tree in which each node has four attributes: (1) width, (2) depth, (3) horizontal coordinate and (4) vertical coordinate. The placing problem of the tree-structured diagram satisfying certain given eumorphous conditions is called a tidy drawing problem. The eumorphous conditions of tree-structured diagrams, oriented to program diagrams, have been formul... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Parallel software engineering with PARSE

    Publication Year: 1993, Page(s):124 - 130
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (576 KB)

    The aims of the PARSE methodology are described, and the process graph design notation is summarised. Process graphs are a new graphical notation for describing systems comprising a collection of parallel processes in a language- and architecture-independent fashion. Further, process graph designs can be mechanically transformed into Petri nets to give a more detailed, executable design specificat... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formal support for software maintenance

    Publication Year: 1993, Page(s):402 - 407
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (500 KB)

    In this paper we combine a variation of the CAPS model with an extended version of Prolog based upon the stable model semantics of logic programming [GEL]. We believe this to be the first paper presenting such a combination. In order to combine the CAPS model with the extended Prolog, we first implement a subset of the PSDL language in Prolog. We show the significance of the combination through an... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • DELTA-DEsign Language To Actor

    Publication Year: 1993, Page(s):263 - 269
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (444 KB)

    DELTA, a DEsign Language To Actor, is a formal language used to enhance the design process. DELTA incorporates the concepts of object-oriented design into a design language. Once the preliminary steps of design have been completed, DELTA can be used to bridge the gap between architectural design and a detailed design specification. DELTA can be used to produce a documented design. Rapid prototypin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Xthreads library: Design, implementation, and applications

    Publication Year: 1993, Page(s):173 - 179
    Cited by:  Papers (3)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (712 KB)

    The purpose of the Xthreads library is to provide a cheap concurrent programming environment. The design of the Xthreads library is patterned after Xinu, a small and elegant operating system in which all processes share a single address space and hence enjoy reduced overheads in process creation, interprocess communication, and so on. Our approach is to map the Xinu process structure into the Xthr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.