Software Engineering 04
Software Engineering 04
correctness correctness
preserving preserving
transformation transformation
formal
p p development
record
proof of “security”
of transformation
Department of Computer Science smv@dcs.ruh.ac.lk 2022 4
Formal Development Model
• Formal software specifications are mathematical
entities and mostly analyzed using mathematical
methods
• Consistency and completeness of the specification
can be proved mathematically
• Formal specifications may be automatically
processed
• Software tools can be used to build programs from
formal specifications
Department of Computer Science smv@dcs.ruh.ac.lk 2022 5
Mathematical model for microRNA in Lung Cancer
Elaboration
Inception Planning
Communication Modeling
Deployment Construction
Release
Software
Increment Transition Construction
Production
– Inception
– Elaboration
– Construction
– Transition
• Component reuse
– Components of an application from sub-systems to single
objects may be reused.
Construction Phase
Transition Phase
Design model
Delivered software increment
Software components
Beta test reports
Integrated software increment
General user feedback
Test cases
Test Plan and Procedures
Support documentation