Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering (1997)
Jan. 5, 1997 to Jan. 8, 1997
David Harel , Weizmann Inst. of Sci., Rehovot, Israel
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.
parallel programming, systems engineering, applied research, reactive highly concurrent systems, formal specification, system design, calculus of communicating systems, communicating sequential processes
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.