Paradigms for design and implementation in ADA
Communications of the ACM
Modula-2 projects for an operation-systems course: racing sorts and multiple windows
SIGCSE '86 Proceedings of the seventeenth SIGCSE technical symposium on Computer science education
Teaching data abstraction in a beginning Pascal class
SIGCSE '86 Proceedings of the seventeenth SIGCSE technical symposium on Computer science education
Abstraction-based software development
Communications of the ACM
On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Why Ada is not just another programming language
Communications of the ACM
The Department of Defense software initiative—a status report
Communications of the ACM
A portable Ada implementation of index sequential input-output, part 2
ACM SIGAda Ada Letters
Relating software requirements to software design
ACM SIGSOFT Software Engineering Notes
An Ada course for upper-level undergraduates
ACM SIGCSE Bulletin
Evaluation of the VAXTM Ada:2E compiler and APSE by means of a real program
ACM SIGAda Ada Letters
ACM SIGPLAN Notices
Toward a general object-oriented software development methodology
ACM SIGAda Ada Letters
ACM SIGAda Ada Letters
Designing large real-time systems with Ada
Communications of the ACM
APL '87 Proceedings of the international conference on APL: APL in transition
Language support for changeable large real time systems
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
A Fortran 77 interpreter for mutation analysis
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
On the teaching of Ada in an undergraduate computer science curriculum
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
Introducing object-oriented programming into the computer science curriculum
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
IRTAW '87 Proceedings of the first international workshop on Real-time Ada issues
Object-oriented programming in Smalltalk and ADA
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
A comparison of four design methods for real-time systems
ICSE '87 Proceedings of the 9th international conference on Software Engineering
A knowledge structure for reusing abstract data types
ICSE '87 Proceedings of the 9th international conference on Software Engineering
SoftDA—a computer-aided software engineering system
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
NPATH: a measure of execution path complexity and its applications
Communications of the ACM
MMAIM: a software development method for Ada
ACM SIGAda Ada Letters
ACM SIGAda Ada Letters
Assessing the quality of abstract data types written in ADA
ICSE '88 Proceedings of the 10th international conference on Software engineering
A overview of modular smalltalk
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
An interface-based Ada programming support environment
ACM SIGAda Ada Letters
Ada simulation technology - methods and metrics
ANSS '88 Proceedings of the 21st annual symposium on Simulation
An object-oriented requirements specifications method
Communications of the ACM
Programming as process: a “novel” approach to teaching programming
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
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
A Software Science Model of Compile Time
IEEE Transactions on Software Engineering
Functional Refinement and Nested Objects for Object-Oriented Design
IEEE Transactions on Software Engineering
Validating a Demonstration Tool for Graphics-Assisted Debugging of Ada Concurrent Programs
IEEE Transactions on Software Engineering
Rational for the design of reusable abstract data types implemented in Ada
ACM SIGAda Ada Letters
Indirect naming in distributed programming languages
ACM SIGPLAN Notices
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
A simplified graphic notation for Ada programs
ACM SIGAda Ada Letters
Ada implementation of an X Window System server
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
The software lifecycle with Ada: A command and control application
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
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
Using Ada to maximize verbatim software reuse
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Applying reusability to software process definition
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
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Software development: state of the art vs. state of the practice
ICSE '89 Proceedings of the 11th international conference on Software engineering
Polling in concurrent programming
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
N-Fold inspection: a requirements analysis technique
Communications of the ACM
IBM Systems Journal
The object-oriented systems life cycle
Communications of the ACM
The Evolution Support Environment System
IEEE Transactions on Software Engineering
A prototype system for extracting objects from software specifications
SIGBDP '90 Proceedings of the 1990 ACM SIGBDP conference on Trends and directions in expert systems
Object-oriented specification of reactive systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
Using object-oriented development for support prototyping
ICSE '90 Proceedings of the 12th international conference on Software engineering
An environment for specifying an executing hierarchical Petri nets
ICSE '90 Proceedings of the 12th international conference on Software engineering
An object-oriented software application architecture
ICSE '90 Proceedings of the 12th international conference on Software engineering
Testing object-oriented software systems
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Developing reusable software for military systems, why it is needed, why it isn't working
ACM SIGSOFT Software Engineering Notes
ACM SIGPLAN Notices
Let's begin introducing the object-oriented paradigm
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
A laboratory for teaching the development of real-time software systems
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
An industry approach to the software engineering course
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Structured analysis and object-oriented development are not compatible
ACM SIGAda Ada Letters
Object-oriented graphics for requirements analysis and logical design
ACM SIGAda Ada Letters
Simple yet complete heuristics for transforming data flow diagrams into Booch style diagrams
ACM SIGAda Ada Letters
The evolution of an object oriented development method
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Ada experience in the undergraduate curriculum
Communications of the ACM
A model railroad for Ada and software engineering
Communications of the ACM
What orientation should Ada objects take?
Communications of the ACM
The role of computer software in numerical analysis teaching
ACM SIGNUM Newsletter
Using inheritance and polymorphism with Ada in government sponsored contracts
ACM SIGAda Ada Letters
A measure for composite module cohesion
ICSE '92 Proceedings of the 14th international conference on Software engineering
Multiple representation of abstract data types and reuse of realizations
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Identifying a complete object oriented life cycle for large systems development
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Defining software architectures using the Hierarchical Object-Oriented Design method (HOOD)
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Analysis/architecture models to ASG models: enabling the transition
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Effective software reuse in an embedded real-time system
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Data analysis and reporting for real-time Ada systems
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Implementing Ada tasking in a multiprocessing, multithreaded UNIX environment
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Multitasking simulation of a boiler system using qualitative model-based reasoning
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Comparing and assessing programming languages: basis for a qualitative methodology
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Rehost of a real-time interrupt-driven simulation onto a DOS/PC/ADA environment using OOD
ACM SIGAda Ada Letters
Impacts of object-oriented technologies: seven years of SEL studies
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Ada 9X and CASE: a methods perspective
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
ROMAN-9X: a technique for representing object models in Ada 9X notation
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
Lessons learned in implementing a team review process
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Ada-Linda: a powerful paradigm for programming distributed Ada applications
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Dynamically-valued constants: an underused language feature
ACM SIGPLAN Notices
ACM SIGAda Ada Letters
ACM SIGAda Ada Letters
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
A proposal for a recursive object-oriented life-cycle
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
SPARK—an annotated Ada subset for safety-critical programming
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Ada impacts on a second generation project
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Managing Ada development risk in a non-Ada-based workstation environment
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
A domain specific reuse program for electronic support measures
WADAS '93 Proceedings of the tenth annual Washington Ada symposium on Ada: Ada's role in software engineering
Enabling reuse with Ada generics
WADAS '93 Proceedings of the tenth annual Washington Ada symposium on Ada: Ada's role in software engineering
Investigation of implicitly raised Ada predefined exceptions
WADAS '93 Proceedings of the tenth annual Washington Ada symposium on Ada: Ada's role in software engineering
Use of Ada in a commericial, small company environment
WADAS '93 Proceedings of the tenth annual Washington Ada symposium on Ada: Ada's role in software engineering
Performance evaluation of software architectures
Proceedings of the 1st international workshop on Software and performance
Jumping into Java: object-oriented software development for the masses
ACSE '98 Proceedings of the 3rd Australasian conference on Computer science education
Empirical guidelines to use Ada effectively
SIGAda '87 Proceedings of the 1987 annual ACM SIGAda international conference on Ada
Large system simulation using Ada
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
The flexible Ada simulation tool (FAST) and its extensions
WSC '87 Proceedings of the 19th conference on Winter simulation
A comparison of two object-oriented design methodologies (abstract only)
CSC '87 Proceedings of the 15th annual conference on Computer Science
Undergraduate courses needed in Ada and software engineering
SIGCSE '85 Proceedings of the sixteenth SIGCSE technical symposium on Computer science education
Extending the scope of the program library
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
Teaching Ada for business students
WADAS '85 Proceedings of the second annual Washington Ada symposium on Ada: Ada in the mainstream: applications and education
An animated instructional model for Ada tasking
WADAS '85 Proceedings of the second annual Washington Ada symposium on Ada: Ada in the mainstream: applications and education
The impact of Ada on software project organization
WADAS '85 Proceedings of the second annual Washington Ada symposium on Ada: Ada in the mainstream: applications and education
Use of Ada for shipboard embedded applications
WADAS '85 Proceedings of the second annual Washington Ada symposium on Ada: Ada in the mainstream: applications and education
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
Using information engineering and Ada object-oriented design methods in concert — a case study
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
Using a multi-level design method under DOD-STD-2167A
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
Analyzing systems for object oriented design
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
Using object modeling to transform structured analysis into object oriented design
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
Automated object-oriented requirements analysis and design
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
Issues in object-oriented requirements analysis
WADAS '90 Proceedings of the seventh Washington Ada symposium on Ada
Software development for the Space Station Freedom Program in the year 2000
WADAS '90 Proceedings of the seventh Washington Ada symposium on Ada
Specification and implementation of exceptions in workflow management systems
ACM Transactions on Database Systems (TODS)
NASA ADA experiment — attitude dynamic simulator
WADAS '86 Proceedings of the third annual Washington Ada symposium on Ada: Ada use in focus : practical lessons in perspective
WADAS '86 Proceedings of the third annual Washington Ada symposium on Ada: Ada use in focus : practical lessons in perspective
Issues in implementing a real time embedded Data Base Management System in Ada
WADAS '86 Proceedings of the third annual Washington Ada symposium on Ada: Ada use in focus : practical lessons in perspective
An automated method of referencing Ada reusable code using lil
WADAS '87 Proceedings of the Joint Ada conference fifth national conference on Ada technology and fourth Washington Ada Symposium
Programming paradigms involving exceptions: a software quality approach
WADAS '87 Proceedings of the Joint Ada conference fifth national conference on Ada technology and fourth Washington Ada Symposium
Should the DOD mandate a standard software development process?
WADAS '87 Proceedings of the Joint Ada conference fifth national conference on Ada technology and fourth Washington Ada Symposium
The impact of the Ada language resource allocation, programmer productivity, and project performance
WADAS '87 Proceedings of the Joint Ada conference fifth national conference on Ada technology and fourth Washington Ada Symposium
Device driver development in Ada: a case study
WADAS '88 Proceedings of the fifth Washington Ada symposium on Ada
An object-oriented specification method for 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
Two object oriented decomposition methods
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
A software design method for real-time systems
Communications of the ACM
Communications of the ACM
Program design by informal English descriptions
Communications of the ACM
Coordination control with BCOOPL
Proceedings of the 2001 ACM symposium on Applied computing
The benefits of bottom-up design
ACM SIGSOFT Software Engineering Notes
The use of sets as an application programming technique
ACM SIGPLAN Notices
ACM SIGAda Ada Letters
BCOOPL: A Language for Controlling Component Interactions
The Journal of Supercomputing
A brief history of the object-oriented approach
ACM SIGSOFT Software Engineering Notes
Development of Flight Control Software in Ada: Architecture and Design Issues and Approaches
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Transparent microprogramming in support of abstract type oriented dynamic vertical migration
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
Timed-event abstraction and timing constraints in distributed real-time programming
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
ACM SIGAda Ada Letters
Ada programming standards and guidelines
ACM SIGAda Ada Letters
XAda: an executable Ada design language methodology
ACM SIGAda Ada Letters
Coupling, cohesion, and package unity in Ada
ACM SIGAda Ada Letters
Reflections on capital-intensive software technology
ACM SIGSOFT Software Engineering Notes
Pragmatic problems with step-wise refinement program development
ACM SIGSOFT Software Engineering Notes
FastScat™: An Object-Oriented Program for Fast Scattering Computation
Scientific Programming - The First Annual Object-Oriented Numerics Conference (OON-SKI '93)
Software engineering: an emerging discipline
IBM Systems Journal
Some architectural features of ada systems affecting defects
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
| Hi-index | 0.23 |