A software design method for Ada 95 based concurrent and real-time systems

Tutorial proceedings on TRI-Ada '91 Ada's role in global markets: solutions for a changing complex world - TRI-Ada '95 ◽

10.1145/376503.376550 ◽

1995 ◽

Author(s):

Robert G. Pettit IV ◽

Hassan Gomaa

Keyword(s):

Real Time ◽

Software Design ◽

Design Method ◽

Real Time Systems ◽

Ada 95 ◽

Download Full-text

Software Design Method for Small Real Time Systems Using Modified Pro-Nets

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)49615-7 ◽

1992 ◽

Vol 25 (25) ◽

pp. 263-265

Author(s):

B.R. Andrievsky ◽

A.A. Vasiljev ◽

V.N. Utkin

Keyword(s):

Real Time ◽

Software Design ◽

Design Method ◽

Real Time Systems ◽

Download Full-text

A software design method for real-time systems

Communications of the ACM ◽

10.1145/358234.358262 ◽

1984 ◽

Vol 27 (9) ◽

pp. 938-949 ◽

Author(s):

H. Gomaa

Keyword(s):

Real Time ◽

Software Design ◽

Design Method ◽

Real Time Systems ◽

Download Full-text

A software design method for Ada based real time systems

10.1145/326490.326592 ◽

1989 ◽

Author(s):

Hassan Gomaa

Keyword(s):

Real Time ◽

Software Design ◽

Design Method ◽

Real Time Systems ◽

Download Full-text

Software design method for small real-time systems using modified PRO-nets

Control Engineering Practice ◽

10.1016/0967-0661(94)90261-5 ◽

1994 ◽

Vol 2 (2) ◽

pp. 352

Keyword(s):

Real Time ◽

Software Design ◽

Design Method ◽

Real Time Systems ◽

Download Full-text

Validating the ADARTS software design method for real-time systems

Proceedings of the conference on TRI-Ada '91 today's accomplishments; tomorrow's expectations - TRI-Ada '91 ◽

10.1145/126551.126555 ◽

1991 ◽

Author(s):

Mike Cochran ◽

Hassan Gomaa

Keyword(s):

Real Time ◽

Software Design ◽

Design Method ◽

Real Time Systems ◽

Download Full-text

Software Design Methods for Real-Time Systems

10.21236/ada235701 ◽

1989 ◽

Author(s):

Hassan Gomaa

Keyword(s):

Real Time ◽

Software Design ◽

Design Methods ◽

Real Time Systems ◽

Download Full-text

Reimplementing a multiprocess distributed paradigm for real-time systems in Ada 95

ACM SIGAda Ada Letters ◽

10.1145/271662.271716 ◽

1997 ◽

Vol XVII (5) ◽

pp. 93-99

Author(s):

Steve Vestal ◽

Laurent Guerby ◽

Robert Dewar ◽

David McConnell ◽

Bruce Lewis

Keyword(s):

Real Time ◽

Real Time Systems ◽

Ada 95 ◽

Download Full-text

Software design methods for concurrent and real-time systems

Software Engineering Education - Lecture Notes in Computer Science ◽

10.1007/bfb0017625 ◽

2005 ◽

pp. 341-341 ◽

Author(s):

Hassan Gomaa

Keyword(s):

Real Time ◽

Software Design ◽

Design Methods ◽

Real Time Systems ◽

Download Full-text

Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems

Reliable Software Technologies – Ada-Europe 2006 - Lecture Notes in Computer Science ◽

10.1007/11767077_14 ◽

2006 ◽

pp. 167-178 ◽

Author(s):

Jingde Cheng

Keyword(s):

Real Time ◽

Real Time Systems ◽

Run Time ◽

Ada 95 ◽

Download Full-text

DESIGN METHOD OF REAL-TIME SYSTEMS

Real-Time Programming 1992 ◽

10.1016/b978-0-08-041894-0.50034-4 ◽

1992 ◽

pp. 191-196

Author(s):

L. Carcagno ◽

M. De Michiel ◽

D. Dours ◽

R. Facca ◽

A. Feki ◽

...

Keyword(s):

Real Time ◽

Design Method ◽

Real Time Systems ◽

Download Full-text