Our regular stand-up scrum meetings are a great way to have regular interaction with other team members, as well as our supervisor.
Tagged by "Clafer"
News Items
- Our paper "Clafer: Unifying Class and Feature Modeling" published online in Software and Systems Modeling (SOSYM)
- ClaferMPS 0.4.3 Released
- Clafer to Alloy Translator
- Clafer Parser in Java
- What's Going on with Clafer?
- Clafer Tools 0.4.4 Released
- Our paper "Example-Driven Modeling Using Clafer" has been presented and published in pre-proceedings at MDEBE'13
- Clafer Tools 0.3.4 Released
- Clafer paper presented at SLE
- Clafer Tools 0.3.2 Released
- Concrete-to-abstract modeling with Clafer example (draft v.3)
- Clafer Web Tools 0.4.1 Released
Publications
- Web-based GUI for Pareto front visualization and analysis
- Example-Driven Modeling Using Clafer
- Feature and Class Models in Clafer: Mixed, Specialized, and Coupled
- Solving Clafer Models with Choco
- Modeling and Reasoning with Multirelations, and their encoding in Alloy
- Correcting Clafer Models with Automated Analysis
- Synthesis and Exploration of Multi-Level, Multi-Perspective Architectures of Automotive Embedded Systems
- Modeling and Analysis of Software Product Line Variability in Clafer
