SlideShare a Scribd company logo
LANGUAGE AND PROCESSORS FOR
REQUIREMENTS SPECIFICATION
S.Nandhini
II- Msc (CS&IT)
Nadar Saraswathi college of Arts &Science
Theni
LANGUAGES AND PROCESSORS FOR
REQUIREMENTS SPECIFICATION
 A number of special purpose languages and processors
have been developed to permit concise statement and
automated analysis of requirements specification for
software.
 our purpose is to provide a brief introduction to
requirements specification languages and processors.
PSL/PSA
 problem statement language(PSL) was developed by professor
Daniel teich row at the university on Michigan
 The problem statement analyzer is the PSL processor
 PSL and PSA system is sometimes referred to as components
of the ISDOS project
 PSL/PSA system is sometimes referred to as the ISDOS
system
 PSL system descriptions can be divided into eight major
aspects:
 system input/output flow
 System structure
 Data structure
 Data derivation
 System size and volume
 System dynamics
 System properties
 project management
 System input/output flow
 The system I/o flow aspect deals with the interaction
between a system and its environment.
 System structure
 system structure is concerned with the hierarchies among objects in
a system.
 Data structure
 data structure aspect includes all the relationships that exist among
data used and/or manipulated by a system as seen by the users of
the system.
 Data derivation
 The data derivation aspect of the system description specifies
which data object are involved in particular processes in the system.
 System size and volume
 The system size and volume aspect is concerned with the size of the system
and those factors the volume of processing required.
 System dynamic
 Aspect of a system description presents the manner in which the system”
behaves” over time.
 project management requires that project related information.
PSA (PROBLEM STATEMENT
ANALYZER)
 PSA is an automated analyzer for processing requirements
stated in PSL.
 PSA system can provide reports in four categories
 Data base modification reports , reference reports , summary
reports and analysis reports
Operating system
Problem
statement
analyzer
(PSA)
Commands in commends language
Analyzer
database
PSL
Reports and
messages
RSL/REVS
 The requirements statement language(RSL) was developed by the
TRW defense and space Systems group to permit concise .
 The Requirements engineering validation system(REVS)processes
and analyzes RSL statements.
 The fundamental characteristic of RSL is the flow oriented approach
used to describe real-time systems.
 The requirements engineering and validation system (REVS)
operates on RSL statements.
REVS CONSISTS OF THREE MAJOR
COMPONENTS
 A translator for RSL
 A centeralized data base the Abstract System Semantic
Model(ASSM).
 A set of automated tools for processing information in ASSM.
STRUCTURED ANALYSIS AND DESIGN
TECHNIQUE (SADT)
 SADT was developed by D.T Ross and colleagues at
softtech, inc.
 The SADT language is called the language of Structured
Analysis(SA).
 Data diagram specify data object in the nodes and activities
on the arcs.
 Activity diagram the inputs and output are data flows and the
mechanisms are processors control is data that is used, but not
modified
ACTIVITY DIAGRAM COMPONENTS
ACTIVITY Source
program
interpreter
Interpreter
data Source
Source
program
Computed
result
Input
data
Control data
processor
output
data
DATA DIAGRAM COMPONENTS
DATA OUTPUT
DATA
Operating
system
Generating
activity
Control activity
Storage device
Using
activity
Disk
Printer
spool
Interpreter
THANK YOU

More Related Content

What's hot

Designing Techniques in Software Engineering
Designing Techniques in Software EngineeringDesigning Techniques in Software Engineering
Designing Techniques in Software Engineering
kirupasuchi1996
 
Software Engineering
Software EngineeringSoftware Engineering
Software Engineering
janani thirupathi
 
Software requirements specification
Software requirements specificationSoftware requirements specification
Software requirements specification
lavanya marichamy
 
Fundamental design concepts
Fundamental design conceptsFundamental design concepts
Fundamental design concepts
srijavel
 
Planning the development process
Planning the development processPlanning the development process
Planning the development process
Siva Priya
 
Estimating Software Maintenance Costs
Estimating Software Maintenance CostsEstimating Software Maintenance Costs
Estimating Software Maintenance Costs
lalithambiga kamaraj
 
Design notation
Design notationDesign notation
Design notation
ramya marichamy
 
Staffing level estimation
Staffing level estimation Staffing level estimation
Staffing level estimation
kavitha muneeshwaran
 
Algorithmic Software Cost Modeling
Algorithmic Software Cost ModelingAlgorithmic Software Cost Modeling
Algorithmic Software Cost Modeling
Kasun Ranga Wijeweera
 
Modules and modularization criteria
Modules and modularization criteriaModules and modularization criteria
Modules and modularization criteria
Umaselvi_R
 
Formal Specification in Software Engineering SE9
Formal Specification in Software Engineering SE9Formal Specification in Software Engineering SE9
Formal Specification in Software Engineering SE9koolkampus
 
Defining the Problem - Goals and requirements
Defining the Problem - Goals and requirementsDefining the Problem - Goals and requirements
Defining the Problem - Goals and requirements
Stephennancy
 
Software Cost Estimation Techniques
Software Cost Estimation TechniquesSoftware Cost Estimation Techniques
Software Cost Estimation Techniques
MohamedIbrahim1408
 
Design Concept software engineering
Design Concept software engineeringDesign Concept software engineering
Design Concept software engineering
Darshit Metaliya
 
source code metrics and other maintenance tools and techniques
source code metrics and other maintenance tools and techniquessource code metrics and other maintenance tools and techniques
source code metrics and other maintenance tools and techniques
Siva Priya
 
SRS(software requirement specification)
SRS(software requirement specification)SRS(software requirement specification)
SRS(software requirement specification)
Akash Kumar Dhameja
 
Software Engineering
Software EngineeringSoftware Engineering
Software Engineering
UMA PARAMESWARI
 
Software Engineering
Software EngineeringSoftware Engineering
Software Engineering
UMA PARAMESWARI
 
Flow oriented modeling
Flow oriented modelingFlow oriented modeling
Flow oriented modelingramyaaswin
 

What's hot (20)

Designing Techniques in Software Engineering
Designing Techniques in Software EngineeringDesigning Techniques in Software Engineering
Designing Techniques in Software Engineering
 
Software Engineering
Software EngineeringSoftware Engineering
Software Engineering
 
Software requirements specification
Software requirements specificationSoftware requirements specification
Software requirements specification
 
Fundamental design concepts
Fundamental design conceptsFundamental design concepts
Fundamental design concepts
 
Planning the development process
Planning the development processPlanning the development process
Planning the development process
 
Estimating Software Maintenance Costs
Estimating Software Maintenance CostsEstimating Software Maintenance Costs
Estimating Software Maintenance Costs
 
Design notation
Design notationDesign notation
Design notation
 
Staffing level estimation
Staffing level estimation Staffing level estimation
Staffing level estimation
 
Algorithmic Software Cost Modeling
Algorithmic Software Cost ModelingAlgorithmic Software Cost Modeling
Algorithmic Software Cost Modeling
 
Modules and modularization criteria
Modules and modularization criteriaModules and modularization criteria
Modules and modularization criteria
 
Formal Specification in Software Engineering SE9
Formal Specification in Software Engineering SE9Formal Specification in Software Engineering SE9
Formal Specification in Software Engineering SE9
 
Defining the Problem - Goals and requirements
Defining the Problem - Goals and requirementsDefining the Problem - Goals and requirements
Defining the Problem - Goals and requirements
 
Software Cost Estimation Techniques
Software Cost Estimation TechniquesSoftware Cost Estimation Techniques
Software Cost Estimation Techniques
 
Design Concept software engineering
Design Concept software engineeringDesign Concept software engineering
Design Concept software engineering
 
source code metrics and other maintenance tools and techniques
source code metrics and other maintenance tools and techniquessource code metrics and other maintenance tools and techniques
source code metrics and other maintenance tools and techniques
 
SRS(software requirement specification)
SRS(software requirement specification)SRS(software requirement specification)
SRS(software requirement specification)
 
Design techniques
Design techniquesDesign techniques
Design techniques
 
Software Engineering
Software EngineeringSoftware Engineering
Software Engineering
 
Software Engineering
Software EngineeringSoftware Engineering
Software Engineering
 
Flow oriented modeling
Flow oriented modelingFlow oriented modeling
Flow oriented modeling
 

Similar to Language and Processors for Requirements Specification

Model-Based Systems Engineering Demystified
Model-Based Systems Engineering DemystifiedModel-Based Systems Engineering Demystified
Model-Based Systems Engineering Demystified
Elizabeth Steiner
 
Ch01 the systems development environment
Ch01 the systems development environmentCh01 the systems development environment
Ch01 the systems development environment
asmaanawaiseh
 
The TARDEC Advanced Systems Engineering Capability ASEC Framework(5)
The TARDEC Advanced Systems Engineering Capability ASEC Framework(5)The TARDEC Advanced Systems Engineering Capability ASEC Framework(5)
The TARDEC Advanced Systems Engineering Capability ASEC Framework(5)Pradeep Mendonza
 
Accountants can use data flow diagrams (DFDs) to depict the physical.docx
Accountants can use data flow diagrams (DFDs) to depict the physical.docxAccountants can use data flow diagrams (DFDs) to depict the physical.docx
Accountants can use data flow diagrams (DFDs) to depict the physical.docx
renatas0nie
 
Driving Deep Semantics in Middleware and Networks: What, why and how?
Driving Deep Semantics in Middleware and Networks: What, why and how?Driving Deep Semantics in Middleware and Networks: What, why and how?
Driving Deep Semantics in Middleware and Networks: What, why and how?
Amit Sheth
 
HR ABAP Technical Overview | http://sapdocs.info/
HR ABAP Technical Overview | http://sapdocs.info/HR ABAP Technical Overview | http://sapdocs.info/
HR ABAP Technical Overview | http://sapdocs.info/
sapdocs. info
 
Software requirement document
Software requirement documentSoftware requirement document
Software requirement document
Tayyab Hussain
 
End to-end root cause analysis minimize the time to incident resolution
End to-end root cause analysis minimize the time to incident resolutionEnd to-end root cause analysis minimize the time to incident resolution
End to-end root cause analysis minimize the time to incident resolution
Cleo Filho
 
ABAP FAQ S On Reports Scripts BDC Dialogs ABAP Reporting SAP TERMINOLOGY
ABAP FAQ S On Reports   Scripts   BDC   Dialogs ABAP Reporting SAP TERMINOLOGYABAP FAQ S On Reports   Scripts   BDC   Dialogs ABAP Reporting SAP TERMINOLOGY
ABAP FAQ S On Reports Scripts BDC Dialogs ABAP Reporting SAP TERMINOLOGY
Justin Knight
 
MBSE Training Crash Course
MBSE Training Crash CourseMBSE Training Crash Course
MBSE Training Crash Course
Bryan Len
 
sadfinal2007-121022230733-phpapp01.pdf
sadfinal2007-121022230733-phpapp01.pdfsadfinal2007-121022230733-phpapp01.pdf
sadfinal2007-121022230733-phpapp01.pdf
shoukatali154717
 
21UCAC 41 Database Management System.ppt
21UCAC 41 Database Management System.ppt21UCAC 41 Database Management System.ppt
21UCAC 41 Database Management System.ppt
ssuser7f90ae
 
sumit report inventory management python project.pdf
sumit report inventory management python project.pdfsumit report inventory management python project.pdf
sumit report inventory management python project.pdf
sumitgiri32
 
Sas profile csg_0413
Sas  profile csg_0413Sas  profile csg_0413
Sas profile csg_0413
C.S. Ganti
 
HRIS
HRISHRIS
HRIS
Ting Yin
 
Cross Larry resume 2
Cross Larry resume 2Cross Larry resume 2
Cross Larry resume 2Larry Cross
 
VTU - MIS Module 4 - SDLC
VTU - MIS Module 4 - SDLCVTU - MIS Module 4 - SDLC
VTU - MIS Module 4 - SDLC
Priya Diana Mercy
 

Similar to Language and Processors for Requirements Specification (20)

Model-Based Systems Engineering Demystified
Model-Based Systems Engineering DemystifiedModel-Based Systems Engineering Demystified
Model-Based Systems Engineering Demystified
 
Ch01 the systems development environment
Ch01 the systems development environmentCh01 the systems development environment
Ch01 the systems development environment
 
The TARDEC Advanced Systems Engineering Capability ASEC Framework(5)
The TARDEC Advanced Systems Engineering Capability ASEC Framework(5)The TARDEC Advanced Systems Engineering Capability ASEC Framework(5)
The TARDEC Advanced Systems Engineering Capability ASEC Framework(5)
 
Accountants can use data flow diagrams (DFDs) to depict the physical.docx
Accountants can use data flow diagrams (DFDs) to depict the physical.docxAccountants can use data flow diagrams (DFDs) to depict the physical.docx
Accountants can use data flow diagrams (DFDs) to depict the physical.docx
 
Driving Deep Semantics in Middleware and Networks: What, why and how?
Driving Deep Semantics in Middleware and Networks: What, why and how?Driving Deep Semantics in Middleware and Networks: What, why and how?
Driving Deep Semantics in Middleware and Networks: What, why and how?
 
HR ABAP Technical Overview | http://sapdocs.info/
HR ABAP Technical Overview | http://sapdocs.info/HR ABAP Technical Overview | http://sapdocs.info/
HR ABAP Technical Overview | http://sapdocs.info/
 
Software requirement document
Software requirement documentSoftware requirement document
Software requirement document
 
End to-end root cause analysis minimize the time to incident resolution
End to-end root cause analysis minimize the time to incident resolutionEnd to-end root cause analysis minimize the time to incident resolution
End to-end root cause analysis minimize the time to incident resolution
 
ABAP FAQ S On Reports Scripts BDC Dialogs ABAP Reporting SAP TERMINOLOGY
ABAP FAQ S On Reports   Scripts   BDC   Dialogs ABAP Reporting SAP TERMINOLOGYABAP FAQ S On Reports   Scripts   BDC   Dialogs ABAP Reporting SAP TERMINOLOGY
ABAP FAQ S On Reports Scripts BDC Dialogs ABAP Reporting SAP TERMINOLOGY
 
MBSE Training Crash Course
MBSE Training Crash CourseMBSE Training Crash Course
MBSE Training Crash Course
 
sadfinal2007-121022230733-phpapp01.pdf
sadfinal2007-121022230733-phpapp01.pdfsadfinal2007-121022230733-phpapp01.pdf
sadfinal2007-121022230733-phpapp01.pdf
 
50120140503001
5012014050300150120140503001
50120140503001
 
50120140503001
5012014050300150120140503001
50120140503001
 
50120140503001
5012014050300150120140503001
50120140503001
 
21UCAC 41 Database Management System.ppt
21UCAC 41 Database Management System.ppt21UCAC 41 Database Management System.ppt
21UCAC 41 Database Management System.ppt
 
sumit report inventory management python project.pdf
sumit report inventory management python project.pdfsumit report inventory management python project.pdf
sumit report inventory management python project.pdf
 
Sas profile csg_0413
Sas  profile csg_0413Sas  profile csg_0413
Sas profile csg_0413
 
HRIS
HRISHRIS
HRIS
 
Cross Larry resume 2
Cross Larry resume 2Cross Larry resume 2
Cross Larry resume 2
 
VTU - MIS Module 4 - SDLC
VTU - MIS Module 4 - SDLCVTU - MIS Module 4 - SDLC
VTU - MIS Module 4 - SDLC
 

More from kirupasuchi1996

Rotor machine,subsitution technique
Rotor machine,subsitution techniqueRotor machine,subsitution technique
Rotor machine,subsitution technique
kirupasuchi1996
 
rotor machine
rotor machinerotor machine
rotor machine
kirupasuchi1996
 
DVI,FRACTAL IMAGE,SUB BAND IMAGE,VIDEO CODING AND WAVELET BASED COMPRESSION
DVI,FRACTAL IMAGE,SUB BAND IMAGE,VIDEO CODING AND WAVELET BASED COMPRESSIONDVI,FRACTAL IMAGE,SUB BAND IMAGE,VIDEO CODING AND WAVELET BASED COMPRESSION
DVI,FRACTAL IMAGE,SUB BAND IMAGE,VIDEO CODING AND WAVELET BASED COMPRESSION
kirupasuchi1996
 
Cyper crime
Cyper crimeCyper crime
Cyper crime
kirupasuchi1996
 
DS ppt
DS pptDS ppt
Image compression standards
Image compression standardsImage compression standards
Image compression standards
kirupasuchi1996
 
Software Cost Factor
Software Cost FactorSoftware Cost Factor
Software Cost Factor
kirupasuchi1996
 
GUI components in Java
GUI components in JavaGUI components in Java
GUI components in Java
kirupasuchi1996
 
Dmppt 180312092027
Dmppt 180312092027Dmppt 180312092027
Dmppt 180312092027
kirupasuchi1996
 
Datatransferandmanipulation 180214044522
Datatransferandmanipulation 180214044522Datatransferandmanipulation 180214044522
Datatransferandmanipulation 180214044522
kirupasuchi1996
 
Filesharing 180214044607
Filesharing 180214044607Filesharing 180214044607
Filesharing 180214044607
kirupasuchi1996
 
B tree-180214044656
B tree-180214044656B tree-180214044656
B tree-180214044656
kirupasuchi1996
 
Addressingmodes
Addressingmodes Addressingmodes
Addressingmodes
kirupasuchi1996
 
Managing,working with files
Managing,working with filesManaging,working with files
Managing,working with files
kirupasuchi1996
 

More from kirupasuchi1996 (14)

Rotor machine,subsitution technique
Rotor machine,subsitution techniqueRotor machine,subsitution technique
Rotor machine,subsitution technique
 
rotor machine
rotor machinerotor machine
rotor machine
 
DVI,FRACTAL IMAGE,SUB BAND IMAGE,VIDEO CODING AND WAVELET BASED COMPRESSION
DVI,FRACTAL IMAGE,SUB BAND IMAGE,VIDEO CODING AND WAVELET BASED COMPRESSIONDVI,FRACTAL IMAGE,SUB BAND IMAGE,VIDEO CODING AND WAVELET BASED COMPRESSION
DVI,FRACTAL IMAGE,SUB BAND IMAGE,VIDEO CODING AND WAVELET BASED COMPRESSION
 
Cyper crime
Cyper crimeCyper crime
Cyper crime
 
DS ppt
DS pptDS ppt
DS ppt
 
Image compression standards
Image compression standardsImage compression standards
Image compression standards
 
Software Cost Factor
Software Cost FactorSoftware Cost Factor
Software Cost Factor
 
GUI components in Java
GUI components in JavaGUI components in Java
GUI components in Java
 
Dmppt 180312092027
Dmppt 180312092027Dmppt 180312092027
Dmppt 180312092027
 
Datatransferandmanipulation 180214044522
Datatransferandmanipulation 180214044522Datatransferandmanipulation 180214044522
Datatransferandmanipulation 180214044522
 
Filesharing 180214044607
Filesharing 180214044607Filesharing 180214044607
Filesharing 180214044607
 
B tree-180214044656
B tree-180214044656B tree-180214044656
B tree-180214044656
 
Addressingmodes
Addressingmodes Addressingmodes
Addressingmodes
 
Managing,working with files
Managing,working with filesManaging,working with files
Managing,working with files
 

Recently uploaded

一比一原版(UNUK毕业证书)诺丁汉大学毕业证如何办理
一比一原版(UNUK毕业证书)诺丁汉大学毕业证如何办理一比一原版(UNUK毕业证书)诺丁汉大学毕业证如何办理
一比一原版(UNUK毕业证书)诺丁汉大学毕业证如何办理
7sd8fier
 
一比一原版(RHUL毕业证书)伦敦大学皇家霍洛威学院毕业证如何办理
一比一原版(RHUL毕业证书)伦敦大学皇家霍洛威学院毕业证如何办理一比一原版(RHUL毕业证书)伦敦大学皇家霍洛威学院毕业证如何办理
一比一原版(RHUL毕业证书)伦敦大学皇家霍洛威学院毕业证如何办理
9a93xvy
 
White wonder, Work developed by Eva Tschopp
White wonder, Work developed by Eva TschoppWhite wonder, Work developed by Eva Tschopp
White wonder, Work developed by Eva Tschopp
Mansi Shah
 
Book Formatting: Quality Control Checks for Designers
Book Formatting: Quality Control Checks for DesignersBook Formatting: Quality Control Checks for Designers
Book Formatting: Quality Control Checks for Designers
Confidence Ago
 
Top Israeli Products and Brands - Plan it israel.pdf
Top Israeli Products and Brands - Plan it israel.pdfTop Israeli Products and Brands - Plan it israel.pdf
Top Israeli Products and Brands - Plan it israel.pdf
PlanitIsrael
 
一比一原版(NCL毕业证书)纽卡斯尔大学毕业证成绩单如何办理
一比一原版(NCL毕业证书)纽卡斯尔大学毕业证成绩单如何办理一比一原版(NCL毕业证书)纽卡斯尔大学毕业证成绩单如何办理
一比一原版(NCL毕业证书)纽卡斯尔大学毕业证成绩单如何办理
7sd8fier
 
一比一原版(Columbia毕业证)哥伦比亚大学毕业证如何办理
一比一原版(Columbia毕业证)哥伦比亚大学毕业证如何办理一比一原版(Columbia毕业证)哥伦比亚大学毕业证如何办理
一比一原版(Columbia毕业证)哥伦比亚大学毕业证如何办理
asuzyq
 
Design Thinking Design thinking Design thinking
Design Thinking Design thinking Design thinkingDesign Thinking Design thinking Design thinking
Design Thinking Design thinking Design thinking
cy0krjxt
 
一比一原版(BU毕业证书)伯恩茅斯大学毕业证成绩单如何办理
一比一原版(BU毕业证书)伯恩茅斯大学毕业证成绩单如何办理一比一原版(BU毕业证书)伯恩茅斯大学毕业证成绩单如何办理
一比一原版(BU毕业证书)伯恩茅斯大学毕业证成绩单如何办理
h7j5io0
 
RTUYUIJKLDSADAGHBDJNKSMAL,D
RTUYUIJKLDSADAGHBDJNKSMAL,DRTUYUIJKLDSADAGHBDJNKSMAL,D
RTUYUIJKLDSADAGHBDJNKSMAL,D
cy0krjxt
 
Between Filth and Fortune- Urban Cattle Foraging Realities by Devi S Nair, An...
Between Filth and Fortune- Urban Cattle Foraging Realities by Devi S Nair, An...Between Filth and Fortune- Urban Cattle Foraging Realities by Devi S Nair, An...
Between Filth and Fortune- Urban Cattle Foraging Realities by Devi S Nair, An...
Mansi Shah
 
PORTFOLIO FABIANA VILLANI ARCHITECTURE.pdf
PORTFOLIO FABIANA VILLANI ARCHITECTURE.pdfPORTFOLIO FABIANA VILLANI ARCHITECTURE.pdf
PORTFOLIO FABIANA VILLANI ARCHITECTURE.pdf
fabianavillanib
 
20 slides of research movie and artists .pdf
20 slides of research movie and artists .pdf20 slides of research movie and artists .pdf
20 slides of research movie and artists .pdf
ameli25062005
 
Design Thinking Design thinking Design thinking
Design Thinking Design thinking Design thinkingDesign Thinking Design thinking Design thinking
Design Thinking Design thinking Design thinking
cy0krjxt
 
一比一原版(毕业证)长崎大学毕业证成绩单如何办理
一比一原版(毕业证)长崎大学毕业证成绩单如何办理一比一原版(毕业证)长崎大学毕业证成绩单如何办理
一比一原版(毕业证)长崎大学毕业证成绩单如何办理
taqyed
 
Exploring the Future of Smart Garages.pdf
Exploring the Future of Smart Garages.pdfExploring the Future of Smart Garages.pdf
Exploring the Future of Smart Garages.pdf
fastfixgaragedoor
 
Portfolio.pdf
Portfolio.pdfPortfolio.pdf
Portfolio.pdf
garcese
 
vernacular architecture in response to climate.pdf
vernacular architecture in response to climate.pdfvernacular architecture in response to climate.pdf
vernacular architecture in response to climate.pdf
PrabhjeetSingh219035
 
Borys Sutkowski portfolio interior design
Borys Sutkowski portfolio interior designBorys Sutkowski portfolio interior design
Borys Sutkowski portfolio interior design
boryssutkowski
 
一比一原版(Bristol毕业证书)布里斯托大学毕业证成绩单如何办理
一比一原版(Bristol毕业证书)布里斯托大学毕业证成绩单如何办理一比一原版(Bristol毕业证书)布里斯托大学毕业证成绩单如何办理
一比一原版(Bristol毕业证书)布里斯托大学毕业证成绩单如何办理
smpc3nvg
 

Recently uploaded (20)

一比一原版(UNUK毕业证书)诺丁汉大学毕业证如何办理
一比一原版(UNUK毕业证书)诺丁汉大学毕业证如何办理一比一原版(UNUK毕业证书)诺丁汉大学毕业证如何办理
一比一原版(UNUK毕业证书)诺丁汉大学毕业证如何办理
 
一比一原版(RHUL毕业证书)伦敦大学皇家霍洛威学院毕业证如何办理
一比一原版(RHUL毕业证书)伦敦大学皇家霍洛威学院毕业证如何办理一比一原版(RHUL毕业证书)伦敦大学皇家霍洛威学院毕业证如何办理
一比一原版(RHUL毕业证书)伦敦大学皇家霍洛威学院毕业证如何办理
 
White wonder, Work developed by Eva Tschopp
White wonder, Work developed by Eva TschoppWhite wonder, Work developed by Eva Tschopp
White wonder, Work developed by Eva Tschopp
 
Book Formatting: Quality Control Checks for Designers
Book Formatting: Quality Control Checks for DesignersBook Formatting: Quality Control Checks for Designers
Book Formatting: Quality Control Checks for Designers
 
Top Israeli Products and Brands - Plan it israel.pdf
Top Israeli Products and Brands - Plan it israel.pdfTop Israeli Products and Brands - Plan it israel.pdf
Top Israeli Products and Brands - Plan it israel.pdf
 
一比一原版(NCL毕业证书)纽卡斯尔大学毕业证成绩单如何办理
一比一原版(NCL毕业证书)纽卡斯尔大学毕业证成绩单如何办理一比一原版(NCL毕业证书)纽卡斯尔大学毕业证成绩单如何办理
一比一原版(NCL毕业证书)纽卡斯尔大学毕业证成绩单如何办理
 
一比一原版(Columbia毕业证)哥伦比亚大学毕业证如何办理
一比一原版(Columbia毕业证)哥伦比亚大学毕业证如何办理一比一原版(Columbia毕业证)哥伦比亚大学毕业证如何办理
一比一原版(Columbia毕业证)哥伦比亚大学毕业证如何办理
 
Design Thinking Design thinking Design thinking
Design Thinking Design thinking Design thinkingDesign Thinking Design thinking Design thinking
Design Thinking Design thinking Design thinking
 
一比一原版(BU毕业证书)伯恩茅斯大学毕业证成绩单如何办理
一比一原版(BU毕业证书)伯恩茅斯大学毕业证成绩单如何办理一比一原版(BU毕业证书)伯恩茅斯大学毕业证成绩单如何办理
一比一原版(BU毕业证书)伯恩茅斯大学毕业证成绩单如何办理
 
RTUYUIJKLDSADAGHBDJNKSMAL,D
RTUYUIJKLDSADAGHBDJNKSMAL,DRTUYUIJKLDSADAGHBDJNKSMAL,D
RTUYUIJKLDSADAGHBDJNKSMAL,D
 
Between Filth and Fortune- Urban Cattle Foraging Realities by Devi S Nair, An...
Between Filth and Fortune- Urban Cattle Foraging Realities by Devi S Nair, An...Between Filth and Fortune- Urban Cattle Foraging Realities by Devi S Nair, An...
Between Filth and Fortune- Urban Cattle Foraging Realities by Devi S Nair, An...
 
PORTFOLIO FABIANA VILLANI ARCHITECTURE.pdf
PORTFOLIO FABIANA VILLANI ARCHITECTURE.pdfPORTFOLIO FABIANA VILLANI ARCHITECTURE.pdf
PORTFOLIO FABIANA VILLANI ARCHITECTURE.pdf
 
20 slides of research movie and artists .pdf
20 slides of research movie and artists .pdf20 slides of research movie and artists .pdf
20 slides of research movie and artists .pdf
 
Design Thinking Design thinking Design thinking
Design Thinking Design thinking Design thinkingDesign Thinking Design thinking Design thinking
Design Thinking Design thinking Design thinking
 
一比一原版(毕业证)长崎大学毕业证成绩单如何办理
一比一原版(毕业证)长崎大学毕业证成绩单如何办理一比一原版(毕业证)长崎大学毕业证成绩单如何办理
一比一原版(毕业证)长崎大学毕业证成绩单如何办理
 
Exploring the Future of Smart Garages.pdf
Exploring the Future of Smart Garages.pdfExploring the Future of Smart Garages.pdf
Exploring the Future of Smart Garages.pdf
 
Portfolio.pdf
Portfolio.pdfPortfolio.pdf
Portfolio.pdf
 
vernacular architecture in response to climate.pdf
vernacular architecture in response to climate.pdfvernacular architecture in response to climate.pdf
vernacular architecture in response to climate.pdf
 
Borys Sutkowski portfolio interior design
Borys Sutkowski portfolio interior designBorys Sutkowski portfolio interior design
Borys Sutkowski portfolio interior design
 
一比一原版(Bristol毕业证书)布里斯托大学毕业证成绩单如何办理
一比一原版(Bristol毕业证书)布里斯托大学毕业证成绩单如何办理一比一原版(Bristol毕业证书)布里斯托大学毕业证成绩单如何办理
一比一原版(Bristol毕业证书)布里斯托大学毕业证成绩单如何办理
 

Language and Processors for Requirements Specification

  • 1. LANGUAGE AND PROCESSORS FOR REQUIREMENTS SPECIFICATION S.Nandhini II- Msc (CS&IT) Nadar Saraswathi college of Arts &Science Theni
  • 2. LANGUAGES AND PROCESSORS FOR REQUIREMENTS SPECIFICATION  A number of special purpose languages and processors have been developed to permit concise statement and automated analysis of requirements specification for software.  our purpose is to provide a brief introduction to requirements specification languages and processors.
  • 3. PSL/PSA  problem statement language(PSL) was developed by professor Daniel teich row at the university on Michigan  The problem statement analyzer is the PSL processor  PSL and PSA system is sometimes referred to as components of the ISDOS project  PSL/PSA system is sometimes referred to as the ISDOS system
  • 4.  PSL system descriptions can be divided into eight major aspects:  system input/output flow  System structure  Data structure  Data derivation  System size and volume  System dynamics  System properties  project management  System input/output flow  The system I/o flow aspect deals with the interaction between a system and its environment.
  • 5.  System structure  system structure is concerned with the hierarchies among objects in a system.  Data structure  data structure aspect includes all the relationships that exist among data used and/or manipulated by a system as seen by the users of the system.  Data derivation  The data derivation aspect of the system description specifies which data object are involved in particular processes in the system.
  • 6.  System size and volume  The system size and volume aspect is concerned with the size of the system and those factors the volume of processing required.  System dynamic  Aspect of a system description presents the manner in which the system” behaves” over time.  project management requires that project related information.
  • 7. PSA (PROBLEM STATEMENT ANALYZER)  PSA is an automated analyzer for processing requirements stated in PSL.  PSA system can provide reports in four categories  Data base modification reports , reference reports , summary reports and analysis reports
  • 8. Operating system Problem statement analyzer (PSA) Commands in commends language Analyzer database PSL Reports and messages
  • 9. RSL/REVS  The requirements statement language(RSL) was developed by the TRW defense and space Systems group to permit concise .  The Requirements engineering validation system(REVS)processes and analyzes RSL statements.  The fundamental characteristic of RSL is the flow oriented approach used to describe real-time systems.  The requirements engineering and validation system (REVS) operates on RSL statements.
  • 10. REVS CONSISTS OF THREE MAJOR COMPONENTS  A translator for RSL  A centeralized data base the Abstract System Semantic Model(ASSM).  A set of automated tools for processing information in ASSM.
  • 11. STRUCTURED ANALYSIS AND DESIGN TECHNIQUE (SADT)  SADT was developed by D.T Ross and colleagues at softtech, inc.  The SADT language is called the language of Structured Analysis(SA).  Data diagram specify data object in the nodes and activities on the arcs.  Activity diagram the inputs and output are data flows and the mechanisms are processors control is data that is used, but not modified
  • 12. ACTIVITY DIAGRAM COMPONENTS ACTIVITY Source program interpreter Interpreter data Source Source program Computed result Input data Control data processor output data
  • 13. DATA DIAGRAM COMPONENTS DATA OUTPUT DATA Operating system Generating activity Control activity Storage device Using activity Disk Printer spool Interpreter