lamport Resources

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

A random day in the life of technology that should just be better: A random day in the life of technology that should just be betterI don't know David......What's your point? ;)sighHey DaveWhen desperate I use a cheap panasonic minidv camera, firewire into my computer and use Windows Encoder 9 as a switcher and create the end product. At bandwidth 1024 the output...; Tags: Corporate communications, Apple iSight, MiniDV, video, camera; Discussion threads 2007-09-20
6 steps to IT management freedom: 6 steps to IT management freedomTry forgetting about particular technologies for a changeand start thinking about the underlying principles.I have the following quotation from Leslie Lamport pinned to my monitor "There is a very effective software development tool that is not used nearly enough--the brain. The many impediments to its...; Tags: Operating systems, UNIX, Sun Solaris, IT administration, technology scale, Microsoft Windows, information technology; Discussion threads 2007-05-16