loading...
Making the requirements of process controlled systems explicit
Hawaii, USA January 04-January 07
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/HICSS.1995.37571228th Hawaii International Conference ...
 This Article 
 
PURCHASE ARTICLE: $0
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
T.K. Sateesh, "Making the requirements of process controlled systems explicit," Hawaii International Conference on System Sciences, pp. 372, 28th Hawaii International Conference on System Sciences, 1995.
 
 
BibTex
x
 
@article{ 10.1109/HICSS.1995.375712,
author = {T.K. Sateesh},
title = {Making the requirements of process controlled systems explicit},
journal ={Hawaii International Conference on System Sciences},
volume = {0},
year = {1995},
issn = {1060-3425},
pages = {372},
doi = {http://doi.ieeecomputersociety.org/10.1109/HICSS.1995.375712},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Hawaii International Conference on System Sciences
TI - Making the requirements of process controlled systems explicit
SN - 1060-3425
SP
EP
A1 - T.K. Sateesh,
PY - 1995
KW - formal specification; specification languages; process controlled systems; dedicated applications; requirements modelling; user centred activity; temporal requirements; TRL
VL - 0
JA - Hawaii International Conference on System Sciences
ER -
 
T.K. Sateesh, Dept. of Comput., Open Univ., Milton Keynes, UK
Process controlled systems are used for dedicated applications. Every application is the subject of special requirements enforced by the customer. Requirements modelling is an user centred activity. These systems are time critical. The requirements modelling language used must facilitate the description of temporal requirements that are meaningful for these systems, while being understandable by user community. Here we discuss a language (TRL) and its features.
Index Terms:
formal specification; specification languages; process controlled systems; dedicated applications; requirements modelling; user centred activity; temporal requirements; TRL
Citation:
T.K. Sateesh, "Making the requirements of process controlled systems explicit," hicss, pp.372, 28th Hawaii International Conference on System Sciences, 1995
Usage of this product signifies your acceptance of the Terms of Use.