Enriching OCL Using Observational Mu-Calculus
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Using CASL to Specify the Requirements and the Design: A Problem Specific Approach
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
Relating Software Requirements and Architectures Using Problem Frames
RE '02 Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Goal-Oriented Requirements Enginering: A Roundtrip from Research to Practice
RE '04 Proceedings of the Requirements Engineering Conference, 12th IEEE International
Towards the integration of sysml and problem frames
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Mapping features to reusable components: a problem frames-based approach
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
A problem frame-based approach to evolvability: the case of the multi-translation
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
CASL-MDL, modelling dynamic systems with a formal foundation and a UML-like notation
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
| Hi-index | 0.00 |
We propose a software development approach that combines the use of the structuring concepts provided by problem frames, the use of the UML notation, together with our methodological approach for well-founded methods. Problem frames are used to provide a first idea of the main elements of the problem under study. Then we provide ad hoc UML based development methods for some of the most relevant problem frames together with precise guidelines for the users. The general idea of our method is that, for each frame, several artifacts have to be produced, each one corresponding to a part of the frame. The description level may range from informal and sketchy, to formal and precise, while this approach is drawn from experience in formal specifications. Thus we show how problem frames may be used upstream of a development method to yield an improved and more efficient method equipped with the problem frames structuring concepts.