Timing extensions to structured analysis for real time systems

Authors:
L. Peters
Affiliations:
Software Consultants International, Limited, P. 0. Box 5712, Kent, Washington
Venue:
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Year:
1989

Citing 4
Cited 3

Safety Analysis Using Petri Nets

IEEE Transactions on Software Engineering
Strategies for real-time system specification

Strategies for real-time system specification
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems
Focusing Real-Time Systems Analysis on User Operations

IEEE Software

A procedure and tools for transition engineering

SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
An environment for specifying an executing hierarchical Petri nets

ICSE '90 Proceedings of the 12th international conference on Software engineering
Quality assurance through direct implementation of analysis and design constructs

ACM SIGSOFT Software Engineering Notes

Quantified Score

Hi-index	0.00

Visualization

Abstract