Gandalf: software development environments
IEEE Transactions on Software Engineering
AI Magazine
Worlds: an organizing structure for object-bases
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Software interconnection models
ICSE '87 Proceedings of the 9th international conference on Software Engineering
The Cornell program synthesizer: a syntax-directed programming environment
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Database Support for Knowledge-Based Engineering Environments
IEEE Expert: Intelligent Systems and Their Applications
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
GNOME: An introductory programming environment based on a family of structure editors
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Breaking the complexity barrier again
SIGPLAN '73 Proceedings of the 1973 meeting on Programming languages and information retrieval
On the design of the amoeba configuration manager
SCM '89 Proceedings of the 2nd International Workshop on Software configuration management
ICSE '89 Proceedings of the 11th international conference on Software engineering
Rule-based modelling of the software development process
ISPW '88 Proceedings of the 4th international software process workshop on Representing and enacting the software process
Low-cost, adaptable tool integration policies for integrated environments
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
A Graph Model for Software Evolution
IEEE Transactions on Software Engineering
Models of Software Development Environments
IEEE Transactions on Software Engineering
Dimensions of consistency in source versions and system compositions
SCM '91 Proceedings of the 3rd international workshop on Software configuration management
Communications of the ACM - Special issue on analysis and modeling in software development
Representing Software Engineering Models: The TAME Goal Oriented Approach
IEEE Transactions on Software Engineering
Supporting collaborative software development with ConversationBuilder
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
Supporting cooperation in the Marvel process-centered SDE
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
An architecture for multi-user software development environments
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
Toward tools to support the Gries/Dijkstra design process
ACM SIGSOFT Software Engineering Notes
Process and measurement support in SEEs
ACM SIGSOFT Software Engineering Notes
CASE tool architecture for knowledge-based regression testing
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
Exploiting style in architectural design environments
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Design tool encapsulation—all problems solved?
EURO-DAC '94 Proceedings of the conference on European design automation
APPL/A: a language for software process programming
ACM Transactions on Software Engineering and Methodology (TOSEM)
Independent on-line monitoring of evolving systems
Proceedings of the 18th international conference on Software engineering
DYNAMITE: dynamic task nets for software process management
Proceedings of the 18th international conference on Software engineering
Supporting Cooperation in the SPADE-1 Environment
IEEE Transactions on Software Engineering
A bi-level language for software process modeling
ICSE '93 Proceedings of the 15th international conference on Software Engineering
RASSP Enterprise Technologies for SignalProcessor Life-Cycle Support
Journal of VLSI Signal Processing Systems - Special issue on the rapid prototyping of application specific signal processors (RASSP) program
Version models for software configuration management
ACM Computing Surveys (CSUR)
Building a federation of process support systems
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
Consistency management for complex applications
Proceedings of the 20th international conference on Software engineering
Software process support over the Internet
Proceedings of the 21st international conference on Software engineering
Process programming: a structured multi-paradigm approach could be achieved
ISPW '90 Proceedings of the 5th international software process workshop on Experience with software process models
Software engineering tools and environments: a roadmap
Proceedings of the Conference on The Future of Software Engineering
An architecture for flexible, evolvable process-driven user-guidance environments
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Integrating Process Support and Knowledge Management for Virtual Software Development Teams
Annals of Software Engineering
Automatic Verification of Static Policies on Software Process Models
Annals of Software Engineering
Apel: A Graphical Yet Executable Formalism forProcess Modeling
Automated Software Engineering
Federating Process-Centered Environments: The Oz Experience
Automated Software Engineering
IEEE Software
A Knowledge-Based Environment for Modeling and Simulating Software Engineering Processes
IEEE Transactions on Knowledge and Data Engineering
Database Support for Knowledge-Based Engineering Environments
IEEE Expert: Intelligent Systems and Their Applications
Modeling Concurrency in Rule-Based Development Environments
IEEE Expert: Intelligent Systems and Their Applications
Rule Chaining in Marvel: Dynamic Binding of Parameters
IEEE Expert: Intelligent Systems and Their Applications
Yeast: A General Purpose Event-Action System
IEEE Transactions on Software Engineering
Supporting Distributed Extreme Programming
Proceedings of the Second XP Universe and First Agile Universe Conference on Extreme Programming and Agile Methods - XP/Agile Universe 2002
Task-Specific Knowledge Management in a Process-Centred SEE
LSO '01 Proceedings of the Third International Workshop on Advances in Learning Software Organizations
Reducing the technical overhead of software reuse
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Change Analysis and Management: A Process Model and Its Application within a Commercial Setting
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
P-RooT & Coo: building a cooperative software development environment
SEE '95 Proceedings of the 1995 Software Engineering Environment Conferences
Policy Definition Language for Automated Management of Distributed Systems
SMW '96 Proceedings of the 2nd IEEE International Workshop on Systems Management (SMW'96)
Propagator: A Family of Patterns
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Modeling the software process using coordination rules
WET-ICE '95 Proceedings of the 4th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET-ICE'95)
Integrating planning and execution in software development processes
WET-ICE '96 Proceedings of the 5th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE'96)
Software project management and measurement on the World-Wide-Web (WWW)
WET-ICE '96 Proceedings of the 5th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE'96)
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
The IBM-McGill project on software process
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Rule-based process servers for software development environments
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
A proposed approach to process decomposition and collaboration for MARVEL
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Software Process Representation and Analysis for Framework Instantiation
IEEE Transactions on Software Engineering
An expert system to software specification
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Incremental Maintenance of Software Artifacts
IEEE Transactions on Software Engineering
Models and tools for managing development processes
Models and tools for managing development processes
Filling the gap between CASE tools and PSEEs
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Unifying microprocess and macroprocess research
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
| Hi-index | 0.00 |
An environment is described, called Professor Marvel, that provides early error checking and answers questions about the program under development. The environment has a certain understanding of the systems being developed and how to use tools to produce software. It aids individual programmers and helps coordinate programming teams. The key components of Marvel are a database that stores data represented as objects, as in object-oriented languages, and a model of the development process that imposes a structure on programming activities. Marvel's support of insight and of opportunistic processing is discussed at length, as is the handling of side effects. A sample session is described.