About the Book
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Pages: 46. Chapters: Formal specification languages, Eiffel, Denotational semantics, Vienna Development Method, Abstract Machine Notation, Petri net, DEVS, Maude system, Universal Systems Language, SPARK, Behavior of DEVS, Behavior of Coupled DEVS, Operational semantics, Semantics of programming languages, Java Modeling Language, LePUS3, Meta-IV, TNSDL, B-Method, Rosetta-lang, Object Constraint Language, Specification and Description Language, Message Sequence Chart, Timed event system, Event segment, Spec Sharp, Rodin tool, CoreASM, Alloy, Sing Sharp, BHDL, Prototype Verification System, Common Algebraic Specification Language, Duration calculus, PowerDEVS, Refinement calculus, Extended ML, Predicative programming, Perfect Developer, Larch family, Axiomatic semantics, Property Specification Language, Wright, Action semantics, Language Of Temporal Ordering Specification, Hennessy-Milner logic, RAISE, OBJ3, Assertion definition language. Excerpt: Eiffel is an ISO-standardized, object-oriented programming language designed by Bertrand Meyer (an object-orientation proponent and author of Object-Oriented Software Construction) and Eiffel Software. The design of the language is closely connected with the Eiffel programming method. Both are based on a set of principles, including design by contract, command-query separation, the uniform-access principle, the single-choice principle, the open-closed principle, and option-operand separation. Many concepts initially introduced by Eiffel later found their way into Java, C#, and other languages. New language design ideas, particularly through the Ecma/ISO standardization process, continue to be incorporated into the Eiffel language. The key characteristics of the Eiffel language include: Eiffel emphasizes declarative statements over procedural code and attempts to eliminate the need for bookkeepin...
