Más contenido relacionado La actualidad más candente (20) Similar a My M.S. Thesis Proposal (20) My M.S. Thesis Proposal4. Planning Messages in Sequence Diagrams
and Analyzing the Consistency of Use Cases
and Class Diagrams Automatically using
Design by Contract
6. Planning Messages in Sequence Diagrams
and Analyzing the Consistency of Use Cases
and Class Diagrams Automatically using
Design by Contract
13. UCs
System
Structure Behavior
14. UCs
System
CDs Behavior
21. “The longer the defect stays in the software food chain, the
more damage it causes further down the chain.”
—Steve McConnell
Photo by catface3
27. Planning Messages in Sequence Diagrams
and Analyzing the Consistency of Use Cases
and Class Diagrams Automatically using
Design by Contract
30. Planning Messages in Sequence Diagrams
and Analyzing the Consistency of Use Cases
and Class Diagrams Automatically using
Design by Contract
37. Planning Messages in Sequence Diagrams
and Analyzing the Consistency of Use Cases
and Class Diagrams Automatically using
Design by Contract
43. The C in DbC
Photo by Pioneer Library System
48. pop(): T
require
not empty
do
..
ensure
not full
count = old count - 1
end
49. Planning Messages in Sequence Diagrams
and Analyzing the Consistency of Use Cases
and Class Diagrams Automatically using
Design by Contract
72. J. He coauthored Unifying Theories
of Programming with C. Hoare
Photo by glingl
74. A Systematic Review of
Transformation Approaches
between User Requirements and
Analysis Models
Yue, Briand, and Labiche (2010)
78. How can SDs be automatically
generate from UCs and a CD that
were DbC’ed?
80. How can that process be used to
analyze the consistency between
UCs and the CD?
84. How do the automatically-
generated SDs compare to the
manually-generated ones?
92. Informal Formal
…
Requirements Requirements
93. Informal Formal
…
Requirements Requirements
94. Planning Messages in Sequence Diagrams
and Analyzing the Consistency of Use Cases
and Class Diagrams Automatically using
Design by Contract