Issues in Ada Compiler Technology
Computer
APE—a set of TEX macros to format Ada programs
ACM SIGAda Ada Letters
Penelope, an Ada verification system
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
A practical approach to semantic configuration management
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
An extension of standard ML modules with subtyping and inheritance
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Approximate Reasoning About the Semantic Effects of Program Changes
IEEE Transactions on Software Engineering
Surveyors' forum: runtime checking and debugging of formally specified programs
ACM Computing Surveys (CSUR)
Run-time consistency checking of algebraic specifications
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Ada/TL specification and verification of a distributed computation
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Software evolution through iterative prototyping
ICSE '92 Proceedings of the 14th international conference on Software engineering
A modern development process: experience gained from Topaz project
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Parametrized programming in LILEANNA
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
ADL—an interface definition language for specifying and testing software
IDL '94 Proceedings of the workshop on Interface definition languages
Generating a test oracle from program documentation: work in progress
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Integrating parallel dataflow programming with the Ada tasking model
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
A Practical Approach to Programming With Assertions
IEEE Transactions on Software Engineering
Chiron-1: a software architecture for user interface development, maintenance, and run-time support
ACM Transactions on Computer-Human Interaction (TOCHI)
Monitoring compliance of a software system with its high-level design models
Proceedings of the 18th international conference on Software engineering
Object-oriented formal specifications to support Ada 95 reuse
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
A tailored design language: putting model based formal specification into practice
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
Tool support for formal methods
ICSE '91 Proceedings of the 13th international conference on Software engineering
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Using Test Oracles Generated from Program Documentation
IEEE Transactions on Software Engineering
Subtypes for Specifications: Predicate Subtyping in PVS
IEEE Transactions on Software Engineering
Storage reclamation models for Ada programs
SIGAda '87 Proceedings of the 1987 annual ACM SIGAda international conference on Ada
Requirements-Based Monitors for Real-Time Systems
IEEE Transactions on Software Engineering
Modular Verification of Data Abstractions with Shared Realizations
IEEE Transactions on Software Engineering
A comprehensive approach for the development of modular software architecture description languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Preliminary design of JML: a behavioral interface specification language for java
ACM SIGSOFT Software Engineering Notes
Domains of concern in software architectures and architecture description languages
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
A dynamic and reactive approach to the supervision of BPEL processes
ISEC '08 Proceedings of the 1st India software engineering conference
Toward Translating Design Constraints to Run-Time Assertions
Electronic Notes in Theoretical Computer Science (ENTCS)
Traceclipse: an eclipse plug-in for traceability link recovery and management
Proceedings of the 6th International Workshop on Traceability in Emerging Forms of Software Engineering
ACART: an API Compliance and Analysis Report Tool for discovering reference design traceability
Proceedings of the 49th Annual Southeast Regional Conference
Hi-index | 0.00 |