Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
[32] Functional and Performance Requirements Specification for the Earth Observing System Data and Information Sys-
 

Summary: [32] Functional and Performance Requirements Specification
for the Earth Observing System Data and Information Sys-
tem (EOSDIS) Core System. Revision A and CH-01.
[33] Flight Operations Segment (FOS) Requirements Specifica-
tion for the ECS Project, Volume 1: General Require-
ments, November 1994. By Hughes Applied Information
Systems.
[34] K. Lateef, H.H. Ammar, V. Mogulothu, T. Nikzadeh, "A
Methodology for Verification and Analysis of Parallel and
Distributed Systems Requirement Specifications", in Pro-
ceedings of the 2nd IFIP International Workshop on Soft-
ware Engineering for Parallel and Distributed Systems
(PDSE-97), IEEE Computer Society, May 1997.
[35] Jensen K., "Coloured Petri Nets: basic concepts, analysis
methods and practical use", Springer-Verlag, Berlin; New
York April 1992.
[36] Hatley Derek J, Pirbhai Imtiaz A, "Strategies for real-time
system specification", Dorset House Pub, New York,
NY87
9 References

  

Source: Ammar, Hany H. - Department of Computer Science and Electrical Engineering, West Virginia University

 

Collections: Computer Technologies and Information Sciences