Software Abstractions: Logic, Language and Analysis. Nov. 1, 2006. By Daniel Jackson ISBN: 0-262-10114-9. ... I am Editor of Electronic Design focusing on embedded, software, and systems.

Program verification, empowered by temporal logic, employs formal methods to systematically detect errors such as race conditions and deadlocks, thereby affirming the reliability of concurrent and ...

C. Jason Woodard, Narayan Ramasubbu, F. Ted Tschang, V. Sambamurthy, Design Capital and Design Moves: The Logic of Digital Business Strategy, MIS Quarterly, Vol. 37, No. 2 (June 2013), pp. 537-564 ...