Software process modelling and technology
Software process modelling and technology
Model based process assessments
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Z: An Introduction to Formal Methods
Z: An Introduction to Formal Methods
Modeling and Improving an Industrial Software Process
IEEE Transactions on Software Engineering
Applying a Metric Framework to the Software Process: an Experiment
EWSPT '94 Proceedings of the Third European Workshop on Software Process Technology
Lessons Learned from Formalizing and Implementing a Large Process Model
EWSPT '94 Proceedings of the Third European Workshop on Software Process Technology
Eliciting software process models with the E3 language
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.00 |
This work is about the software process of a software engineering course project work. The quality manual contains a general process model, written in a formal software process modeling language that describes activities, tools, products, responsibilities, and measures. The quality manual serves as a basis for obtaining project specific plans, and for communicating the process to students, colleagues, and customers. The formal process model is the basis for analyzing and improving the process over the years, thus improving the quality of the provided education. The analysis of a given project run has revealed some problems and errors in the original model. This list of problems has been used as an action list to design a new process model. The new model will be exploited for the next years project runs.