SEPM - Module 1
SEPM - Module 1
LECTURE NOTES
ON
SOFTWARE ENGINEERING AND PROJECT
MANAGEMENT(BCS501)
2023 – 2024
B. E V Semester
Sowmya H N, Assistant Professor
MODULE –1
CHAPTER 1 --INTRODUCTION
Software and Software Engineering
Software Engineering is the product of two words, software, and engineering.
Software is more than just a program code. A program is an executable code, which serves some
computational purpose. Software is considered to be a collection of executable programming code,
associated libraries and documentations. Software, when made for a specific requirement is called
a software product.
Engineering on the other hand, is all about developing products, using well-defined, scientific
principles and methods.
Definitions
Fritz Bauer, a German computer scientist, defines software engineering as: Software engineering
is the establishment and use of sound engineering principles in order to obtain economically
software that is reliable and work efficiently on real machines.
Software takes on a dual role. It is a Product and at the same time a Vehicle (Process) for
delivering a product.
As a Vehicle (Process), delivers the product. Software acts as the basis for:
Control of other computer(Operating Systems)
Communication of Information(Networks)
Creation and control of other programs(Software Tools and Environment)
Software delivers the most important product of our time called information. It transforms personal
data (Individual financial transactions), It manages business information, It provides gateway to
worldwide information networks (Internet) and provides the means for acquiring information in all
of its forms.
1.1.1 Software
1. Instructions : Programs that when executed provide desired function, features, and
performance.
2. Data structures: Enable the programs to adequately manipulate information.
3. Documents: Descriptive information in both hard copy and virtual forms that describes the
operation and use of the programs.
Characteristics of software
Software has characteristics that are considerably different than those of hardware:
In early stage of hardware development process the failure rate is very high due to
manufacturing defects, but after correcting defects failure rate gets reduced.
Hardware components suffer from the growing effects of many other environmental
factors. Stated simply, the hardware begins to wear out.
Software is not susceptible to the environmental maladies (extreme temperature, dusts and
vibrations) that cause hardware to wear out [Fig:1.1]
The following figure shows the relationship between failure rate and time.
When a hardware component wears out, it is replaced by a spare part. There are no software
spare parts.
Every software failure indicates an error in design or in the process through which the design
was translated into machine-executable code. Therefore, the software maintenance tasks that
accommodate requests for change involve considerably more complexity than hardware
maintenance. However, the implication is clear—the software doesn’t wear out. But it does
deteriorate (frequent changes in requirement) [Fig:1.2].
A software part should be planned and carried out with the goal that it tends to be reused in
various projects (algorithms and data structures).
Today software industry is trying to make library of reusable components E.g. Software
GUI is built using the reusable components such as message windows, pull down menu and
many more such components.
In the hardware world, component reuse is a natural part of the engineering process.
Nowadays, seven broad categories of computer software present continuing challenges for software
engineers:
1. System Software:
A collection of programs written to service other programs. Some system software
(e.g., compilers, editors, and file management utilities). Other system applications
(e.g. Operating system components, drivers, networking software,
telecommunication processors) process largely indeterminate data.
In both cases there is heavy interaction with computer hardware, heavy usage by
multiple users, scheduling and resource sharing.
2. Application Software:
Stand-alone programs that solve a specific business need. [Help users to perform
specific tasks].
Application software is used to control business functions in real time (e.g., point-of-
sale transaction processing, real-time manufacturing process control).
3. Engineering/Scientific Software:
It has been characterized by “number crunching” algorithms. (Complex numeric
computations).
Applications range from astronomy to volcanology, from automotive stress analysis
to space shuttle orbital dynamics, and from molecular biology to automated
manufacturing. Computer-aided design, system simulation, and other interactive
applications have begun to take a real-time and even system software characteristic.
4. Embedded Software:
It resides within a product or system and is used to implement and control features
and functions for the end user and for the system itself.
Embedded software can perform limited and esoteric functions (e.g., keypad control
for a microwave oven) or provide significant function and control capability (e.g.,
digital functions in an automobile such as fuel control dashboard displays, and
braking systems).
5. Product-line Software:
Designed to provide a specific capability for use by many different customers.
Product-line software can focus on a limited and esoteric marketplace (e.g.,
inventory control products) or address mass consumer markets (e.g., word
processing, spreadsheets, computer graphics, multimedia, entertainment, database
management, and personal and business financial applications).
6. Web Applications:
It is a client-server computer program that the client runs on the web browser.
Net sourcing: Architecting simple and sophisticated applications that benefit targeted end-
user markets worldwide (the Web as a computing engine).
Open Source: Distributing source code for computing applications so customers can make
local modifications easily and reliably ( “free” source code open to the computing
community).
The software must be adapted to meet the needs of new computing environment
or technology.
In the early days of the World Wide Web (1990-95), websites consisted of little more than a set of
linked hypertext files (HTML) that presented information using text and limited graphics. As
time passed, the augmentation of HTML by development tools (e.g., XML, Java) enabled Web
engineers to provide computing capability along with informational content.
Web-based systems and applications (WebApps) were born. Today, WebApps have evolved into
sophisticated computing tools that not only provide stand-alone function to the end user, but also
have been integrated with corporate databases and business applications.
WebApps are one of a number of distinct software categories. Web-based systems and
applications “involve a mixture between print publishing and software development, between
marketing and computing, between internal communications and external relations, and between
art and technology.”
Network intensiveness. A WebApp resides on a network and must serve the needs of a
diverse community of clients. The network may enable worldwide access and
communication (i.e., the Internet) or more limited access and communication (e.g., a
corporate Intranet).
Concurrency. A large number of users may access the WebApp at one time. In many
cases, the patterns of usage among end users will vary greatly.
Unpredictable load. The number of users of the WebApp may vary by orders of
magnitude from day to day. One hundred users may show up on Monday; 10,000 may use
the system on Thursday.
Data driven. The primary function of many WebApps is to use hypermedia to present text,
graphics, audio, and video content to the end user. In addition, WebApps are commonly
used to access information that exists on databases that are not an integral part of the Web-
based environment (e.g., e-commerce or financial applications).
Content sensitive. The quality and aesthetic nature of content remains an important
determinant of the quality of a WebApp.
Continuous evolution. Unlike conventional application software that evolves over a series
of planned, chronologically spaced releases, Web applications evolve continuously.
Security. Because WebApps are available via network access, it is difficult, if not
impossible, to limit the population of end users who may access the application. In order to
protect sensitive content and provide secure modes
Aesthetics. An undeniable part of the appeal of a WebApp is its look and feel. When an
application has been designed to market or sell products or ideas, aesthetics may have as
much to do with success as technical design.
These simple realities lead to one conclusion. Software in all of its forms and across all of its
application domains should be engineered.
Software Engineering:
Fritz Bauer defined as:
Software engineering is the establishment and use of sound engineering principles in order to
obtain software that is reliable and works efficiently on real machines in economical manner.
Software engineering is a fully layered technology, to develop software we need to go from one
layer to another. All the layers are connected and each layer demands the fulfillment of the
previous layer.[Fig:1.3]
The foundation for software engineering is the process layer. The software engineering
process is the glue that holds the technology layers together and enables rational and timely
development of computer software. Process defines a framework that must be established
for effective delivery of software engineering technology.
Software engineering methods provide the technical how-to’s for building software.
Methods encompass a broad array of tasks that include communication, requirements
analysis, design modeling, program construction, testing, and support.
Software engineering tools provide automated or semi-automated support for the process
and the methods. When tools are integrated so that information created by one tool can be
used by another, a system for the support of software development, called computer-aided
software engineering is established.
A process is a collection of activities, actions, and tasks that are performed when some
work product is to be created.
An action encompasses a set of tasks that produce a major work product (e.g., an
architectural design model).
A task focuses on a small, but well-defined objective (e.g., conducting a unit test) that
produces a tangible outcome.
A process framework establishes the foundation for a complete software engineering process by
identifying a small number of framework activities that are applicable to all software projects,
regardless of their size or complexity. In addition, the process framework encompasses a set of
umbrella activities that are applicable across the entire software process.
Planning. A software project is a complicated journey, and the planning activity creates a
“map” that helps guide the team as it makes the journey. The map—called a software
project plan—defines the software engineering work by describing the technical tasks to
be conducted, the risks that are likely, the resources that will be required, the work products
to be produced, and a work schedule.
Construction. This activity combines code generation and the testing that is required to
uncover errors in the code.
Deployment. The software is delivered to the customer who evaluates the delivered
product and provides feedback based on the evaluation.
These five generic framework activities can be used during the development of small, simple
programs, the creation of large Web applications, and for the engineering of large, complex
computer-based systems.
Software project tracking and control—allows the software team to assess progress
against the project plan and take any necessary action to maintain the schedule.
Risk management—assesses risks that may affect the outcome of the project or the quality
of the product.
Software quality assurance—defines and conducts the activities required to ensure software
quality.
Measurement—defines and collects process, project, and product measures that assist the
team in delivering software that meets stakeholders needs; can be used in conjunction with
all other framework and umbrella activities.
The Software Engineering process is not rigid---It should be agile and adaptable. Therefore, a
process adopted for one project might be significantly different than a process adopted for another
project.
Among the differences are:
Degree to which work tasks are defined within each framework activity
The dictionary defines the word principle as “an important underlying law or
assumption required in a system of thought.” David Hooker has Proposed seven principles that
focus on software Engineering practice.
The Fifth Principle: Be Open to the Future A system with a long lifetime has more value. Never
design yourself into a corner. Before beginning a software project, be sure the software has a
business purpose and that users perceive value in it.
The Sixth Principle: Plan Ahead for Reuse Reuse saves time and effort. Planning ahead for
reuse reduces the cost and increases the value of both the reusable components and the systems
into which they are incorporated.
The Seventh principle: Think! Placing clear, complete thought before action almost always
produces better results. When you think about something, you are more likely to do it right.
Software Myths- beliefs about software and the process used to build it - can be traced to the
earliest days of computing. Myths have a number of attributes that have made them insidious. For
instance, myths appear to be reasonable statements of fact, they have an intuitive feel, and they are
often promulgated by experienced practitioners who “know the score”.
Management Myths:
Managers with software responsibility, like managers in most disciplines, are often under pressure
to maintain budgets, keep schedules from slipping, and improve quality. Like a drowning person
who grasps at a straw, a software manager often grasps at belief in a software myth.
Myth: We already have a book that’s full of standards and procedures for building software.
Won’t that provide my people with everything they need to know?
Reality:
The book of standards may very well exist, but is it used?
Are software practitioners aware of its existence?
Does it reflect modern software engineering practice?
Is it complete?
Is it adaptable?
Is it streamlined to improve time to delivery while still maintaining a focus on Quality?
Myth: If we get behind schedule, we can add more programmers and catch up
Reality: Software development is not a mechanistic process like manufacturing. “Adding people
to a late software project makes it later.” At first, this statement may seem counterintuitive.
However, as new people are added, people who were working must spend time educating the
newcomers, thereby reducing the amount of time spent on productive development effort.
Myth: If we decide to outsource the software project to a third party, I can just relax and let that
firm build it.
Reality: If an organization does not understand how to manage and control software project
internally, it will invariably struggle when it out sources’ software project.
Customer Myths:
A customer who requests computer software may be a person at the next desk, a technical group
down the hall, the marketing /sales department, or an outside company that has requested software
under contract. In many cases, the customer believes myths about software because software
managers and practitioners do little to correct misinformation. Myths led to false expectations and
ultimately, dissatisfaction with the developers.
Myth: A general statement of objectives is sufficient to begin writing programs - we can fill in
details later.
Reality: Although a comprehensive and stable statement of requirements is not always possible, an
ambiguous statement of objectives is a recipe for disaster. Unambiguous requirements are
developed only through effective and continuous communication between customer and developer.
Myth: Project requirements continually change, but change can be easily accommodated because
software is flexible.
Reality: It’s true that software requirement change, but the impact of change varies with the time
at which it is introduced. When requirement changes are requested early, cost impact is relatively
small. However, as time passes, cost impact grows rapidly – resources have been committed, a
design framework has been established, and change can cause upheaval that requires additional
resources and major design modification.
Practitioner's myths.
Myths that are still believed by software practitioners have been fostered by 50 years of
programming culture. During the early days of software, programming was viewed as an art form.
Old ways and attitudes die hard.
Myth: Once we write the program and get it to work, our job is done.
Reality: Someone once said that "the sooner you begin 'writing code', the longer it'll take you to
get done.” Industry data indicate that between 60 and 80 percent of all effort consumed on
software will be consumed after it is delivered to the customer for the first time.
Myth: Until I get the program "running" I have no way of assessing its quality.
Reality: One of the most effective software quality assurance mechanisms can be applied from the
inception of a project—the formal technical review. Software reviews are a "quality filter" that
have been found to be more effective than testing for finding certain classes of software defects.
Myth: The only deliverable work product for a successful project is the working program.
Reality: A working program is only one part of a software configuration that includes many
elements. Documentation provides a foundation for successful engineering and, more important,
guidance for software support.
Myth: Software engineering will make us create voluminous and unnecessary documentation and
will invariably slow us down.
Reality: Software engineering is not about creating documents. It is about creating quality. Better
quality leads to reduced rework. And reduced rework results in faster delivery times. Many
software professionals recognize the fallacy of the myths just described. Regrettably, habitual
attitudes and methods foster poor management and technical practices, even when reality dictates a
better approach. Recognition of software realities is the first step toward formulation of practical
solutions for software engineering.
MODULE 1
A process was defined as a collection of work activities, actions, and tasks that are performed
when some work product is to be created. Each of these activities, actions, and tasks reside within
a framework or model that defines their relationship with the process and with one another.
The software process is represented schematically in Figure 2.1. Each framework activity is
populated by a set of software engineering actions. Each software engineering action is defined by
a task set that identifies the work tasks that are to be completed, the work products that will be
produced, the quality assurance points that will be required, and the milestones that will be used
to indicate progress.
As I discussed in Chapter 1, a generic process framework for software engineering defines five
framework activities—communication, planning, modeling, construction, and deployment. In
addition, a set of umbrella activities—project tracking and control, risk management, quality
The important aspect of software process is “Process Flow” which describes how the framework
activities and the actions and tasks that occur within each framework activity are organized with
respect to sequence and time and is illustrated in Figure 2.2.
A linear process [Fig:2.2(a)] flow executes each of the five framework activities in sequence,
beginning with communication and culminating with deployment.
An iterative process flow [Fig:2.2(b)] repeats one or more of the activities before proceeding to
the next.
An evolutionary process flow [Fig:2.2(c)] executes the activities in a “circular” manner. Each
circuit through the five activities leads to a more complete version of the software.
A parallel process flow [Fig:2.2(d)] executes one or more activities in parallel with other
activities (e.g. modeling for one aspect of the software might be executed in parallel with
construction of another aspect of the software).
These five framework activities provide a basic definition of Software Process. These Framework
activities provides basic information like What actions are appropriate for a framework activity,
given the nature of the problem to be solved, the characteristics of the people doing the work,
and the stakeholders who are sponsoring the project?
If the project was considerably more complex with many stakeholders, each with a different set of
requirements, the communication activity might have six distinct actions: inception, elicitation,
elaboration, negotiation, specification, and validation. Each of these software engineering actions
would have many work tasks and a number of distinct work products.
Each software engineering action can be represented by a number of different task sets
Each a collection of software engineering o work tasks,
o related work products,
o quality assurance points, and
o project milestones.
Choose a task set that best accommodates the needs of the project and the characteristics
of software team.
This implies that a software engineering action can be adapted to the specific needs of the
software project and the characteristics of the project team.
suggests one or more proven solutions to the problem. Stated in more general terms, a process
pattern provides you with a template —a consistent method for describing problem solutions
within the context of the software process.
Patterns can be defined at any level of abstraction. a pattern might be used to describe a problem
(and solution) associated with a complete process model (e.g., prototyping). In other situations,
patterns can be used to describe a problem (and solution) associated with a framework activity
(e.g., planning) or an action within a framework activity (e.g., project estimating).
1. Pattern Name. The pattern is given a meaningful name describing it within the context of the
software process (e.g., Technical Reviews).
2. Forces. The environment in which the pattern is encountered and the issues that make the
problem visible and may affect its solution.
I. Stage pattern—Defines a problem associated with a framework activity for the process.
Since a framework activity encompasses multiple actions and work tasks, a stage pattern
incorporates multiple task patterns that are relevant to the stage (framework activity).
E.g.: Establishing Communication.
This pattern would incorporate the task pattern RequirementsGathering and others.
III. Phase pattern—Define the sequence of framework activities that occurs within the
process, even when the overall flow of activities is iterative in nature. E.g: SpiralModel
or Prototyping.
4. Initial context. Describes the conditions under which the pattern applies. Prior to
the initiation of the pattern:
(1) What organizational or team-related activities have already occurred?
(2) What is the entry state for the process?
(3) What software engineering information or project information already exists?
7. Resulting Context. Describes the conditions that will result once the pattern has been
successfully implemented. Upon completion of the pattern:
(1) What organizational or team-related activities must have occurred?
(2) What is the exit state for the process?
(3) What software engineering information or project information has been developed?
8. Related Patterns. Provide a list of all process patterns that are directly related to this one.
This may be represented as a hierarchy or in some other diagrammatic form.
9. Known Uses and Examples. Indicate the specific instances in which the pattern is
applicable.
The existence of a software process is no guarantee that software will be delivered on time, that
it will meet the customer’s needs.
Assessment attempts to understand the current state of the software process with the intent on
improving it.
A number of different approaches to software process assessment and improvement have been
proposed over the past few decades.
SPICE (ISO/IEC15504)—a standard that defines a set of requirements for software process
ISO 9001:2000 for Software—a generic standard that applies to any organization that wants
to improve the overall quality of the products, systems, or services that it provides. Therefore,
the standard is directly applicable to software organizations and companies.
Each process model also prescribes a process flow (also called a work flow)—that is, the
manner in which the process elements are interrelated to one another.
All software process models can accommodate the generic framework activities, but each
applies a different emphasis to these activities and defines a process flow that invokes each
framework activity in a different manner.
The waterfall model, Fig [2.3] sometimes called the classic life cycle, suggests a
systematic, sequential approach to software development that begins with customer specification
of requirements and progresses through planning, modeling, construction, and deployment.
V- model
A variation in the representation of the waterfall model is called the V-model. represented
in the following Fig:2.4. The V-model depicts the relationship of quality assurance actions to the
actions associated with communication, modeling, and early construction activities.
As a software team moves down the left side of the V, basic problem requirements are
refined into progressively more detailed and technical representations of the problem and its
solution. Once code has been generated, the team moves up the right side of the V, essentially
performing a series of tests that validate each of the models created as the team moved down the
left side. The V-model provides a way of visualizing how verification and validation actions are
applied to earlier engineering work.
The waterfall model is the oldest paradigm for software engineering. The problems that are
sometimes encountered when the waterfall model is applied are:
1. Real projects rarely follow the sequential flow that the model proposes. Although a linear
model can accommodate iteration, it does so indirectly. As a result, changes can cause
confusion as the project team proceeds.
2. It is often difficult for the customer to state all requirements explicitly. The waterfall model
requires this and has difficulty accommodating the natural uncertainty that exists at the
beginning of many projects.
3. The customer must have patience. A working version of the program(s) will not be
available until late in the project time span.
This model is suitable whenever limited number of new development efforts and when
requirements are well defined and reasonably stable.
The incremental model combines elements of linear and parallel process flows. Referring
to Fig 2.5 The incremental model applies linear sequences in a staggered fashion as calendar time
progresses. Each linear sequence produces deliverable “increments” of the software in a manner
that is similar to the increments produced by an evolutionary process flow.
For example, word-processing software developed using the incremental paradigm might
deliver basic file management, editing, and document production functions in the first increment;
more sophisticated editing and document production capabilities in the second increment; spelling
and grammar checking in the third increment; and advanced page layout capability in the fourth
increment.
When an incremental model is used, the first increment is often a core product. That is,
basic requirements are addressed but many extra features remain undelivered. The core
product is used by the customer. As a result of use and/or evaluation, a plan is developed
The plan addresses the modification of the core product to better meet the needs of the
customer and the delivery of additional features and functionality. This process is repeated
following the delivery of each increment, until the complete product is produced.
Evolutionary models are iterative. They are characterized in a manner that enables you to
develop increasingly more complete versions of the software with each iteration. There are two
common evolutionary process models.
Often, a customer defines a set of general objectives for software, but does not identify
detailed requirements for functions and features. In other cases, the developer may be unsure of the
efficiency of an algorithm, the adaptability of an operating system, or the form that human-
machine interaction should take. In these, and many other situations, a prototyping paradigm may
offer the best approach.
The prototyping paradigm FIG:2.6 begins with communication. You meet with other
stakeholders to define the overall objectives for the software, identify whatever requirements are
known, and outline areas where further definition is mandatory. A prototyping iteration is planned
quickly, and modeling (in the form of a “quick design”) occurs. A quick design focuses on a
representation of those aspects of the software that will be visible to end users.
The quick design leads to the construction of a prototype. The prototype is deployed and
evaluated by stakeholders, who provide feedback that is used to further refine requirements.
Iteration occurs as the prototype is tuned to satisfy the needs of various stakeholders, while at the
same time enabling you to better understand what needs to be done.
The prototype serves as a mechanism for identifying software requirements. If a working prototype
is to be built, you can make use of existing program fragments or apply tools that enable working
programs to be generated quickly. The prototype can serve as “the first system.”
1. Stakeholders see what appears to be a working version of the software, unaware that the
prototype is held together randomly, unaware that in the rush to get it working you haven’t
considered overall software quality or long-term maintainability.
Although problems can occur, prototyping can be an effective paradigm for software
engineering.
The spiral development model is a risk-driven process model generator that is used to
guide multi-stakeholder concurrent engineering of software intensive systems. It has two main
distinguishing features. One is a cyclic approach for incrementally growing a system’s degree of
definition and implementation while decreasing its degree of risk. The other is a set of anchor
point milestones for ensuring stakeholder commitment to feasible and mutually satisfactory
system solutions.
Using the spiral model, software is developed in a series of evolutionary releases. During
early iterations, the release might be a model or prototype. During later iterations, increasingly
more complete versions of the engineered system are produced.
A spiral model is divided into a set of framework activities defined by the software
engineering team.[Fig:2.7] As this evolutionary process begins, the software team performs
activities that are implied by a circuit around the spiral in a clockwise direction, beginning at the
center.
Risk is considered as each revolution is made. Anchor point milestones are a combination
of work products and conditions that are attained along the path of the spiral are noted for each
evolutionary pass.
The first circuit around the spiral might result in the development of a product
specification; subsequent passes around the spiral might be used to develop a prototype and then
progressively more sophisticated versions of the software. Each pass through the planning region
results in adjustments to the project plan.
The spiral model can be adapted to apply throughout the life of the computer software.
Therefore, the first circuit around the spiral might represent a “concept development project”
that starts at the core of the spiral and continues for multiple iterations until concept development
is complete. The new product will evolve through a number of iterations around the spiral. Later, a
circuit around the spiral might be used to represent a “product enhancement project.”
The spiral model is a realistic approach to the development of large-scale systems and
software. Because software evolves as the process progresses, the developer and customer better
understand and react to risks at each evolutionary level. It maintains the systematic stepwise
approach suggested by the classic life cycle but incorporates it into an iterative framework that
more realistically reflects the real world.
The Fig 2.8 represents on Software Engineering activity within the modelling activity using a
concurrent model approach.
The activity modelling may be in any one of the states noted at any given time, similarly
other activities, actions or tasks (Communication, Construction) can be represented in analogous
manner.
All Software Engineering activities exist concurrently but reside in different states. E.g.
Early in a project the communication activity has completed its 1 st iteration and exists in the
awaiting changes state.
The modelling activity (which existed in inactive state) while initial communication was
completed now make a transition into the under-development state.
If however, the customer indicates that changes in requirement must be made, the
modelling activity moves from under-development state to awaiting changes state.
Concurrent modelling defines a series of events that will trigger transitions from state to
state for each of the software engineering activities, actions or tasks.
Concurrent modelling is applicable for all types of software development and provides an
accurate picture of the current state of the project.
Modeling and construction activities begin with the identification of candidate components.
These components can be designed as either conventional software modules or object-
oriented classes or packages of classes. Regardless of the technology that is used to create
the components.
The component-based development model leads to software reuse, and reusability provides
software engineers with a number of measurable benefits.
The formal methods model encompasses a set of activities that leads to formal
mathematical specification of computer software.
Formal methods enable you to specify, develop, and verify a computer-based system by
applying a rigorous, mathematical notation. A variation on this approach, called
clean room software engineering.
When formal methods are used during development, they provide a mechanism for
eliminating many of the problems that are difficult to overcome using other software
engineering paradigms. Ambiguity, incompleteness, and inconsistency can be discovered
and corrected more easily, but through the application of mathematical analysis.
When formal methods are used during design, they serve as a basis for program
verification which discover and correct errors that might otherwise go undetected. The
formal methods model offers the promise of defect-free software.
Draw Backs:
• The development of formal models is currently quite time consuming and expensive.
• Because few software developers have the necessary background to apply formal
methods, extensive training is required.
unsophisticated customers.
AOSD defines “aspects” that express customer concerns that cut across multiple system
functions, features, and information. When concerns cut across multiple system functions,
features, and information, they are often referred to as crosscutting concerns. Aspectual
requirements define those crosscutting concerns that have an impact across the software
architecture.
Grundy provides further discussion of aspects in the context of what he calls aspect- oriented
component engineering (AOCE):