Paper accepted at FSE
May 28, 2016
in terms
Our paper on a temporal extension to the Alloy language has been accepted at the ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE).
Latest Announcements
Tags
- Lenses (1)
- Compositionality (1)
- CRIS (5)
- ETL (1)
- Invariants (2)
- Least-change (6)
- MDE (40)
- Model checking (7)
- Model finding (4)
- Model repair (3)
- Non-determinism (1)
- ORCID (5)
- Presentations (4)
- Projects (35)
- Publications (15)
- Robotic software (5)
- ROS (5)
- Software quality (2)
- Spreadsheets (1)
- Supervisions (3)
- Synchronization (5)
- Tool (26)
Subscribe
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.