Innovations in Systems and Software Engineering is a peer-reviewed scientific journal of computer science covering systems and software engineering, including formal methods. It is published by Springer Science+Business Media in association with NASA. The editors-in-chief are Michael Hinchey and Shawn Bohner.
Famous quotes containing the words innovations, systems and/or engineering:
“By such innovations are languages enriched, when the words are adopted by the multitude, and naturalized by custom.”
—Miguel De Cervantes (1547–1616)
“The only people who treasure systems are those whom the whole truth evades, who want to catch it by the tail. A system is just like truth’s tail, but the truth is like a lizard. It will leave the tail in your hand and escape; it knows that it will soon grow another tail.”
—Ivan Sergeevich Turgenev (1818–1883)
“Mining today is an affair of mathematics, of finance, of the latest in engineering skill. Cautious men behind polished desks in San Francisco figure out in advance the amount of metal to a cubic yard, the number of yards washed a day, the cost of each operation. They have no need of grubstakes.”
—Merle Colby, U.S. public relief program (1935-1943)