MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "AdaNET." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

20 documents found, showing 1 through 10. Next 10 →

ATOM

Weaving Ada 95 into the .Net Environment
by Martin Carlisle Ricky, Martin C. Carlisle, Ricky E. Sward, Jeffrey W. Humphries
…Weaving Ada 95 into the .Net Environment Martin C. Carlisle, Ricky E. Sward, and Jeffrey W…
Add To MetaCart

An Application Of Petri Net Reduction For Ada Tasking Deadlock Analysis
by S. M. Shatz, Senior Member, S. Tu, T. Murata, S. Duri — 1996
…1 AN APPLICATION OF PETRI NET REDUCTION FOR ADA TASKING DEADLOCK ANALYSIS S. M. Shatz, Senior…
Cited by 22 (6 self) – Add To MetaCart

Query-Driven Petri Net Reduction for Analysis in Ada Tasking
by Shengru Tu, Yew-ton Wang, Michael E. Mathews — 1995 — Proceedings of the 1995 IEEE Phoenix Conference on Computers and Communications
… Post-Fusion of Transitions Rule 8 depends on the representation of Ada-nets since they explicitly use…
Cited by 1 (1 self) – Add To MetaCart

A Compact Petri Net Representation for Ada Tasking Programs
by Matthew Dwyer, Kari A. Niesy, Lori A. Clarke — 1994
… representations, for the above example the Ada-net, as defined by Shatz et. al. [11], would have 21 places and 16…
Cited by 1 (0 self) – Add To MetaCart

Towards Modelling and Verification of Concurrent Ada Programs Using Petri Nets
by F. Burns, A. J. Wellings, A.M. Koelmans, M. Koutny, A. Romanovsky, A. Yakovlev — 2000
…Towards Modelling and Verication of Concurrent Ada Programs Using Petri Nets A.Burns and A…
Cited by 3 (0 self) – Add To MetaCart

Verification in concurrent programming with Petri nets structural techniques
by Kamel Barkaoui, Jean-françois Pradat-peyre — 1998 — In: Proceedings of the 3rd International IEEE High Assurance System Engineering Symposium
… modeling in term of Petri nets. Translation of Ada-tasking programs into a Petri net model called Ada-net…
Cited by 2 (0 self) – Add To MetaCart

unknown title
by unknown authors
…Ada 2005 on .NET and Mobile and Embedded Devices Ada is well known for supporting good software…
Add To MetaCart

in Ada
by Duri Buy, S. Duri, U. Buy, R. Devarapalli, S. M. Shatz — 1994 — ACM Transactions on Software Engineering and Methodology
… the effectiveness of various Petri net based techniques for the automated deadlock analysis of Ada programs. Our…
Cited by 23 (10 self) – Add To MetaCart

Double Reduction of Ada-ECATNet Representation using Rewriting Logic
by Noura Boudiaf, et al.
… for Ada-nets analysis by using CPNs. In this work, authors translate Ada programs first to CPNs…
Add To MetaCart

A Compact Petri Net Representation for Concurrent Programs
by Matthew B. Dwyer, Lori A. Clarke, Kari A. Nies — 1994 — In Proceedings of the 17th International Conference on Software Engineering
…. An Ada-net [21] is a CFGPN designed to model Ada programs. An Ada-net for this example has 21 places…
Cited by 11 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB