The blackboard model of problem solving
AI Magazine
Software processes are software too
ICSE '87 Proceedings of the 9th international conference on Software Engineering
ICSE '87 Proceedings of the 9th international conference on Software Engineering
SDA: A novel approach to software environment design and construction
ICSE '88 Proceedings of the 10th international conference on Software engineering
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
A hierarchical and functional software process description and its enaction
ICSE '89 Proceedings of the 11th international conference on Software engineering
Process programming with Prolog
ISPW '88 Proceedings of the 4th international software process workshop on Representing and enacting the software process
A Formal Model for Software Project Management
IEEE Transactions on Software Engineering
Configuration management by consensus: an application of law-governed systems
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Software process enactment in Oikos
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
The concurrent language, Shared Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
Towards innovative software engineering environments
Journal of Systems and Software
Communications of the ACM - Special issue on analysis and modeling in software development
Coordinating rule-based software processes with ESP
ACM Transactions on Software Engineering and Methodology (TOSEM)
Declarative specification of the architecture of a software development environment
Software—Practice & Experience
P4: a logic language for process programming
ISPW '90 Proceedings of the 5th international software process workshop on Experience with software process models
A Knowledge-Based Environment for Modeling and Simulating Software Engineering Processes
IEEE Transactions on Knowledge and Data Engineering
Modeling Concurrency in Rule-Based Development Environments
IEEE Expert: Intelligent Systems and Their Applications
Generic Lifecycle Support in the ALMA Environment
IEEE Transactions on Software Engineering
Software Process Model Evolution in the SPADE Environment
IEEE Transactions on Software Engineering
Techniques for Process Model Evolution in EPOS
IEEE Transactions on Software Engineering
EWSPT '92 Proceedings of the Second European Workshop on Software Process Technology
Design, Use and Implementation of SPELL, a language for Software Process Modelling and Evolution
EWSPT '92 Proceedings of the Second European Workshop on Software Process Technology
Specification and verification of distributed systems using prolog interpreted petri nets.
ICSE '84 Proceedings of the 7th international conference on Software engineering
A Multi-Agent Process Centered Environment Integrated with the WWW
WET-ICE '97 Proceedings of the 6th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises
Hi-index | 0.00 |
Software Process Modeling is the activity of formalizing the production lifecycle of software systems. The aim is to formally describe a software development process, that then is effectively used and possibly enacted by an environment. We show that rule-based languages, especially logic programming languages, are an important technology for software process specification, modeling, enactment, and coordination. Because several process activities can be defined by rules. Some initial proposals aimed at animating a software process by a rule-based program embedding some development rules. A further step toward the integration of rule-based languages in the software process has be done using a dynamic knowledge base as project database, and a number of special primitives have been introduced to support process programs. Currently there is a trend toward more complex programming environments, called process-centered development environments. We show how some rule-based coordination languages are being used to build this kind of environment.