Models in software engineering

Meer over het boek

The annotation covers various workshops and reports from a series of international events focused on different aspects of modeling in software engineering. Topics include aspect-oriented modeling, critical systems development, reverse engineering, quality in modeling, advanced user interfaces, real-time and embedded systems, and the integration of model-driven architecture (MDA) with validation and verification (V&V). Key discussions involve modeling features in aspect-based product lines, using UML for critical systems, and formalizing rules for software maintenance. Additional highlights include the consistency of business process models, model-driven development of user interfaces, and the application of model intelligence frameworks in real-time systems. The workshops also address the use of Object Constraint Language (OCL) across various domains, model size metrics, and the significance of runtime models in middleware. Multi-paradigm modeling is emphasized, along with the importance of doctoral and educators' symposiums that advocate for modeling in software engineering education. The exploration of formal semantics for UML is another critical area, with discussions on UML simulators and dynamic meta-modeling techniques. Overall, the content reflects a comprehensive overview of contemporary challenges and advancements in software modeling practices.