Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions
Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions
A high-level modular definition of the semantics of C#
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Towards proving type safety of .NET CIL
Science of Computer Programming
Modeling in Event-B: System and Software Engineering
Modeling in Event-B: System and Software Engineering
A compositional framework for service interaction patterns and interaction flows
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Ambient Abstract State Machines with applications
Journal of Computer and System Sciences
The mondex challenge: machine checked proofs for an electronic purse
FM'06 Proceedings of the 14th international conference on Formal Methods
An ASM model of concurrency in a web browser
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
An ASM model of concurrency in a web browser
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
| Hi-index | 0.00 |
We suggest an approach for accurate modeling and analysis of web application frameworks.