Formalising high-performance systems methodologies

No abstract is available for this paper.

• Publication year

  1999

• Venue

  Journal of systems architecture

• Publication date

  Unknown publication date

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1016/S1383-7621(98)00017-4
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Theories of Programming Languages: Communicating Sequential Processes

  1998cited by this paper
• Formal framework for hypertext systems

  1997cited by this paper
• Systematic Integration of Design Methods

  1997cited by this paper
• Development and application of a formal agent framework

  1997cited by this paper
• Formalising the Contract Net as a Goal-Directed System

  1996cited by this paper
• A Graphical Approach to Performance-Oriented Development of Parallel Programs

  1996cited by this paper
• N-MAP: a virtual processor discrete event simulation tool for performance prediction in the CAPSE environment

  1995influential reference
• A Formal Framework for Agency and Autonomy

  1995cited by this paper
• Modularization, re-use and testing for parallel message-passing programs

  1995cited by this paper
• A Rigorous Method for the Constructive Design of Parallel and Distributed Programs

  1995influential reference
• Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems

  1995cited by this paper
• A constructive development environment for parallel and distributed programs

  1994cited by this paper
• Software engineering for parallel systems

  1994influential reference
• Compiler transformations for high-performance computing

  1994cited by this paper
• A taxonomy of software development methods

  1994cited by this paper
• Designing and building parallel programs

  1994influential reference
• Combining Functional And Performance Debugging Of Parallel And Distributed Systems Based On Model-driven Monitoring

  1994cited by this paper
• Special issue on software engineering for parallel systems

  1994cited by this paper
• A conceptual framework for evolving software processes

  1993cited by this paper
• Toward objective, systematic design-method comparisons

  1992cited by this paper
• The Z notation - a reference manual

  1992cited by this paper
• Specification, design, and implementation of an interactive conferencing system

  1991cited by this paper
• Software evolution through rapid prototyping

  1989cited by this paper
• A Strategy for Comparing Alternative Software Development Life Cycle Models

  1988cited by this paper
• On visual formalisms

  1988cited by this paper
• Advanced compiler optimizations for supercomputers

  1986cited by this paper
• Software engineering

  1983cited by this paper
• Life cycle concept considered harmful

  1982cited by this paper
• Proceedings of the 29th Annual Hawaii International Conference on System Sciences- 1996 A Formal Framework For Specifying Design Methods

  year unknowncited by this paper

• No citing papers are available for this paper.