ANNA: a language for annotating Ada programs
ANNA: a language for annotating Ada programs
Compiling complex database transition triggers
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Language constructs for managing change in process-centered environments
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Adding relational abstraction to programming languages
Conference proceedings on Formal methods in software development
An event-based model of software configuration management
SCM '91 Proceedings of the 3rd international workshop on Software configuration management
The ObjectStore database system
Communications of the ACM
The POSTGRES next generation database management system
Communications of the ACM
A methodology for prototyping-in-the-large
ICSE '91 Proceedings of the 13th international conference on Software engineering
User interface development and software environments: the Chiron-1 system
ICSE '91 Proceedings of the 13th international conference on Software engineering
Programming by Refinement, as Exemplified by the SETL Representation Sublanguage
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
A relational model of data for large shared data banks
Communications of the ACM
The Mythical Man-Month: Essays on Softw
The Mythical Man-Month: Essays on Softw
Preliminary Ada reference manual
ACM SIGPLAN Notices - Preliminary Ada reference manual
Operational specification as the basis for rapid prototyping
Proceedings of the workshop on Rapid prototyping
Communications of the ACM - Special issue on analysis and modeling in software development
“Lazy” consistency: a basis for cooperative software development
CSCW '92 Proceedings of the 1992 ACM conference on Computer-supported cooperative work
Mechanisms for generic process support
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Adding performance information to ADT interfaces
IDL '94 Proceedings of the workshop on Interface definition languages
Enforcing architecture constraints
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Modeling Architecture Description Languages Using AML
Automated Software Engineering
Prototyping Data Warehouse Systems
DaWaK '01 Proceedings of the Third International Conference on Data Warehousing and Knowledge Discovery
Hi-index | 0.00 |