|
Showing 1 - 2 of
2 matches in All Departments
This book constitutes the thoroughly refereed post-conference
proceedings of the 24th IFIP WG 1.3 International Workshop on
Algebraic Development Techniques, WADT 2018, held in Egham, UK in
July 2018. The 9 revised papers presented were carefully reviewed
and selected from 13 submissions. The contributed presentations
covered a range of topics: specification and modelling languages
such as CASL, Event-B, Maude, MMT, and SRML; foundations of system
specification such as graph transformation, categorical semantics,
fuzzy and temporal logics, institutions, module systems and
parameterization, refinement, static analysis, and substitutions;
and applications including categorical programming, communicating
finite state machines, neuralsymbolicintegration, relational
databases, and service-oriented computing.
|
Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers (Paperback, 1st ed. 2015)
Mihai Codescu, Razvan Diaconescu, Ionut Tutu
|
R1,481
Discovery Miles 14 810
|
Out of stock
|
This book constitutes the thoroughly refereed post-conference
proceedings of the 22nd International Workshop on Algebraic
Development Techniques, WADT 2014, held in September 2014 in
Sinaia, Romania. The 8 revised papers presented were carefully
reviewed and selected from 13 presentations and focus together with
one invited paper on foundations of algebraic specification,
approaches to formal specification including process calculi and
models of concurrent, distributed and mobile computing,
specification languages, methods, and environments, semantics of
conceptual modeling methods and techniques, model-driven
development, graph transformations, term rewriting and proof
systems, integration of formal specification techniques, formal
testing and quality assurance, validation, and verification.
|
You may like...
Ab Wheel
R209
R149
Discovery Miles 1 490
Chaos Walking
Tom Holland, Daisy Ridley, …
DVD
R97
Discovery Miles 970
|