The component-based development model summary is used when software reuse is the objective. It involves researching available components, designing architecture to accommodate components, integrating and testing components to ensure functionality. This leads to cost and time savings. The formal methods model uses rigorous mathematics to specify, develop and verify systems. It allows ambiguity and errors to be discovered through mathematical analysis, promising defect-free software. However, it is time-consuming, requires extensive training as developers lack mathematical background, and is difficult to communicate to non-technical customers. The aspect-oriented software development process defines, specifies, designs and constructs aspects to address customer concerns that span architecture and affect functions, properties and systemic issues of complex systems.

1. Specialized Process Models

2. 2
Component-based Development
Model
• The process to apply when reuse is a development
objective
• It Consists of the following process steps
– Available component-based products are researched
and evaluated for the application domain in question
– Component integration issues are considered
– A software architecture is designed to accommodate
the components
– Components are integrated into the architecture
– Comprehensive testing is conducted to ensure proper
functionality
• Capitalizes on software reuse, which leads to documented
savings in project cost and time

3. 3
Formal Methods Model
(Description)
• Encompasses a set of activities that leads to formal
mathematical specification of computer software
• Enables a software engineer to specify, develop, and verify
a computer-based system by applying a rigorous,
mathematical notation
• Ambiguity, incompleteness, and inconsistency can be
discovered and corrected more easily through
mathematical analysis
• Offers the promise of defect-free software
• Used often when building safety-critical systems

4. 4
Formal Methods Model
(Challenges)
• Development of formal methods is currently quite time-
consuming and expensive
• Because few software developers have the necessary
background to apply formal methods, extensive training is
required
• It is difficult to use the models as a communication
mechanism for technically unsophisticated customers

5. Aspect-Oriented Software
Development
It provides a process and methodological approach for
defining, specifying, designing, and constructing aspects
As modern computer based systems become more
sophisticated and complex there are certain concerns by the
customer
• required properties or areas of technical interest.
• Span the entire architecture
• High-level properties of a system (e.g; security, fault
tolerance)
• Other concern affect functions (e.g; the application of
business rules)
• While others are systemic (e,g; task synchroniation or
memory management)