Title :
Will I be pretty, will I be rich? Some thoughts on theory vs. practice in systems engineering
Author_Institution :
Weizmann Inst. of Sci., Rehovot, Israel
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;
Conference_Titel :
Requirements Engineering, 1997., Proceedings of the Third IEEE International Symposium on
Conference_Location :
Annapolis, MD
Print_ISBN :
0-8186-7740-6
DOI :
10.1109/ISRE.1997.566868
