Welcome to My Blog
For insight into who I am, my journey, and my interests, feel free to visit my about page.
The debate over whether Software Engineering qualifies as a legitimate engineering discipline has been a persistent point of contention since the 1960s. Software Engineering degree programs have only begun being offered by universities within the last two decades. To unravel the question of whether Software Engineering is indeed a branch of engineering, we must first establish a clear definition of engineering and assess whether the characteristics associated with traditional engineering disciplines apply to Software Engineering. ...
Verification is a paramount and formidable challenge in software engineering. Moreover, it serves as a pivotal process that distinguishes software engineering from mere software development. Spin is a popular open-source software verification tool that has seen continuous research and development since its inception at Bell Labs in 1980.1 Under the hood, Spin is an explicit-state model checker, meaning it exhaustively searches the entire state space of a model. ...
...