Pragmatic definition of an object-oriented development process for Ada
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
CAPS as a requirements engineering tool
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Applying the iterative development process to large 2167A Ada projects
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Ada pilot project at HQ Pacific Air Forces: lessons learned during development
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Vestal: a tool for teaching concurrency in Ada
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Using a model railroad to teach Ada and software engineering
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Toward a method of object-oriented concurrent programming
Communications of the ACM
Requirements specification: learning object, process, and data methodologies
Communications of the ACM
An Ada-like separate compilation style in C
ACM SIGAda Ada Letters
PATHOS—a paradigmatic approach to high-level object-oriented software development
ACM SIGSOFT Software Engineering Notes
Control structure diagrams for Ada 95
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
CSPL: An Ada95-Like, Unix-Based Process Environment
IEEE Transactions on Software Engineering
Combining object-oriented and functional paradigms in a design methodology for Ada
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
Precursor for parallel development
CSC '91 Proceedings of the 19th annual conference on Computer Science
The Effectiveness of Control Structure Diagrams in Source Code Comprehension Activities
IEEE Transactions on Software Engineering
The Control Structure Diagram: An Overview and InitialEvaluation
Empirical Software Engineering
Component Libraries and Language Features
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Software Development Reengineering - An Experience Report
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Safety Verification of Ada95 Programs Using Software Fault Trees
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Design-Related Reuse Problems: An Experience Report
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Describing software design in Ada
ACM SIGPLAN Notices
Journal of Software Maintenance and Evolution: Research and Practice
Software engineering principles: a survey and an analysis
Proceedings of the Third C* Conference on Computer Science and Software Engineering
HISC: A computer architecture using operand descriptor
Computers and Electrical Engineering
Hi-index | 0.04 |