Navigability of associations is NOT a conceptual modeling concern
Please do not define any direction in your associations when creating your domain models. This is part of a further refinement during the design phase.
The impact of introducing a modeling tool in a Requirement Engineering course
In numerous programming and software engineering courses, students are asked to program on paper, which has supporters and detractors. Supporters claim that, among its advantages, programming on paper allows students to focus on functionality, avoiding the...
OCL in JavaScript
The first tool that lets you integrate OCL expressions in your JavaScript code. Define and evaluate OCL expressions on JS objects
Designing Hierarchical State Machines Using Frame Notation
Discover Frame, a textual markdown language for system design that enables quickly specifying system behavior as automata.
Lightweight Software Modeling with JetUML
JetUML lets you quickly sketch informal UML diagrams that you can easily integrate in other documents. Use the full power of UML only when you really need it.
Incremental verification of software models
If we want software verification techniques to be more adopted in the industry, we need to move to incremental verification approaches, where we reuse previous analysis to avoid reevaluating the whole model every time it is modified.
Modeling: all you need to know
