Software processes are software too
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Types and persistence in database programming languages
ACM Computing Surveys (CSUR)
A plan-based intelligent assistant that supports the software development
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
The architecture of an active database management system
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Development and implementation of an object-oriented DBMS
Readings in object-oriented database systems
Combining language and database advances in an object-oriented development environment
Readings in object-oriented database systems
Algebraic support for complex objects with arrays, identity, and inheritance
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Concurrency control in advanced database applications
ACM Computing Surveys (CSUR)
Extensions to Starburst: objects, types, functions, and rules
Communications of the ACM
Towards a method of programming with assertions
ICSE '92 Proceedings of the 14th international conference on Software engineering
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
PLEIADES: an object management system for software engineering environments
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
TAOS: Testing with Analysis and Oracle Support
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
Data flow analysis for verifying properties of concurrent programs
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Concepts for evolving software processes
Software process modelling and technology
EPOS: object-oriented cooperative process modelling
Software process modelling and technology
MERLIN: supporting cooperation in software development through a knowledge-based environment
Software process modelling and technology
APPL/A: a language for software process programming
ACM Transactions on Software Engineering and Methodology (TOSEM)
ICSE '91 Proceedings of the 13th international conference on Software engineering
Computational reflection in software process modeling: the SLANG approach
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
The design of a next-generation process language
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
A generalized constraint and exception handler for an object-oriented CAD-DBMS
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
Modeling Concurrency in Rule-Based Development Environments
IEEE Expert: Intelligent Systems and Their Applications
EWSPT '92 Proceedings of the Second European Workshop on Software Process Technology
Preconditions, Postconditions, and Provisional Execution in Software Processes
Preconditions, Postconditions, and Provisional Execution in Software Processes
Object management support for the construction of complex applications
Object management support for the construction of complex applications
Understanding process and the quest for deeper questions in software engineering research
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Domain Consistency in Requirements Specification
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Goal-Directed Context Validation for Adaptive Ubiquitous Systems
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Testing pervasive software in the presence of context inconsistency resolution services
Proceedings of the 30th international conference on Software engineering
Partial constraint checking for context consistency in pervasive computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Managing environment and adaptation risks for the internetware paradigm
Theories of Programming and Formal Methods
Hi-index | 0.00 |