Blog Archives

MILCOM 2017 – Learn to Analyze and Verify Large Software for Cybersecurity and Safety

Abstract:  Massive software systems are being built the way Egyptians were building pyramids, with the sheer force of human labor.  Agile development, programming languages, component libraries, and integrated development environments, help but they have not brought down the cost of developing and maintaining software. Software projects continue to run over projected budgets and schedule. The […]

Categories: Tutorials, Upcoming