Publication year: 2007
: 978-3-540-74964-6
The book presented provide competent coverage of software security, domain modeling of software engineering, and duration calculus for real time systems - originating from lectures of leading experts in these fields from Europe and Asia.It addressed in detail are: development of real-time systems, domain engineering using abstract modeling, the area of duration calculus, and formal methods like language description using the operational semantics approach.
: Computer Science, abstraction, applicative modeling, decidabillity, development tools, domain engineering, formal method, formal methods, language description, model checking, modeling, real-time, real-time systems, semantics, software engineering, statistical m