In Software Abstractions Daniel Jackson introduces an approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This approach - which Jackson calls "lightweight formal methods" or "agile modeling"--Takes…
A formal model in the social sciences builds explanations when it structures the reasoning underlying a theoretical argument, opens venues for controlled experimentation, and can lead to hypotheses. Yet more importantly, models evaluate theory, build theory, and enhance conjectu…
A formal model in the social sciences builds explanations when it structures the reasoning underlying a theoretical argument, opens venues for controlled experimentation, and can lead to hypotheses. Yet more importantly, models evaluate theory, build theory, and enhance conjectu…
"A cyber-physical system consist of a collection of computing devices communicating with one another and interacting with the physical world via sensors and actuators in a feedback loop. Increasingly, such systems are everywhere, from smart buildings to medical devices to automo…
A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems.