Fundamentals of Software Engineering
- 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)