1 Resources for

lamport

Sponsored White Papers, Webcasts, and Downloads

CmUML - A UML Based Framework for Formal Specification of Concurrent, Reactive Systems: Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specification method which combines axiomatic and operational approaches. On the other hand Unified Modeling Language UML, a de facto industry standard visual language, lacks suitable constructs and semantics regarding...; Tags: Specification, Semantics, Lamport, UML, Programming Languages, Ooa/Ood/Oop, Software Development, Software/Web Development; White papers 2008-11-01

Windows XP Network Troubleshooting Power Checklist: Windows XP is pretty easy to connect to a network. Sometimes, however, things just go awry. That's when you need a strategy. This power checklist walks you through how to figure out what's wrong with Windows XP networking and how to get it fixed.; Buy Now

Cisco IOS Command Chart (IOS v.12+): Becoming proficient with Cisco equipment means remembering a whole new set of commands. These command charts give you a quick way to look up the needed IOS commands and switches when you need them.; Buy Now