Automated software engineering encompasses the use of tools, methods and models to automate or assist in the full spectrum of software development activities, from requirements capture to deployment ...

Formal methods encompass a suite of mathematically grounded techniques for the specification, development and verification of software systems against rigorous requirements. Model checking ...

Software is the major driver behind many social and economic developments. Software Engineering is the discipline dedicated to building reliable software systems at industrial scale. Students enrolled ...

Software engineering or software development is a discipline that involves the development lifecycle and maintenance of software products and related IT services. It involves a systematic approach ...

Drexel’s Software Engineering (BSSE) degree students learn to design and build reliable, high-quality software products. Software engineering majors tend to be good at solving problems and writing ...