SIGAda Conference
container_dq2nkmeoqjc5bmcalsv7wxzfgq
Showing first 25 out of 562 results
Smart recompilation and the GNAT compiler
Franco Gasperoni, Patrick Bazire
1994
|
SIGAda Conference
doi:10.1145/197694.197712 dblp:conf/sigada/GasperoniB94
Visual support for incremental abstraction and refinement in Ada 95
T. Dean Hendrix, James H. Cross, Larry A. Barowski, Karl S. Mathias
1998
|
SIGAda Conference
doi:10.1145/289524.289568 dblp:conf/sigada/HendrixCBM98
Using SPARK for a beginner's course on reasoning about imperative programs
Kung-Kiu Lau
2007
|
SIGAda Conference
doi:10.1145/1315580.1315599 dblp:conf/sigada/Lau07
Applicability of real-time schedulability analysis on a software radio protocol
Shuai Li, Frank Singhoff, Stéphane Rubini, Bourdellès Michel
2012
|
SIGAda Conference
doi:10.1145/2402676.2402703 dblp:conf/sigada/LiSRM12
Real-time system development in ada using LEGO® mindstorms® NXT
Peter J. Bradley, Juan A. de la Puente, Juan Zamorano
2010
|
SIGAda Conference
doi:10.1145/1879063.1879077 dblp:conf/sigada/BradleyPZ10
Teaching computer science with robotics using Ada/Mindstorms 2.0
Barry S. Fagin, Laurence D. Merkle, Thomas W. Eggers
2001
|
SIGAda Conference
doi:10.1145/507574.507592 dblp:conf/sigada/FaginME01
An application engineering workbench for tailoring Ada flight components
Ross H. Wainwright
1998
|
SIGAda Conference
doi:10.1145/289524.289571 dblp:conf/sigada/Wainwright98
Extensible protected types
O. P. Kiddle, A. J. Wellings
1998
|
SIGAda Conference
doi:10.1145/289524.289629 dblp:conf/sigada/KiddleW98
Reusable Ada libraries supporting infinite data structures
Arthur G. Duncan
1998
|
SIGAda Conference
doi:10.1145/289524.289537 dblp:conf/sigada/Duncan98
Multi-μ
Luís Miguel Pinho, Francisco Vasques
1998
|
SIGAda Conference
doi:10.1145/289524.289532 dblp:conf/sigada/PinhoV98
Transforming Ada serving tasks into protected objects
Bangqing Li, Baowen Xu, Huiming Yu
1998
|
SIGAda Conference
doi:10.1145/289524.289633 dblp:conf/sigada/LiBY98
Electronic maneuvering board and dead reckoning tracer decision aid for the officer of the deck
Kenneth L. Ehresman, Joey L. Frantzen
2001
|
SIGAda Conference
doi:10.1145/507574.507588 dblp:conf/sigada/EhresmanF01
Measuring cohesion of packages in Ada95
Baowen Xu, Zhenqiang Chen, Jianjun Zhao
2003
|
SIGAda Conference
doi:10.1145/958420.958429 dblp:conf/sigada/XuCZ03
XML and Ada complement each other
Robert C. Leif, Suzanne B. Leif, Stephanie H. Leif
2002
|
SIGAda Conference
doi:10.1145/589451.589461 dblp:conf/sigada/LeifLL02
Re-engineering global variables in Ada
Ricky E. Sward, A. T. Chamillard
2004
|
SIGAda Conference
doi:10.1145/1032297.1032303 dblp:conf/sigada/SwardC04
Experimental performance analysis of ada programs in cluster system
Korochkin Alexandr, Salah Imad, Korochkin Dmitry
2005
|
SIGAda Conference
doi:10.1145/1103846.1103851 dblp:conf/sigada/AlexandrID05
A refactoring tool for Ada 95
Paul Anderson
2004
|
SIGAda Conference
doi:10.1145/1032297.1032302 dblp:conf/sigada/Anderson04
Formal modeling of synchronization methods for concurrent objects in Ada 95
Ravi K. Gedela, Sol M. Shatz, Haiping Xu
1999
|
SIGAda Conference
doi:10.1145/319294.319325 dblp:conf/sigada/GedelaSX99
Integrating a software engineering approach into an Ada closed laboratory
Ming Wang
1999
|
SIGAda Conference
doi:10.1145/319294.319320 dblp:conf/sigada/Wang99
A project support environment reference model
Alan Brown, David Carney, Peter Feiler, Patricia Oberndorf, Marvin Zelkowitz
1993
|
SIGAda Conference
doi:10.1145/170657.170685 dblp:conf/sigada/BrownCFOZ93
Software design for reliability and reuse
J. Bell, L. Tong, L. Walton, T. Zhou, F. Bellegarde, J. Hook, R. B. Kieburtz, A. Kotov, J. Lewis, L. McKinney, D. P. Oliva, T. Sheard
1994
|
SIGAda Conference
doi:10.1145/197694.197740 dblp:conf/sigada/BellBHKKLMOSTWZ94
The feasibility of domain specific software reuse for electronic warfare systems
Neil Salant
1993
|
SIGAda Conference
doi:10.1145/170657.170711 dblp:conf/sigada/Salant93
Debugging highly-optimized Ada with code motion (DHACM)
Kevin Tucker
1997
|
SIGAda Conference
doi:10.1145/269629.269650 dblp:conf/sigada/Tucker97
Object oriented design and implementation of concurrent and real time systems in Ada
S. Ron Oliver
1994
|
SIGAda Conference
doi:10.1145/197694.197735 dblp:conf/sigada/Oliver94
Developing object-oriented user interfaces in Ada with the X Window system
Gary W. Klabunde, Mark A. Roth
1992
|
SIGAda Conference
doi:10.1145/143557.143749 dblp:conf/sigada/KlabundeR92
« Previous
Showing results 0 — 25 out of 562 results
Next »