Analysis of concurrent software by cooperative application of static and dynamic techniques
Proc. of a symposium on Software validation: inspection-testing-verification-alternatives
Programming expert systems in OPS5: an introduction to rule-based programming
Programming expert systems in OPS5: an introduction to rule-based programming
Programming in MODULA-2 (3rd corrected ed.)
Programming in MODULA-2 (3rd corrected ed.)
On the structure of structure-oriented editors for different applications
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Software processes are software too
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Process models, process programs, programming support
ICSE '87 Proceedings of the 9th international conference on Software Engineering
On building software process models under the lamppost
ICSE '87 Proceedings of the 9th international conference on Software Engineering
An architecture for intelligent assistance in software development
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Software evolution management: an integrated discipline for managing software
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Tailoring the software process to project goals and environments
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Models of software development environments
ICSE '88 Proceedings of the 10th international conference on Software engineering
Design and test of distributed applications
ICSE '88 Proceedings of the 10th international conference on Software engineering
Software process modeling: a behavioral approach
ICSE '88 Proceedings of the 10th international conference on Software engineering
Validating the TAME resource data model
ICSE '88 Proceedings of the 10th international conference on Software engineering
ICSE '89 Proceedings of the 11th international conference on Software engineering
ISPW '88 Proceedings of the 4th international software process workshop on Representing and enacting the software process
Applying process programming to the model
ISPW '88 Proceedings of the 4th international software process workshop on Representing and enacting the software process
Automated support for the enactment of rigorously described software processes
ISPW '88 Proceedings of the 4th international software process workshop on Representing and enacting the software process
Describing and acting process models with PML
ISPW '88 Proceedings of the 4th international software process workshop on Representing and enacting the software process
Software development using models
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Software Engineering Journal - Special issue on software process and its support
ICSE '91 Proceedings of the 13th international conference on Software engineering
Environment modeling and activity management in Genesis
Proceedings of the second conference on Software development tools, techniques, and alternatives
Active design reviews: principles and practices
ICSE '85 Proceedings of the 8th international conference on Software engineering
Software development process audits—a general procedure
ICSE '85 Proceedings of the 8th international conference on Software engineering
ACM Computing Surveys (CSUR)
Validation, Verification, and Testing of Computer Software
ACM Computing Surveys (CSUR)
The Cornell program synthesizer: a syntax-directed programming environment
Communications of the ACM
Fragtypes: A Basis for Programming Environments
IEEE Transactions on Software Engineering
Providing Customized Assistance for Software Lifecycle Approaches
IEEE Transactions on Software Engineering
Systematic Development of Formal Software Process Models
ESEC '89 Proceedings of the 2nd European Software Engineering Conference
Environment Evolution: The Prism Model of Changes
IEEE Transactions on Software Engineering
Concepts and implementation of a rule-based process engine
ICSE '92 Proceedings of the 14th international conference on Software engineering
Emerging technologies that support a software process life cycle
IBM Systems Journal
A comprehensive process model for studying software process papers
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Assessing process-centered software engineering environments
ACM Transactions on Software Engineering and Methodology (TOSEM)
Supporting software maintenance evolution processes in the Adele system
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Evaluating the impact of process improvements quantitatively using process modeling
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Automatic reuse of process patterns in process modeling
Proceedings of the 2011 ACM Symposium on Applied Computing
Requirements and constructors for tailoring software processes: a systematic literature review
Software Quality Control
| Hi-index | 0.00 |
The Prism model of engineering processes and an architecture which captures this model in its various components are described. The architecture has been designed to hold a product software process description the life-cycle of which is supported by an explicit representation of a higher-level (or meta) process description. The central part of this paper describes the nine-step Prism methodology for building and tailoring process models and gives several scenarios to support this description. In Prism, process models are built using a hybrid process modeling language that is based on a high-level Petri net formalism and rules. An important observation is that this environment should be seen as an infrastructure for carrying out the more difficult task of creating sound process modelsn.