The structure and value of modularity in software design
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Test Driven Development: By Example
Test Driven Development: By Example
Aspect-Oriented Programming of Sparse Matrix Code
ISCOPE '97 Proceedings of the Scientific Computing in Object-Oriented Parallel Environments
Modularity Analysis of Logical Design Models
ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
Modularity in design: formal modeling and automated analysis
Modularity in design: formal modeling and automated analysis
A framework and tool supports for testing modularity of software design
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
A constraint solver for software engineering: finding models and cores of large relational specifications
Kodkod: a relational model finder
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Feature and meta-models in Clafer: mixed, specialized, and coupled
SLE'10 Proceedings of the Third international conference on Software language engineering
Modelling and multi-objective optimization of quality attributes in variability-rich software
Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages
Feature interaction analysis of the feature-oriented requirements-modelling language using alloy
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
Example-driven modeling: model = abstractions + examples
Proceedings of the 2013 International Conference on Software Engineering
| Hi-index | 0.00 |
Kodkod, the backend of Alloy4, incorporates new features for solving models where part of the solution, that is, a partial instance, is already known. Although Kodkod has had this functionality for some time, it is not explicitly available to the modeller through the Alloy language syntax. We propose an extension to the Alloy language to make partial instances explicitly available to the Alloy user. Explicit partial instances are helpful for the Alloy user in a number of capacities, including test-driven development, regression testing, modelling by example, and combined modelling and meta-modelling. The proposed syntax also gives the modeller explicit access to the performance benefits of Kodkod's partial instance features.