Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
† We present empirical evidence that metrics on communication artifacts generated by groupware tools can be used to gain significant insight into the development process that pro...
A fifteen week module on software engineering management exposed graduate students to practical aspects of the management of software development: emphasizing the recording and an...
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
Samuel Colin, Dorian Petit, Vincent Poirriez, J&ea...