Combining Static Concurrency Analysis with Symbolic Execution
IEEE Transactions on Software Engineering
Design principles behind Chiron: a UIMS for software environments
ICSE '88 Proceedings of the 10th international conference on Software engineering
Pgraphite: an experiment in persistent typed object management
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Problems of scale and process models
ISPW '88 Proceedings of the 4th international software process workshop on Representing and enacting the software process
Software Environment Architectures and User Interface Facilities
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
THE PAST DECADE HAS SEEN A BURGEONING OF RESEARCH AND DEVELOPMENT IN SOFTWARE ENVIRONMENTS. CONFERENCES HAVE BEEN DEVOTED TO THE TOPIC OF PRACTICAL ENVIRONMENTS, JOURNAL PAPERS PRODUCED, AND COMMERCIAL SYSTEMS SOLD. GIVEN ALL THE ACTIVITY, ONE MIGHT EXPECT A GREAT DEAL OF CONCENSUS ON ISSUES, APPROACHES, AND TECHNIQUES. THIS IS NOT THE CASE, HOWEVER. INDEED, THE TERM `ENVIRONMENT'' IS STILL USED IN A VARIETY OF CONFLICTING WAYS. NEVERTHELESS SUBSTANTIAL PROGRESS HAS BEEN MADE AND WE ARE AT LEAST NEARING CONCENSUS ON MANY CRITICAL ISSUES. THE PURPOSE OF THIS PAPER IS TO CHARACTERIZE ENVIRONMENTS, DESCRIBE SEVERAL IMPORTANT PRINCIPLES THAT HAVE EMERGED IN THE LAST DECADE OR SO, NOTE CURRENT OPEN PROBLEMS, AND DESCRIBE SOME APPROACHES TO THESE PROBLEMS, WITH PARTICULAR EMPHASIS ON THE ACTIVITIES OF ONE LARGE-SCALE RESEARCH PROGRAM, THE ARCADIA PROJECT. CONSIDERATION IS ALSO GIVEN TO TWO RELATED TOPICS: EMPIRICAL EVALUATION AND TECHNOLOGY TRANSITION. THAT IS, HOW CAN ENVIRONMENTS AND THEIR CONSTITUENTS BE EVALUATED, AND HOW CAN NEW DEVELOP- MENTS BE MOVED EFFECTIVELY INTO THE PRODUCTION SECTOR?