Article

Free access

Specification prototyping of concurrent Ada programs in DProto

Author:

Ramón D. AcostaAuthors Info & Claims

TRI-Ada '92: Proceedings of the conference on TRI-Ada '92

Pages 258 - 266

https://doi.org/10.1145/143557.143735

Published: 01 December 1992 Publication History

PDF eReader

References

[1]

R.D. Acosta, "Simulation Modeling of Parallel Programs in PProto," Proceedings of the 1991 Sunvner Computer Simulation Conference, July 22-24, 1991, pp. 307-312.

Google Scholar

[2]

R.D. Acosta, "PProto: An Environment for Prototyping Parall~l Programs," Journal of Systems Integration, Vol. 1, No. 3/4, November 1991, pp. 339-365.

Crossref

Google Scholar

[3]

F.C. Belz and D.C. Luckham, "A New Approach to Prototyping Ada-basexl Hardware/Software Systems," Proceedings of TRI-Ada '90, 1990, pp. 141-155.

Digital Library

Google Scholar

[4]

B.W. Boehm, "A Spiral Model of Software Development and Enhancement," Computer, Vol, 21, No. 5, May 1988, pp. 61-72.

Digital Library

Google Scholar

[5]

C.D. CaUahan, K.D. Cooper, R.T. Hood, K. Kennedy, and L. Torczon, "ParaS cope : A Parallel Programming Environment,'' The International Journal of Supercomputer Applications, Vol. 2, No. 4, Winter 1988, pp. 84-99.

Google Scholar

[6]

A.M. Davis, E.H. Bersoff, and E.R. Comer, "A Strategy for Comparing Alternative Software Development Life Cycle Models," iEEE Transactions on Software Engineering, Vol. 14, No. 10, October 1988, pp. 1453-1461.

Digital Library

Google Scholar

[7]

D.L. Doubleday, M.R. Barbacci, C.B. Weinstock, M.J. Gardner, and R.W. Lichota, "Building Distributed Aria Applications from Specifications and Functional Components,'' Proceedings of TRI-Ada '91, 1991, pp. 143-154.

Digital Library

Google Scholar

[8]

V. Encontre, "SDL: A Standard Language for Aria Real- Time Applications," Proceedings of TRI.Ada '91, 1991, pp. 45-52.

Digital Library

Google Scholar

[9]

V.A. Guama, D. Gannon, D. Jablonowsky, A.D. Malony, and Y. Gaur, "Faust: An Integrated Environment for Parallel Programming," IEEE Software, Vol. 6, No. 4, July 1989, pp. 20-26.

Digital Library

Google Scholar

[10]

T. Lehr, Z. Segall, D.F. Vrsalovic, E. Caplan, A.L. Chung, and C.E. Fineman, "Visualizing Performance Debugging," Computer, Vol. 22, No. 10, October 1989, pp. 38- 51.

Digital Library

Google Scholar

[11]

B.P. Miller, M. Clark, J. HoUingsworth, S. Kierstead, S.-S. Lim, and T. Torzewski, "IPS-2: The Second Generation of a Parallel Program Measurement System," IEEE Transactions on Parallel and Distributed Systems, Vol. 1, No. 2, April 1990, pp. 206-217.

Digital Library

Google Scholar

[12]

D. Pease, A. Ohafoor, I. Ahmad, D.L. Andrews, K. Foudil- Bey, T.E. Karpinski, M. Mikki, and M. Zerrouki, "PAWS: A Performance Evaluation Tool for ParaUel Computing Systems," Corr~uter, Vol. 24, No. 1, January 1991, pp. 18-29.

Digital Library

Google Scholar

[13]

R.T. Yeh, D.A. Naumann, R.T. Mittermeir, R.A. Schlemmer, W.S. Gilmore, G.E. Sumrall, and J.T. Lebaron, "A Commonsense Management Model," IEEE Software, Vol. 8, No. 6, November 1991, pp. 23-33.

Digital Library

Google Scholar

Cited By

View all

Sidoran JBurns CMaethner SSpencer DBond H(1995)A case study on rapid systems prototyping and its impact on system evolutionProceedings Sixth IEEE International Workshop on Rapid System Prototyping. Shortening the Path from Specification to Prototype10.1109/IWRSP.1995.518581(125-130)Online publication date: 1995
https://doi.org/10.1109/IWRSP.1995.518581
Acosta RBurns CRzepka WSidoran J(1994)A case study of applying rapid prototyping techniques in the Requirements Engineering EnvironmentProceedings of IEEE International Conference on Requirements Engineering10.1109/ICRE.1994.292401(66-73)Online publication date: 1994
https://doi.org/10.1109/ICRE.1994.292401

Index Terms

Specification prototyping of concurrent Ada programs in DProto
1. Software and its engineering
  1. Software creation and management
  2. Software notations and tools
    1. General programming languages
      1. Language types
    2. System description languages
      1. Specification languages

Recommendations

Debugging Concurrent Ada Programs by Deterministic Execution

A language-based approach to deterministic execution debugging of concurrent Ada programs is presented. The approach is to define synchronization (SYN)-sequences of a concurrent Ada program in terms of Ada language constructs and to replay such SYN-...
ANNA: a language for annotating ADA programs
Ada/ANNA specification analysis

Comments

Information & Contributors

Information

Published In

TRI-Ada '92: Proceedings of the conference on TRI-Ada '92

December 1992

583 pages

ISBN:0897915291

DOI:10.1145/143557

Chairman:
Geoffrey O. Mendal,
Editor:
Charles B. Engle
Florida Institute of Technology, Melbourne

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 December 1992

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

Tri-Ada92

Sponsor:

SIGAda

Tri-Ada92: Tri-Ada '92

November 16 - 20, 1992

Florida, Orlando, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
157
Total Downloads

Downloads (Last 12 months)6
Downloads (Last 6 weeks)0

Reflects downloads up to 25 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Sidoran JBurns CMaethner SSpencer DBond H(1995)A case study on rapid systems prototyping and its impact on system evolutionProceedings Sixth IEEE International Workshop on Rapid System Prototyping. Shortening the Path from Specification to Prototype10.1109/IWRSP.1995.518581(125-130)Online publication date: 1995
https://doi.org/10.1109/IWRSP.1995.518581
Acosta RBurns CRzepka WSidoran J(1994)A case study of applying rapid prototyping techniques in the Requirements Engineering EnvironmentProceedings of IEEE International Conference on Requirements Engineering10.1109/ICRE.1994.292401(66-73)Online publication date: 1994
https://doi.org/10.1109/ICRE.1994.292401

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Debugging Concurrent Ada Programs by Deterministic Execution

ANNA: a language for annotating ADA programs

Ada/ANNA specification analysis

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

References

Cited By

Index Terms

Recommendations

Debugging Concurrent Ada Programs by Deterministic Execution

ANNA: a language for annotating ADA programs

Ada/ANNA specification analysis

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations