By Topic

CompEuro '90. Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering

Date 8-10 May 1990

Filter Results

Displaying Results 1 - 25 of 87
  • COMPEURO '90. Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering (Cat. No.90CH2867-0)

    Publication Year: 1990
    Request permission for commercial reuse | PDF file iconPDF (13 KB)
    Freely Available from IEEE
  • System engineering from buzzwords to megatrends: the real design issues of the next decade

    Publication Year: 1990, Page(s):339 - 343
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (352 KB)

    The author discusses major trends for the years ahead and identifies the following major issues: (1) improving the achievements of knowledge workers in organizations by designing systems that support takes where they are performed; (2) designing flexible information architectures that provide effective coordination of processes; (3) designing information infrastructures between organizations to ge... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Some complexities in computerbased systems and their implications for system development

    Publication Year: 1990, Page(s):344 - 351
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (572 KB)

    Mastering complexity is central to the software development task, and separation of concerns is the chief tool. An informal framework is proposed within which concerns may be identified. An example of a completely simple system is given, and some sources and cases of complexity are considered with respect to the framework. Implications for software development method are discussed View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Combined application/datafault recovery

    Publication Year: 1990, Page(s):36 - 43
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (512 KB)

    The problem of cooperating processes accessing a shared database is investigated. This combined case is of particular importance for real-time applications. Various scenarios and models for cooperating transactions are suggested. In particular, a study was made of the cases of several transactions included within a conversation and several conversations included within a transaction. Some implemen... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Development and management of large-scale corporate data processing systems in industrial companies

    Publication Year: 1990, Page(s):354 - 361
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (312 KB)

    The development and management of an information system is described using examples taken from the steel and mining company Hoesch AG. A discussion of the information processing organization is followed by an examination of standardization in information processing. The development of large-scale data-processing systems is assessed. Large-scale systems management is outlined View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Experience in modeling a concurrent software system using STATEMATE

    Publication Year: 1990, Page(s):104 - 108
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (356 KB)

    STATEMATE was used to produce an executable model of a software system which would be implemented as a concurrent program with multiple tasks. In addition, the STATEMATE prototyper was used to produce executable Ada code which exhibited the same behavioral characteristics as the STATEMATE model. By augmenting this code with an Ada implementation of low-level primitive activities and a graphical in... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Information systems architecture: a consulting methodology

    Publication Year: 1990, Page(s):568 - 572
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (528 KB)

    A digital consulting methodology for information technology planning is presented. The approach provides improved communications across organizational boundaries throughout the enterprise, resulting in greater management involvement and a clearer understanding of business directions, generating the information technology architecture as well as specific applications requirements. The architecture ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extending modular languages with persistent data

    Publication Year: 1990, Page(s):542 - 543
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (184 KB)

    A method for introducing data persistence in modular languages is presented; the method is based on an extension of the module concept that performs in the framework of an object-oriented paradigm. Application of the method to Modula-2, a language that supports modularity and encapsulation, is described. The method, however, is more general, being a simple and powerful approach to introducing data... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Top down design of distributed systems: implications of a case study

    Publication Year: 1990, Page(s):254 - 263
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1072 KB)

    Guidelines are presented for the specification and verification of the communication aspects of distributed systems. It is argued that specifications should be expressed formally, since formal methods enable the specifier to write unambiguous, clear, and concise specifications, and they provide a foundation for analyzing specifications for correctness so that errors can be detected early in the de... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • QUISAP: an environment for rapid prototyping of real-time systems

    Publication Year: 1990, Page(s):502 - 508
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (492 KB)

    An environment for rapid prototyping and analysis of real-time systems is presented. The real-time system is specified using the language QUISAP and, from this specification, a model based on timed Petri nets for formal analysis and a prototype written in Ada for behavior analysis are built. Inappropriate handling of temporal constraints violations during prototype execution due to the Ada languag... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Robot programming with a genetic algorithm

    Publication Year: 1990, Page(s):186 - 191
    Cited by:  Papers (5)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (560 KB)

    Robot systems are an archetype of complex process control systems where valid production programs may have any number (>2) of process commands which are difficult to optimize with classical methods. Robot trajectories can be programmed automatically by a genetic algorithm, providing the algorithm will consider the order and varying lengths of trajectories. A genetic, adaptive, heuristic algorit... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A new software tool for testability analysis of complex VLSI devices

    Publication Year: 1990, Page(s):560 - 561
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (180 KB)

    A testability analysis tool is presented that uses a set of testability conditions which allow qualitative evaluation of the testability of a VLSI device from the earliest phases of the circuit's design. The tool is written in C and runs under MS-DOS and Unix. It has been used on a number of designs, giving good results that have been verified in practice View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Further experience with an integrated project support environment (IPSE)

    Publication Year: 1990, Page(s):46 - 54
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (800 KB)

    A brief overview is given of BTRL involvement in IPSE (integrated project support environment) technology. Experiences with the development, introduction, use and support of the initial first-generation IPSE are outlined. A discussion is presented of the work on second-generation IPSEs. The authors' experiences in this area are mainly related to the developmental exercise and the associated requir... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Stepwise object-oriented system design

    Publication Year: 1990, Page(s):520 - 521
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (184 KB)

    A structured method is presented for object-oriented system design, with special emphasis on discovering objects within the system and creating an object-oriented model of the system. First, a technique is introduced for decomposing an object into its components according to the actions required by the operations of that object. Next, system decomposition is presented as a coherent top-down proces... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • TABA: a heuristic workstation for software development

    Publication Year: 1990, Page(s):126 - 129
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (292 KB)

    The work being conducted within the TABA Project is described. The project is concerned with the construction of a heuristic workstation able to create an environment tailored to meet specific demands of various software development projects. During the first phase, a series of studies was performed which resulted in the development of tools to help in the construction and evaluation of software q... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An efficient implementation of Boolean functions and finite state machines as self-time circuits

    Publication Year: 1990, Page(s):148 - 155
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (560 KB)

    General synthesis methods for efficiently implementing self-timed combinational logic (CL) and finite-state machines (FSM) are presented. The resulting CL is shown to require fewer gates than other proposed methods. The FSM is implemented by interconnecting a CL module with a self-time master-slave regime. Alternate FSM synthesis methods are also considered. A formal system of behavioral sequentia... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Complexity and uncertainty in software design

    Publication Year: 1990, Page(s):482 - 489
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (852 KB)

    The authors focus on two modes of operation, namely, rational and experimental, and on two means of expression, namely, specifications and prototypes, as key features of approaches to software design. The discussion is based on an examination of relevant trends in software development and on reappreciation of well-known principles of human problem-solving. They conclude that the effectiveness of a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An application generator for a family of real-time monitor and control systems

    Publication Year: 1990, Page(s):274 - 279
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (388 KB)

    An application generator (AG) for a family of real-time monitor and control system (RTMCS) is presented. The input to the AG is a system specification of a desired RTMC system, and the output is an Ada program for the specified system (the target system). The system specification of a desired RTMC system is defined with the aid of an interactive menu-driven program. After checking the specificatio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Rapid assessment of decentralized algorithms

    Publication Year: 1990, Page(s):329 - 335
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (692 KB)

    The overall aim of the research described is to investigate the use of scalable, decentralized state-feedback algorithms for distributed systems resource management. These algorithms are required to be efficient and to respond to system changes in real time but have to base their decisions on incomplete and inaccurate information of the system state. A description is also given of CNCSIM, a softwa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Requirements analysis and specification of embedded systems using ESCAM-a case study

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

    A description is presented of the experience gained using ECSAM, the embedded computer systems analysis method and STATEMATE, a tool for computer-aided software and systems engineering (CAS2E), in the analysis and specification of the requirements of a project. The project involves a comprehensive enhancement of an existing electrooptic system which requires modifying its conventional e... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Practical visual techniques for joint refinement of structure and temporal behaviour in reactive system design

    Publication Year: 1990, Page(s):194 - 208
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1056 KB)

    Highlights are presented of the visual notation MachineCharts and the corresponding architectural design method. The approach has its roots in Buhr diagrams for Ada, but is both deeper than Buhr diagrams and wider in scope than Ada. Relationships to current tools are identified. The primary objectives were to provide human designers with means of (1) building confidence in the robustness of their ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A formal approach to system design and refinement

    Publication Year: 1990, Page(s):544 - 545
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (188 KB)

    The Petri net formalism is used in the synthesis of system designs. A methodology is used that makes it possible to synthesize arbitrary size well-behaved Petri nets, using a stepwise refinement technique. This technique provides a method for constructing large systems that are well-behaved by design. The steps that are required in developing a synthesis procedure are outlined and brief mention is... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Architecture, software and complexity

    Publication Year: 1990, Page(s):92 - 96
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (592 KB)

    Abstraction of smaller design tasks into hierarchies is the accepted solution to the problem of having to deal with the enormous amount of detail that arises in software design. Unfortunately, the practice of abstracting the semantics of the problem being addressed out of the data processed leads to dependencies that cannot be expressed in relation to that problem and consequently are not easily u... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Uncertainty in computer application is certain-software engineering as a control

    Publication Year: 1990, Page(s):468 - 474
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (856 KB)

    A summary of the fundamental concepts of software engineering and of the process of software development leads to the formulation of a principle of uncertainty that applies, in general, to all computer application in the real world. A brief analysis of the implications of uncertainty and their relationship in software engineering follow. The views presented are reviewed in the context of the relev... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Rapid prototyping through graphical operational specification and automated code generation

    Publication Year: 1990, Page(s):509 - 517
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (684 KB)

    The application of PROTOB, an object-oriented CASE system based on high-level Petri nets, to rapid prototyping of distributed systems is presented. PROTOB consists of several tools supporting specification, modeling and prototyping activities within the framework of the operational software life-cycle paradigm. As its major application area it addresses distributed systems, such as real-time embed... View full abstract»

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