Ada simulation technology - methods and metrics
ANSS '88 Proceedings of the 21st annual symposium on Simulation
Teaching the abstract data type in CS2
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
An Ada-based software engineering course
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Rational for the design of reusable abstract data types implemented in Ada
ACM SIGAda Ada Letters
Object-oriented programming techniques with Ada: an example
ACM SIGAda Ada Letters
Design issues and team support: experiences of an Ada tool vendor
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Representation methods for software reuse
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
The object-oriented software development method: a practical approach to object-oriented development
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Scaling up: a research agenda for software engineering
Communications of the ACM
The Effect of Data Abstraction on Loop Programming Techniques
IEEE Transactions on Software Engineering
Multitasking software components
ACM SIGAda Ada Letters
The form of reusable Ada components for concurrent use
ACM SIGAda Ada Letters
LEXICAL_ANALYZER_G: a multi-language lexical analysis package
ACM SIGAda Ada Letters
An experience in teaching OOD for Ada software
ACM SIGSOFT Software Engineering Notes
Let's begin introducing the object-oriented paradigm
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
A methodology for the design of reuse engineered Ada components
SETA1 Proceedings of the first international symposium on Environments and tools for Ada
What price reusability?: a case study
SETA1 Proceedings of the first international symposium on Environments and tools for Ada
Copying and Swapping: Influences on the Design of Reusable Software Components
IEEE Transactions on Software Engineering
Concurrent reusable abstract data types
ACM SIGAda Ada Letters
Using hypertext in selecting reusable software components
HYPERTEXT '91 Proceedings of the third annual ACM conference on Hypertext
Designing configurable software; compass implementation concepts
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
A conceptual model for megaprogramming
ACM SIGSOFT Software Engineering Notes
Computing similarity in a reuse library system: an AI-based approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
OBSERV—a prototyping language and environment
ACM Transactions on Software Engineering and Methodology (TOSEM)
Designing for reuse: a case study
ACM SIGAda Ada Letters
Using Ada for PC-based software development
WADAS '91 Proceedings of the eighth annual Washington Ada symposium & summer SIGAda meeting on Ada: software: foundation for competitveness
The design and implementation of hierarchical software systems with reusable components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Ada experience in the undergraduate curriculum
Communications of the ACM
Using inheritance and polymorphism with Ada in government sponsored contracts
ACM SIGAda Ada Letters
ACM SIGAda Ada Letters
A transformational approach to generating application-specific environments
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
Assessing Ada 9X OOP: building a reusable components library
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Ada as an introductory language
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Reusable real-time executive in Ada design issues
ACM SIGAda Ada Letters
Translating an AdaPT partition to Ada9X
ACM SIGAda Ada Letters
A domain-specific software architecture engineering process outline
ACM SIGSOFT Software Engineering Notes
Ada abstraction, generation, verification
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
BATCES solution #2: a simplified SA/OOD approach
ACM SIGAda Ada Letters
An Ada 9X subset for inheritance-based reuse and its translation to Ada 83 (Part 2)
ACM SIGAda Ada Letters
An Ada 9X subset for inheritance-based reuse and its translation to Ada 83 (Part 1)
ACM SIGAda Ada Letters
A Parallel Virtual Machine for Programs Composed of Abstract Data Types
IEEE Transactions on Computers
Abstract data types are under full control with Ada 9X
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Software reengineering in Ada: a practical approach
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Implementing OSA model instances in Ada
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Experiences building data structure artifacts in Ada9X
WADAS '94 Proceedings of the eleventh annual Washington Ada symposium & summer ACM SIGAda meeting on Ada
The Effects of Layering and Encapsulation on Software Development Cost and Quality
IEEE Transactions on Software Engineering
LEDA: a platform for combinatorial and geometric computing
Communications of the ACM
Design reuse: chemical engineering vs. software engineering
ACM SIGSOFT Software Engineering Notes
Implementing self-reproducing artificial organisms with Ada
ACM SIGAda Ada Letters
Models and languages for component description and reuse
ACM SIGSOFT Software Engineering Notes
Software reuse: metrics and models
ACM Computing Surveys (CSUR)
An evolutionary approach to constructing effective software reuse repositories
ACM Transactions on Software Engineering and Methodology (TOSEM)
A comparison of experiences with the maintenance of object-oriented systems: Ada vs. C++
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Effects of Ada on design problems in a discrete event simulator
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
A real-time Ada design method based on DoD-STD-2167A
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Fashioning conceptual constructs in Ada
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Current and future trends in compiler validation and evaluation (invited presentation)
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
A role for iterators as a tool for software reuse
WADAS '92 Proceedings of the ninth Washington Ada symposium on Ada: Empowering software users and developers
A framework for application generator design
Proceedings of the 1997 symposium on Software reusability
Enabling reuse with Ada generics
WADAS '93 Proceedings of the tenth annual Washington Ada symposium on Ada: Ada's role in software engineering
LSL + Ada → reusable data structures
WADAS '93 Proceedings of the tenth annual Washington Ada symposium on Ada: Ada's role in software engineering
Software Reuse by Specialization of Generic Procedures through Views
IEEE Transactions on Software Engineering
An Empirical Study of Software Reuse with Special Attention to Ada
IEEE Transactions on Software Engineering
P2: A Lightweight DBMS Generator
Journal of Intelligent Information Systems
IEEE Transactions on Software Engineering
Library structures for reusable components
SIGAda '87 Proceedings of the 1987 annual ACM SIGAda international conference on Ada
A space logistics simulation implementation in Ada
WSC '88 Proceedings of the 20th conference on Winter simulation
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
Evolution of Ada technology in a production software environment
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
On designing parametrized systems using Ada
WADAS '90 Proceedings of the seventh Washington Ada symposium on Ada
Tailoring the DOD-STD-2167A software design document to support layered abstractions
WADAS '90 Proceedings of the seventh Washington Ada symposium on Ada
Issues in object-oriented requirements analysis
WADAS '90 Proceedings of the seventh Washington Ada symposium on Ada
Reuse in the telecommunication domain using object oriented technology and Ada
WADAS '90 Proceedings of the seventh Washington Ada symposium on Ada
Ada reuse within the context of an Ada programming support environment
WADAS '88 Proceedings of the fifth Washington Ada symposium on Ada
An Ada interface to DIANA for inter-tool communication
WADAS '88 Proceedings of the fifth Washington Ada symposium on Ada
Alexi — a case study in design issues for LISP capabilities in Ada
WADAS '88 Proceedings of the fifth Washington Ada symposium on Ada
Transitioning from structured analysis to object-oriented design
WADAS '88 Proceedings of the fifth Washington Ada symposium on Ada
Integrating Ada design graphics into the Ada software development process
WADAS '88 Proceedings of the fifth Washington Ada symposium on Ada
Layered virtual machine/object-oriented design
WADAS '88 Proceedings of the fifth Washington Ada symposium on Ada
Exclusion for composite objects
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Binary software components in the undergraduate computer science curriculum
Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
Performance specification of software components
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
Analysis of the Effects of Software Reuse on Customer Satisfaction in an RPG Environment
IEEE Transactions on Software Engineering
IP reuse in the system on a chip era
ISSS '00 Proceedings of the 13th international symposium on System synthesis
Reusable subsystems: domain-based approach
Proceedings of the 2002 ACM symposium on Applied computing
Two approaches to teaching software components using Ada 95
ACM SIGAda Ada Letters
A perspective of generative reuse
Annals of Software Engineering
Iterative design and testing within the software development life cycle
Software Quality Control
PM: A System to Support the Automatic Acquisition of Programming Knowledge
IEEE Transactions on Knowledge and Data Engineering
Design and Specification of Iterators Using the Swapping Paradigm
IEEE Transactions on Software Engineering
Ada, Interfaces and the Listener Paradigm
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
VEST - A Toolset for Constructing and Analyzing Component Based Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Autographe: A Graphical Version of Automate
WIA '98 Revised Papers from the Third International Workshop on Automata Implementation
A Data Abstraction Alternative to Data Structure/Algorithm Modularization
Selected Papers from the International Seminar on Generic Programming
A Case Study Approach to Teaching Component Based Software Engineering
CSEET '00 Proceedings of the 13th Conference on Software Engineering Education & Training
VEST: An Aspect-Based Composition Tool for Real-Time Systems
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
An Evolutionary View of the Object-Oriented Paradigm
Journal of Computing Sciences in Colleges
On the specification of software components
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Technical forum: a reusable parts center
IBM Systems Journal
Exploiting prescriptive aspects: a design time capability
Proceedings of the 4th ACM international conference on Embedded software
ACM SIGSOFT Software Engineering Notes
Encyclopedia of Computer Science
Flexible exclusion control for composite objects
ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38
Exclusion requirements and potential concurrency for composite objects
Science of Computer Programming - Special issue: Concurrency and synchronization in Java programs
Identifying refactoring opportunities by identifying dependency cycles
ACSC '06 Proceedings of the 29th Australasian Computer Science Conference - Volume 48
Performance analysis based upon complete profiles
Proceedings of the 2006 conference on Specification and verification of component-based systems
DiSTiL: a transformation library for data structures
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
The CRSS metric for package design quality
ACSC '07 Proceedings of the thirtieth Australasian conference on Computer science - Volume 62
Incremental Benchmarks for Software Verification Tools and Techniques
VSTTE '08 Proceedings of the 2nd international conference on Verified Software: Theories, Tools, Experiments
Charles: a data structure library for Ada95
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Unifying hardware and software components for embedded system development
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Software and Systems Modeling (SoSyM)
Hi-index | 0.05 |