Alloy Community

User login

anonymous

Home » User account

info

Name
Anonymous
Role
student

History

Member for
1 year 43 weeks

Recent Activities
Course222 Formal Methods in Software Engineering anonymous1 year 33 weeks ago
Course22c:181 - Formal Methods in Software Engineering anonymous1 year 33 weeks ago
Course5309V, 7009T2, 7009U2 (a portuguese course using Alloy for projects) anonymous1 year 33 weeks ago
CourseC475 Software Engineering -- Environments anonymous1 year 33 weeks ago
CourseCIS 771 - Software Specification anonymous1 year 33 weeks ago
CourseCISC 422: Formal Methods in Software Engineering anonymous1 year 33 weeks ago
CourseCorso di Ingegneria del Software 1 anonymous1 year 33 weeks ago
CourseCS 599 Formal Methods in Software Architectures anonymous1 year 33 weeks ago
CourseCS 643 Formal Verification of Software anonymous1 year 33 weeks ago
CourseCS4211 Advanced Software Engineering anonymous1 year 33 weeks ago
CourseCSE 503 Software Engineering anonymous1 year 33 weeks ago
CourseCSE814: Formal Methods in Software Development anonymous1 year 33 weeks ago
CourseGS03/4023 Validation and Verification anonymous1 year 33 weeks ago
TalksSoftware Modeling Techniques and the Semantic Web anonymous1 year 33 weeks ago
TalksGeneralized Model Checking for Shape Analysis anonymous1 year 33 weeks ago
TalksDon't know and don't care: applications of executable under-specifications anonymous1 year 33 weeks ago
TalksAnalysis of Software Architecture anonymous1 year 33 weeks ago
Sample ModelsRBAC Schema Verification Using Lightweight Formal Model and Constraint Analysis anonymous1 year 33 weeks ago
Sample ModelsThe NYC Subway Signaling System anonymous1 year 33 weeks ago
Sample ModelsReference Model for Open Distributed Processing anonymous1 year 33 weeks ago
« first‹ previous123456789next ›last »

Syndicate content  

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte