Transformation-Based Reactive Systems Development
Subtitle: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, ... (Lecture Notes in Computer Science)
Contributors: Miquel Bertran (Editor); Teodor Rus (Editor)
Edition: 1 edition
Publisher: Springer
Published: June 13, 1997
Language: eng
Format: Paperback
Number of pages: 431
ISBN-13: 9783540630104
Subjects: Software engineering; Systems analysis & design; Programming - General; Distributed processing; Programming - Systems Analysis & Design; Computers; Computers - Communications / Networking; Parallel processing (Electronic computers); Computer Books: General; Computer Books: Languages; Parallel processing (Electroni; Electronic data processing; Networking - General; Programming - Software Development; Computers / Programming / General; Echtzeitsysteme; Formale Spezifikation; Formale Verifikation; Nebenläufige Systeme; Real-Time Data Processing; Computer Bks - Languages / Programming; Congresses
First sentence: In the histories of logic and of computer science which mention precursors and pioneers, we often find mention of Leibniz, the great 17th-century mathematician and philosopher, who was one of the first to try to build a mechanical calculator, and who tried to formulate a Mathesis universalis, a sort of scientific language which would permit any two disputants to settle their differences merely by taking pencil and paper and saying, "Let us calculate".