Applicability of Software Validation Techniques to Scientific Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Structured Walkthroughs
Requirements expression and verification aid
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Concurrent software system design supported by SARA at the age of one
ICSE '78 Proceedings of the 3rd international conference on Software engineering
A Modification Request Control System
ICSE '76 Proceedings of the 2nd international conference on Software engineering
On the Transformational Implementation approach to programming
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Automated generation of testcase datasets
Proceedings of the international conference on Reliable software
A case study in system integration using the Build approach
ACM '79 Proceedings of the 1979 annual conference
Flowchart techniques for structured programming
ACM SIGPLAN Notices
Principles of Program Design
Programmer perceptions of productivity and programming tools
Communications of the ACM
LOGOS: An APL programming environment
APL '86 Proceedings of the international conference on APL
Characteristics and functions of software environments: an overview
ACM SIGSOFT Software Engineering Notes
Models of software development environments
ICSE '88 Proceedings of the 10th international conference on Software engineering
Software engineering meets user services: a methodology for developing user
SIGUCCS '88 Proceedings of the 16th annual ACM SIGUCCS Conference on User Services
Developing knowledge-based systems: reorganizing the system development life cycle
Communications of the ACM
Requirements analysis for Ada compilers
Communications of the ACM
Models of Software Development Environments
IEEE Transactions on Software Engineering
Language assessment criteria for discrete simulation
WSC '86 Proceedings of the 18th conference on Winter simulation
A collection of software tools for analyzing designs of concurrent software systems
ICSE '85 Proceedings of the 8th international conference on Software engineering
The Japanese approach: a better way to manage programmers?
Communications of the ACM
Software engineering for the Cobol environment
Communications of the ACM
Knowledge-based communication processes in software engineering
ICSE '84 Proceedings of the 7th international conference on Software engineering
Three paradigms for developing information systems
ICSE '84 Proceedings of the 7th international conference on Software engineering
The program dependence graph in a software development environment
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
A workbench for project oriented software engineering courses
SIGSCE '84 Proceedings of the fifteenth SIGCSE technical symposium on Computer science education
Recommended: a Minimum Standard Software Toolset
ACM SIGSOFT Software Engineering Notes
Research issues in systems development prototyping
ACM SIGCPR Computer Personnel
Integration of generic program analysis tools into a software development environment
ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38
| Hi-index | 48.30 |
There are a wide variety of software development tools and methods currently available or which could be built using current research and technology. These tools and methods can be organized into four software development environments, ranging in complexity from a simple environment containing few automated tools or expensive methods to a complete one including many automated tools and built around a software engineering database. The environments were designed by considering the life-cycle products generated during two classes of software development projects. Relative cost figures for the environments are offered and related issues, such as standardization, effectiveness, and impact, then addressed.