Support for specifying temporal behavior in Ada designs
SETA1 Proceedings of the first international symposium on Environments and tools for Ada
Temporal Logic-Based Deadlock Analysis for Ada
IEEE Transactions on Software Engineering
Automatic abstraction of real-time software and re-implementation in Ada
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Object-oriented system modeling with OMT
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Simulation of real-time embedded systems
ACM SIGSIM Simulation Digest
Defining software architectures using the Hierarchical Object-Oriented Design method (HOOD)
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Technical writers and the business of writing design documents for complex, reactive systems
SIGDOC '92 Proceedings of the 10th annual international conference on Systems documentation
Visual conventions for system design using Ada 9X: representing asynchronous transfer of control
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
TimeBench: a CAD tool for real-time system design
SETA2 Proceedings of the second international symposium on Environments and tools for Ada
Using object-oriented thinking to teach Ada
WADAS '90 Proceedings of the seventh Washington Ada symposium on Ada
A Three-View Model for Performance Engineering of Concurrent Software
IEEE Transactions on Software Engineering
Restricted object based design of event driven commercial software
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Using design fragments to modularize the design of communications in concurrent systems
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Interactors: a real-time executive with multiparty interactions in C++
ACM SIGPLAN Notices
Modelling tools for environmental systems analysis in the Gauja national park
ACS'06 Proceedings of the 6th WSEAS international conference on Applied computer science
Hi-index | 0.00 |