Morning Cup of Coding

Validating a Coordination Protocol with Alloy, Using Sequence Properties to Verify a A Serial Port Transmitter, Enums In JavaScript