Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- ArticleDecember 2002
Visual Ada developer
SIGAda '02: Proceedings of the 2002 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologiesPages 30–34https://doi.org/10.1145/589451.589458Programming language popularity depends not only on its properties and quality, but also on service which the user gets in its environment. Gui and visual developer are important components of IDE (Integrated-Development Environment).Visual Ada Developer ...
Also Published in:
ACM SIGAda Ada Letters: Volume XXIII Issue 1 - ArticleSeptember 1999
Formal modeling of synchronization methods for concurrent objects in Ada 95
SIGAda '99: Proceedings of the 1999 annual ACM SIGAda international conference on AdaPages 211–220https://doi.org/10.1145/319294.319325One important role for Ada programming is to aid engineering of concurrent and distributed software. In a concurrent and distributed environment, objects may execute concurrently and need to be synchronized to serve a common goal. Three basic methods by ...
Also Published in:
ACM SIGAda Ada Letters: Volume XIX Issue 3 - articleJuly 1999
Compositional Petri net models of advanced tasking in Ada-95
Computer Languages (CLAN), Volume 25, Issue 2Pages 55–87https://doi.org/10.1016/S0096-0551(99)00014-4The Ada language has been designed to support development of concurrent and distributed software. While the Ada-83 standard defined the basic mechanisms of rendezvous-based tasking, the Ada-95 standard significantly extended this capability with the ...
- ArticleJune 1999
Real-time programming with GNAT: specialised kernels versus POSIX threads
IRTAW '99: Proceedings of the ninth international workshop on Real-time AdaPages 73–77https://doi.org/10.1145/329607.334742The fact that most of the GNAT ports are based on non real-time operating systems leads to a reduced usability for developing real-time systems. Otherwise, existing ports over real-time operating systems are excessively complex, since GNAT uses only a ...
Also Published in:
ACM SIGAda Ada Letters: Volume XIX Issue 2 - ArticleNovember 1998
Reengineering a legacy system using design patterns and Ada-95 object-oriented features
SIGAda '98: Proceedings of the 1998 annual ACM SIGAda international conference on AdaPages 148–152https://doi.org/10.1145/289524.289565Also Published in:
ACM SIGAda Ada Letters: Volume XVIII Issue 6 - ArticleOctober 1997
Reuse Through Genericity in SUAVE
VHDL currently has a limited form of genericity in which component and entity declarations can be parameterized with formal generic constants. SUAVE extends the genericity mechanism by allowing formal generics types and by allowing generics to be ...
- ArticleMay 1996
Slicing object-oriented software
Describes the construction of system dependence graphs for object-oriented software on which efficient slicing algorithms can be applied. We construct these system dependence graphs for individual classes, groups of interacting classes and complete ...