Software engineering techniques and tools for high performance parallel systems

Authors:
P. R. Croll;I. Jelly;I. Gorton
Affiliations:
-;-;-
Venue:
PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
Year:
1995

Citing 17
Cited 0

The transformation schema: An extension of the data flow diagram to represent control and timing

IEEE Transactions on Software Engineering
The Mascot method

Software Engineering Journal - Special issue on Mascot 3
Case study: the PAISley approach applied to its own software tools

Computer Languages
Safety Analysis Using Petri Nets

IEEE Transactions on Software Engineering
An entity-life modeling approach to the design of concurrent software

Communications of the ACM
Entity-life modeling and structured analysis in real-time software design—a comparison

Communications of the ACM
Object oriented design with applications

Object oriented design with applications
Methodologies and tools for parallel processing

CASE on trial
Coloured Petri Nets: a high level language for system design and analysis

APN 90 Proceedings on Advances in Petri nets 1990
Communicating sequential processes

Communications of the ACM
Toward a discipline of real-time programming

Communications of the ACM
Software Design Methods for Concurrent and Real-Time Systems

Software Design Methods for Concurrent and Real-Time Systems
"Sometime" is sometimes "not never": on the temporal logic of programs

POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Guest Editor's Introduction: The Changing Face of Supercomputing

IEEE Parallel & Distributed Technology: Systems & Technology
A Classification of CASE Technology

Computer
Engineering High Quality Parallel Software Using PARSE

CONPAR 94 - VAPP VI Proceedings of the Third Joint International Conference on Vector and Parallel Processing: Parallel Processing
Parallel Processing with Large-Grain Data Flow Techniques

Computer

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper considers the current state of software engineering for parallel systems. A review of existing approaches and techniques identifies inadequacies. Recent work on design, verification and automated support is outlined. The next generation of embedded and distributed technologies will compound the problems through increased demand and diversity. This paper discusses the implications for the progression of current techniques into new methods for future software engineering of parallel systems.