The Community for Technology Leaders
Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering (1997)
Annapolis, MD
Jan. 5, 1997 to Jan. 8, 1997
ISSN: 1090-705X
ISBN: 0-8186-7740-6
pp: 184
David Harel , 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.
INDEX TERMS
parallel programming, systems engineering, applied research, reactive highly concurrent systems, formal specification, system design, calculus of communicating systems, communicating sequential processes
CITATION

D. Harel, "Will I Be Pretty, Will I Be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering," Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering(RE), Annapolis, MD, 1997, pp. 184.
doi:10.1109/ISRE.1997.566868
87 ms
(Ver 3.3 (11022016))