Agile process
Verification of architectural memory models by model checking Shaz Qadeer Compaq Systems Research Center [email protected].
Topcased
Lean Thinking Inside and Outside a Software Engineering Company (Dave Jackson)
Chair of Software Engineering Software Architecture Bertrand Meyer, Carlo A. Furia, Martin Nordio ETH Zurich, February-May 2011 Lecture 15: Design by.
Software Certification and Attestation Rajat Moona Director General, C-DAC.
1 - 7 - Design by Contract ™. 2 Design by Contract A discipline of analysis, design, implementation, management.
Artemis: An Event Operation Tool for Telecommunication Management Systems Fernando Augusto TeixeiraAna Paula Ribeiro da Silva Leonardo Barbosa e Oliveira.
Using Aspect Oriented Programming to Support Disciplined Software Construction Amiram Yehudai School of Computer Science Tel-Aviv University Research agenda.
Computer Science School of Computing Clemson University Specification and Reasoning in SE Projects Using a Web IDE Charles T. Cook (Clemson) Svetlana V.
Software Correctness Proofs
I/O & Interface Automata