Software engineering for mobility: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Automating first-order relational logic
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Towards a logic for wide-area Internet routing
FDNA '03 Proceedings of the ACM SIGCOMM workshop on Future directions in network architecture
An open architecture for next-generation telecommunication services
ACM Transactions on Internet Technology (TOIT)
Address translation in telecommunication features
ACM Transactions on Software Engineering and Methodology (TOSEM)
Alloy analyzer+PVS in the analysis and verification of alloy specifications
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Compositional binding in network domains
FM'06 Proceedings of the 14th international conference on Formal Methods
| Hi-index | 0.00 |
Designing network address spaces for interoperation among domains is a challenging task. A formal model in Alloy is used to clarify the problems and explore solutions. Basic connectivity requirements are proposed, and two different sets of constraints are shown to satisfy them.