DocumentCode
1657450
Title
Will I be pretty, will I be rich? Some thoughts on theory vs. practice in systems engineering
Author
Harel, David
Author_Institution
Weizmann Inst. of Sci., Rehovot, Israel
fYear
1997
Firstpage
184
Lastpage
186
Abstract
The paper puts forward some thoughts on theoretical vs. applied research in the specification and design of reactive, highly concurrent systems. It discusses the calculus of communicating systems and communicating sequential processes
Keywords
calculus of communicating systems; communicating sequential processes; formal specification; parallel programming; systems analysis; systems engineering; applied research; calculus of communicating systems; communicating sequential processes; formal specification; reactive highly concurrent systems; system design; systems engineering; Complexity theory; Computer science; Concurrent computing; Database systems; Distributed computing; Heart; Merchandise; Robustness; Systems engineering and theory; Writing;
fLanguage
English
Publisher
ieee
Conference_Titel
Requirements Engineering, 1997., Proceedings of the Third IEEE International Symposium on
Conference_Location
Annapolis, MD
Print_ISBN
0-8186-7740-6
Type
conf
DOI
10.1109/ISRE.1997.566868
Filename
566868
Link To Document