Formal Methods in Software and Systems Modeling
Subtitle: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
Contributors: Hans-Jörg Kreowski (Editor); Ugo Montanari (Editor); Fernando Orejas (Editor); Grzegorz Rozenberg (Editor); Gabriele Taentzer (Editor)
Edition: 1 edition
Publisher: Springer
Published: March 24, 2005
Language: eng
Format: Paperback
Number of pages: 413
ISBN-13: 9783540249368
Subjects: Computing and Information Technology; Programming - Software Development; Mathematics; Science/Mathematics; Programming Languages - General; Logic; Mathematics / Logic; UML; formal methods; formal reasoning; formal specification; graph grammars; graph transformations; petri-nets; scenario-based requirements; semantics; software development; software engineering; software modeling; statecharts
First sentence: Pétri nets [40, 42] are one of the most widely used models of concurrency.