An undergraduate course in concurrent programming using Ada
ACM SIGCSE Bulletin
Specification and analysis of the SNR high-speed transport protocol
IEEE/ACM Transactions on Networking (TON)
ACM SIGAda Ada Letters
A framework for event-based software integration
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using inheritance to implement concurrency
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Task dependence and termination in Ada
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using Ada 95 for the design of distributed real-time systems
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
LSL + Ada → reusable data structures
WADAS '93 Proceedings of the tenth annual Washington Ada symposium on Ada: Ada's role in software engineering
Task dependence nets for concurrent systems with Ada 95 and its applications
Proceedings of the conference on TRI-Ada '97
Performance issues of scientific programming in Ada 95
Proceedings of the conference on TRI-Ada '97
ACM Transactions on Programming Languages and Systems (TOPLAS)
Kernel Ada to unify hardware and software design
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
A portable implementation of the distributed systems annex in Java
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Dependency analysis of Ada programs
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
The rendezvous is dead—long live the protected object
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Proceedings of the 1999 annual ACM SIGAda international conference on Ada
Formal modeling of synchronization methods for concurrent objects in Ada 95
Proceedings of the 1999 annual ACM SIGAda international conference on Ada
Translating a research LISP prototype to a formal Ada design prototype
WADAS '85 Proceedings of the second annual Washington Ada symposium on Ada: Ada in the mainstream: applications and education
Ada coding standards and conventions
ACM SIGAda Ada Letters
Reengineering an Ada95-programmed command and control information system by using UML
Proceedings of the 2001 annual ACM SIGAda international conference on Ada
Conflict resolution for readers and writers
ACM SIGAda Ada Letters
User experiences with the Aonix ObjectAda RAVEN: Ravenscar Profile implementation
IRTAW '02 Proceedings of the 11th international workshop on Real-time Ada workshop
Developing a generic genetic algorithm
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 technologies
The Control Structure Diagram: An Overview and InitialEvaluation
Empirical Software Engineering
System Specification Experiments on a Common Benchmark
IEEE Design & Test
The Architectural Style of Component Programming
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Modelling Communication Interfaces with COMIX
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Equational Reasoning for Linking with First-Class Primitive Modules
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
A System Dependence Net Generator for Ada Programs
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Simulation programming with Ada
WSC '83 Proceedings of the 15th conference on Winter Simulation - Volume 2
Using Ada as the First Programming Language: A Retrospective
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Real-time programming safety in Java and Ada
ACM SIGAda Ada Letters
SystemC
MJ: a rational module system for Java and its applications
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Process algebra model of Ada protected objects
ACM SIGPLAN Notices
Comparative analysis of genetic algorithm implementations
Proceedings of the 2004 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies
On the dynamic semantics and the timing behavior of Ravenscar kernels
Real-Time Systems
The process view of simulation in Ada
WSC '82 Proceedings of the 14th conference on Winter Simulation - Volume 1
Encyclopedia of Computer Science
Exceptions in a Programmable Logic Controller implementation based on ADA
Computers in Industry
Perfect hashing as an almost perfect subtype test
ACM Transactions on Programming Languages and Systems (TOPLAS)
Inspired software design early jackson methods to thread architectures
ACM SIGSOFT Software Engineering Notes
SystemAda: an ada based system-level hardware description language
ACM SIGAda Ada Letters
PREMO: A framework for multimedia middleware: specification, rationale, and java binding
PREMO: A framework for multimedia middleware: specification, rationale, and java binding
Adding genericity to a plug-in framework
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Reuse and combination with package templates
Proceedings of the 4th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance
Metamodeling semantics of multiple inheritance
Science of Computer Programming
Challenges in the design of the package template mechanism
Transactions on Aspect-Oriented Software Development IX
| Hi-index | 0.00 |