SlideShare a Scribd company logo
1 of 14
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

Chapter 1 2 - some size factors
Chapter 1   2 - some size factorsChapter 1   2 - some size factors
Chapter 1 2 - some size factorsNancyBeaulah_R
 
Fundamental design concepts
Fundamental design conceptsFundamental design concepts
Fundamental design conceptssrijavel
 
Estimating Software Maintenance Costs
Estimating Software Maintenance CostsEstimating Software Maintenance Costs
Estimating Software Maintenance Costslalithambiga kamaraj
 
Programming team structure
Programming team structureProgramming team structure
Programming team structureNancyBeaulah_R
 
Real time and distributed design
Real time and distributed designReal time and distributed design
Real time and distributed designpriyapavi96
 
Software cost estimation techniques presentation
Software cost estimation techniques presentationSoftware cost estimation techniques presentation
Software cost estimation techniques presentationKudzai Rerayi
 
Delphi cost estimation model
Delphi cost estimation modelDelphi cost estimation model
Delphi cost estimation modelShashwat Shriparv
 
Software requirements specification
Software requirements specificationSoftware requirements specification
Software requirements specificationlavanya marichamy
 
10 software maintenance
10 software maintenance10 software maintenance
10 software maintenanceakiara
 
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 techniquesSiva Priya
 
Formal Specification in Software Engineering SE9
Formal Specification in Software Engineering SE9Formal Specification in Software Engineering SE9
Formal Specification in Software Engineering SE9koolkampus
 
Modules and modularization criteria
Modules and modularization criteriaModules and modularization criteria
Modules and modularization criteriaUmaselvi_R
 
Data Designs (Software Engg.)
Data Designs (Software Engg.)Data Designs (Software Engg.)
Data Designs (Software Engg.)Arun Shukla
 

What's hot (20)

Chapter 1 2 - some size factors
Chapter 1   2 - some size factorsChapter 1   2 - some size factors
Chapter 1 2 - some size factors
 
Fundamental design concepts
Fundamental design conceptsFundamental design concepts
Fundamental design concepts
 
Estimating Software Maintenance Costs
Estimating Software Maintenance CostsEstimating Software Maintenance Costs
Estimating Software Maintenance Costs
 
Programming team structure
Programming team structureProgramming team structure
Programming team structure
 
Real time and distributed design
Real time and distributed designReal time and distributed design
Real time and distributed design
 
Algorithmic Software Cost Modeling
Algorithmic Software Cost ModelingAlgorithmic Software Cost Modeling
Algorithmic Software Cost Modeling
 
Software Engineering
Software EngineeringSoftware Engineering
Software Engineering
 
Software design
Software designSoftware design
Software design
 
Software cost estimation techniques presentation
Software cost estimation techniques presentationSoftware cost estimation techniques presentation
Software cost estimation techniques presentation
 
Delphi cost estimation model
Delphi cost estimation modelDelphi cost estimation model
Delphi cost estimation model
 
Software requirements specification
Software requirements specificationSoftware requirements specification
Software requirements specification
 
10 software maintenance
10 software maintenance10 software maintenance
10 software maintenance
 
unit testing and debugging
unit testing and debuggingunit testing and debugging
unit testing and debugging
 
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
 
Software maintenance
Software maintenance Software maintenance
Software maintenance
 
Formal Specification in Software Engineering SE9
Formal Specification in Software Engineering SE9Formal Specification in Software Engineering SE9
Formal Specification in Software Engineering SE9
 
Software Engineering
Software EngineeringSoftware Engineering
Software Engineering
 
Modules and modularization criteria
Modules and modularization criteriaModules and modularization criteria
Modules and modularization criteria
 
Cohesion and coupling
Cohesion and couplingCohesion and coupling
Cohesion and coupling
 
Data Designs (Software Engg.)
Data Designs (Software Engg.)Data Designs (Software Engg.)
Data Designs (Software Engg.)
 

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 DemystifiedElizabeth Steiner
 
Ch01 the systems development environment
Ch01 the systems development environmentCh01 the systems development environment
Ch01 the systems development environmentasmaanawaiseh
 
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.docxrenatas0nie
 
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 documentTayyab 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 resolutionCleo 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 TERMINOLOGYJustin Knight
 
MBSE Training Crash Course
MBSE Training Crash CourseMBSE Training Crash Course
MBSE Training Crash CourseBryan Len
 
sadfinal2007-121022230733-phpapp01.pdf
sadfinal2007-121022230733-phpapp01.pdfsadfinal2007-121022230733-phpapp01.pdf
sadfinal2007-121022230733-phpapp01.pdfshoukatali154717
 
21UCAC 41 Database Management System.ppt
21UCAC 41 Database Management System.ppt21UCAC 41 Database Management System.ppt
21UCAC 41 Database Management System.pptssuser7f90ae
 
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.pdfsumitgiri32
 
Sas profile csg_0413
Sas  profile csg_0413Sas  profile csg_0413
Sas profile csg_0413C.S. Ganti
 
Cross Larry resume 2
Cross Larry resume 2Cross Larry resume 2
Cross Larry resume 2Larry Cross
 

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 techniquekirupasuchi1996
 
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 COMPRESSIONkirupasuchi1996
 
Image compression standards
Image compression standardsImage compression standards
Image compression standardskirupasuchi1996
 
Datatransferandmanipulation 180214044522
Datatransferandmanipulation 180214044522Datatransferandmanipulation 180214044522
Datatransferandmanipulation 180214044522kirupasuchi1996
 
Filesharing 180214044607
Filesharing 180214044607Filesharing 180214044607
Filesharing 180214044607kirupasuchi1996
 
Managing,working with files
Managing,working with filesManaging,working with files
Managing,working with fileskirupasuchi1996
 

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

Call Girls Meghani Nagar 7397865700 Independent Call Girls
Call Girls Meghani Nagar 7397865700  Independent Call GirlsCall Girls Meghani Nagar 7397865700  Independent Call Girls
Call Girls Meghani Nagar 7397865700 Independent Call Girlsssuser7cb4ff
 
8377877756 Full Enjoy @24/7 Call Girls in Nirman Vihar Delhi NCR
8377877756 Full Enjoy @24/7 Call Girls in Nirman Vihar Delhi NCR8377877756 Full Enjoy @24/7 Call Girls in Nirman Vihar Delhi NCR
8377877756 Full Enjoy @24/7 Call Girls in Nirman Vihar Delhi NCRdollysharma2066
 
PORTFOLIO DE ARQUITECTURA CRISTOBAL HERAUD 2024
PORTFOLIO DE ARQUITECTURA CRISTOBAL HERAUD 2024PORTFOLIO DE ARQUITECTURA CRISTOBAL HERAUD 2024
PORTFOLIO DE ARQUITECTURA CRISTOBAL HERAUD 2024CristobalHeraud
 
Call Girls in Ashok Nagar Delhi ✡️9711147426✡️ Escorts Service
Call Girls in Ashok Nagar Delhi ✡️9711147426✡️ Escorts ServiceCall Girls in Ashok Nagar Delhi ✡️9711147426✡️ Escorts Service
Call Girls in Ashok Nagar Delhi ✡️9711147426✡️ Escorts Servicejennyeacort
 
2024新版美国旧金山州立大学毕业证成绩单pdf电子版制作修改#毕业文凭制作#回国入职#diploma#degree
2024新版美国旧金山州立大学毕业证成绩单pdf电子版制作修改#毕业文凭制作#回国入职#diploma#degree2024新版美国旧金山州立大学毕业证成绩单pdf电子版制作修改#毕业文凭制作#回国入职#diploma#degree
2024新版美国旧金山州立大学毕业证成绩单pdf电子版制作修改#毕业文凭制作#回国入职#diploma#degreeyuu sss
 
办理学位证(SFU证书)西蒙菲莎大学毕业证成绩单原版一比一
办理学位证(SFU证书)西蒙菲莎大学毕业证成绩单原版一比一办理学位证(SFU证书)西蒙菲莎大学毕业证成绩单原版一比一
办理学位证(SFU证书)西蒙菲莎大学毕业证成绩单原版一比一F dds
 
Cosumer Willingness to Pay for Sustainable Bricks
Cosumer Willingness to Pay for Sustainable BricksCosumer Willingness to Pay for Sustainable Bricks
Cosumer Willingness to Pay for Sustainable Bricksabhishekparmar618
 
办理(USYD毕业证书)澳洲悉尼大学毕业证成绩单原版一比一
办理(USYD毕业证书)澳洲悉尼大学毕业证成绩单原版一比一办理(USYD毕业证书)澳洲悉尼大学毕业证成绩单原版一比一
办理(USYD毕业证书)澳洲悉尼大学毕业证成绩单原版一比一diploma 1
 
Call Girls Satellite 7397865700 Ridhima Hire Me Full Night
Call Girls Satellite 7397865700 Ridhima Hire Me Full NightCall Girls Satellite 7397865700 Ridhima Hire Me Full Night
Call Girls Satellite 7397865700 Ridhima Hire Me Full Nightssuser7cb4ff
 
办理(宾州州立毕业证书)美国宾夕法尼亚州立大学毕业证成绩单原版一比一
办理(宾州州立毕业证书)美国宾夕法尼亚州立大学毕业证成绩单原版一比一办理(宾州州立毕业证书)美国宾夕法尼亚州立大学毕业证成绩单原版一比一
办理(宾州州立毕业证书)美国宾夕法尼亚州立大学毕业证成绩单原版一比一F La
 
shot list for my tv series two steps back
shot list for my tv series two steps backshot list for my tv series two steps back
shot list for my tv series two steps back17lcow074
 
Call Girls In Safdarjung Enclave 24/7✡️9711147426✡️ Escorts Service
Call Girls In Safdarjung Enclave 24/7✡️9711147426✡️ Escorts ServiceCall Girls In Safdarjung Enclave 24/7✡️9711147426✡️ Escorts Service
Call Girls In Safdarjung Enclave 24/7✡️9711147426✡️ Escorts Servicejennyeacort
 
办理学位证(TheAuckland证书)新西兰奥克兰大学毕业证成绩单原版一比一
办理学位证(TheAuckland证书)新西兰奥克兰大学毕业证成绩单原版一比一办理学位证(TheAuckland证书)新西兰奥克兰大学毕业证成绩单原版一比一
办理学位证(TheAuckland证书)新西兰奥克兰大学毕业证成绩单原版一比一Fi L
 
原版1:1定制堪培拉大学毕业证(UC毕业证)#文凭成绩单#真实留信学历认证永久存档
原版1:1定制堪培拉大学毕业证(UC毕业证)#文凭成绩单#真实留信学历认证永久存档原版1:1定制堪培拉大学毕业证(UC毕业证)#文凭成绩单#真实留信学历认证永久存档
原版1:1定制堪培拉大学毕业证(UC毕业证)#文凭成绩单#真实留信学历认证永久存档208367051
 
Mookuthi is an artisanal nose ornament brand based in Madras.
Mookuthi is an artisanal nose ornament brand based in Madras.Mookuthi is an artisanal nose ornament brand based in Madras.
Mookuthi is an artisanal nose ornament brand based in Madras.Mookuthi
 
Untitled presedddddddddddddddddntation (1).pptx
Untitled presedddddddddddddddddntation (1).pptxUntitled presedddddddddddddddddntation (1).pptx
Untitled presedddddddddddddddddntation (1).pptxmapanig881
 
VIP Call Girls Service Bhagyanagar Hyderabad Call +91-8250192130
VIP Call Girls Service Bhagyanagar Hyderabad Call +91-8250192130VIP Call Girls Service Bhagyanagar Hyderabad Call +91-8250192130
VIP Call Girls Service Bhagyanagar Hyderabad Call +91-8250192130Suhani Kapoor
 
Top 10 Modern Web Design Trends for 2025
Top 10 Modern Web Design Trends for 2025Top 10 Modern Web Design Trends for 2025
Top 10 Modern Web Design Trends for 2025Rndexperts
 
Passbook project document_april_21__.pdf
Passbook project document_april_21__.pdfPassbook project document_april_21__.pdf
Passbook project document_april_21__.pdfvaibhavkanaujia
 

Recently uploaded (20)

Call Girls Meghani Nagar 7397865700 Independent Call Girls
Call Girls Meghani Nagar 7397865700  Independent Call GirlsCall Girls Meghani Nagar 7397865700  Independent Call Girls
Call Girls Meghani Nagar 7397865700 Independent Call Girls
 
8377877756 Full Enjoy @24/7 Call Girls in Nirman Vihar Delhi NCR
8377877756 Full Enjoy @24/7 Call Girls in Nirman Vihar Delhi NCR8377877756 Full Enjoy @24/7 Call Girls in Nirman Vihar Delhi NCR
8377877756 Full Enjoy @24/7 Call Girls in Nirman Vihar Delhi NCR
 
PORTFOLIO DE ARQUITECTURA CRISTOBAL HERAUD 2024
PORTFOLIO DE ARQUITECTURA CRISTOBAL HERAUD 2024PORTFOLIO DE ARQUITECTURA CRISTOBAL HERAUD 2024
PORTFOLIO DE ARQUITECTURA CRISTOBAL HERAUD 2024
 
Call Girls in Ashok Nagar Delhi ✡️9711147426✡️ Escorts Service
Call Girls in Ashok Nagar Delhi ✡️9711147426✡️ Escorts ServiceCall Girls in Ashok Nagar Delhi ✡️9711147426✡️ Escorts Service
Call Girls in Ashok Nagar Delhi ✡️9711147426✡️ Escorts Service
 
2024新版美国旧金山州立大学毕业证成绩单pdf电子版制作修改#毕业文凭制作#回国入职#diploma#degree
2024新版美国旧金山州立大学毕业证成绩单pdf电子版制作修改#毕业文凭制作#回国入职#diploma#degree2024新版美国旧金山州立大学毕业证成绩单pdf电子版制作修改#毕业文凭制作#回国入职#diploma#degree
2024新版美国旧金山州立大学毕业证成绩单pdf电子版制作修改#毕业文凭制作#回国入职#diploma#degree
 
办理学位证(SFU证书)西蒙菲莎大学毕业证成绩单原版一比一
办理学位证(SFU证书)西蒙菲莎大学毕业证成绩单原版一比一办理学位证(SFU证书)西蒙菲莎大学毕业证成绩单原版一比一
办理学位证(SFU证书)西蒙菲莎大学毕业证成绩单原版一比一
 
Cosumer Willingness to Pay for Sustainable Bricks
Cosumer Willingness to Pay for Sustainable BricksCosumer Willingness to Pay for Sustainable Bricks
Cosumer Willingness to Pay for Sustainable Bricks
 
办理(USYD毕业证书)澳洲悉尼大学毕业证成绩单原版一比一
办理(USYD毕业证书)澳洲悉尼大学毕业证成绩单原版一比一办理(USYD毕业证书)澳洲悉尼大学毕业证成绩单原版一比一
办理(USYD毕业证书)澳洲悉尼大学毕业证成绩单原版一比一
 
Call Girls Satellite 7397865700 Ridhima Hire Me Full Night
Call Girls Satellite 7397865700 Ridhima Hire Me Full NightCall Girls Satellite 7397865700 Ridhima Hire Me Full Night
Call Girls Satellite 7397865700 Ridhima Hire Me Full Night
 
办理(宾州州立毕业证书)美国宾夕法尼亚州立大学毕业证成绩单原版一比一
办理(宾州州立毕业证书)美国宾夕法尼亚州立大学毕业证成绩单原版一比一办理(宾州州立毕业证书)美国宾夕法尼亚州立大学毕业证成绩单原版一比一
办理(宾州州立毕业证书)美国宾夕法尼亚州立大学毕业证成绩单原版一比一
 
shot list for my tv series two steps back
shot list for my tv series two steps backshot list for my tv series two steps back
shot list for my tv series two steps back
 
Call Girls In Safdarjung Enclave 24/7✡️9711147426✡️ Escorts Service
Call Girls In Safdarjung Enclave 24/7✡️9711147426✡️ Escorts ServiceCall Girls In Safdarjung Enclave 24/7✡️9711147426✡️ Escorts Service
Call Girls In Safdarjung Enclave 24/7✡️9711147426✡️ Escorts Service
 
办理学位证(TheAuckland证书)新西兰奥克兰大学毕业证成绩单原版一比一
办理学位证(TheAuckland证书)新西兰奥克兰大学毕业证成绩单原版一比一办理学位证(TheAuckland证书)新西兰奥克兰大学毕业证成绩单原版一比一
办理学位证(TheAuckland证书)新西兰奥克兰大学毕业证成绩单原版一比一
 
原版1:1定制堪培拉大学毕业证(UC毕业证)#文凭成绩单#真实留信学历认证永久存档
原版1:1定制堪培拉大学毕业证(UC毕业证)#文凭成绩单#真实留信学历认证永久存档原版1:1定制堪培拉大学毕业证(UC毕业证)#文凭成绩单#真实留信学历认证永久存档
原版1:1定制堪培拉大学毕业证(UC毕业证)#文凭成绩单#真实留信学历认证永久存档
 
Mookuthi is an artisanal nose ornament brand based in Madras.
Mookuthi is an artisanal nose ornament brand based in Madras.Mookuthi is an artisanal nose ornament brand based in Madras.
Mookuthi is an artisanal nose ornament brand based in Madras.
 
Call Girls in Pratap Nagar, 9953056974 Escort Service
Call Girls in Pratap Nagar,  9953056974 Escort ServiceCall Girls in Pratap Nagar,  9953056974 Escort Service
Call Girls in Pratap Nagar, 9953056974 Escort Service
 
Untitled presedddddddddddddddddntation (1).pptx
Untitled presedddddddddddddddddntation (1).pptxUntitled presedddddddddddddddddntation (1).pptx
Untitled presedddddddddddddddddntation (1).pptx
 
VIP Call Girls Service Bhagyanagar Hyderabad Call +91-8250192130
VIP Call Girls Service Bhagyanagar Hyderabad Call +91-8250192130VIP Call Girls Service Bhagyanagar Hyderabad Call +91-8250192130
VIP Call Girls Service Bhagyanagar Hyderabad Call +91-8250192130
 
Top 10 Modern Web Design Trends for 2025
Top 10 Modern Web Design Trends for 2025Top 10 Modern Web Design Trends for 2025
Top 10 Modern Web Design Trends for 2025
 
Passbook project document_april_21__.pdf
Passbook project document_april_21__.pdfPassbook project document_april_21__.pdf
Passbook project document_april_21__.pdf
 

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