Recent Trends in Algebraic Development Techniques

This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Algebraic Development Techniques, WADT 2020, held virtually in April 2020.

Author: Markus Roggenbach

Publisher: Springer Nature

ISBN: 9783030737856

Category: Computers

Page: 165

View: 894

Download →

This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Algebraic Development Techniques, WADT 2020, held virtually in April 2020. The 7 revised papers presented together with an invited paper were carefully reviewed and selected from 9 submissions. The contributed presentations covered a range of topics about the algebraic approach to system specification, which encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, the algebraic approach now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic, and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed, and mobile systems).
Posted in:

Recent Trends in Algebraic Development Techniques

TheprogramstartedwithafulldaytutorialontheCASL,followedby32 presentations,severalofthemontheCASLaswell,organizedinparallelsessions duringthefollowingtwodays.

Author: Maura Cerioli

Publisher: Springer Science & Business Media

ISBN: 9783540431596

Category: Computers

Page: 348

View: 352

Download →

TheprogramstartedwithafulldaytutorialontheCASL,followedby32 presentations,severalofthemontheCASLaswell,organizedinparallelsessions duringthefollowingtwodays. Theparallelsessionsweredevotedto:logicsand proofs,concurrentprocesses,institutionsandcategories,applicationsandcase studies,higher-orderandparameterizedspeci?cations,staticanalysis,software architectures,graphandtransformationrules. Themaintopicsoftheworkshopwere: –algebraicspeci?cation –otherapproachestoformalspeci?cation –speci?cationlanguagesandmethods –termrewritingandproofsystems –speci?cationdevelopmentsystems(concepts,tools,etc. ) Theprogramcommitteeinvitedsubmissionsoffullpapersforpossibleinclusion inthisvolume,onthebasisoftheabstractsandthepresentationsatWADT 2001. Allthesubmissionsweresubjecttocarefulrefereeing,andtheselectionof paperswasmadefollowingfurtherdiscussionbythefullprogramcommittee.
Posted in:

Recent Trends in Algebraic Development Techniques

This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany.

Author: Till Mossakowski

Publisher: Springer Science & Business Media

ISBN: 9783642284113

Category: Computers

Page: 303

View: 105

Download →

This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany. The 15 revised papers presented were carefully reviewed and selected from 32 presentations. The workshop deals with the following topics: foundations of algebraic specification; other 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.
Posted in:

Recent Trends in Algebraic Development Techniques

of33presentationsselectedonthebasisofsubmittedabstracts,aswellasinvited talks by Egon B¨ orger, Luca Cardelli and Stephen Gilmore. The workshoptook place under the auspices of IFIP WG 1.

Author: Andrea Corradini

Publisher: Springer Science & Business Media

ISBN: 9783642034282

Category: Computers

Page: 343

View: 911

Download →

of33presentationsselectedonthebasisofsubmittedabstracts,aswellasinvited talks by Egon B¨ orger, Luca Cardelli and Stephen Gilmore. The workshoptook place under the auspices of IFIP WG 1.
Posted in:

Recent Trends in Algebraic Development Techniques

The concept of abstract data types and the corresponding series of ADT - workshops have been most fruitful for the development of algebraic specification techniques within the last two decades . Since abstract data types by now are well ...

Author: Francesco Parisi-Presicce

Publisher: Springer Science & Business Media

ISBN: 3540642994

Category: Computers

Page: 433

View: 811

Download →

Spine title: WADT '97.
Posted in:

Recent Trends in Algebraic Development Techniques

Recent Trends in Algebraic Development Techniques: Selected Papers from WADT 2001, Genova. Springer LNCS, to appear (this volume). M. Roggenbach, L. Schröder and T. Mossakowski. Specifying real numbers in Casl.

Author: Maura Cerioli

Publisher: Springer

ISBN: 9783540456452

Category: Computers

Page: 348

View: 561

Download →

This book constitutes the thoroughly refereed post-workshop proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI in Genova, Italy, in April 2001.The book presents 16 papers selected from 32 workshop presentations. Among the topics addressed are formal specification, specification languages, term rewriting, and proof systems.
Posted in:

Recent Trends in Algebraic Development Techniques

In F. Parisi-Presicce, editor, Recent Trends in Algebraic Development Techniques, volume 1376 of LNCS, pages 219–233. Springer Verlag, 1998. 84 6. U. Hensel and D. Spooner. A view on implementing processes: Categories of circuits.

Author: Jose L. Fiadeiro

Publisher: Springer

ISBN: 9783540484837

Category: Computers

Page: 346

View: 979

Download →

The European conference situationin the general area of software science has longbeen considered unsatisfactory. A fairlylarge number of small and medi- sized conferences and workshops take place on an irregular basis, competing for high-quality contributions and for enough attendees to make them ?nancially viable. Discussions aiming at a consolidation have been underway since at least 1992, with concrete planning beginning in summer 1994 and culminating in a public meeting at TAPSOFT’95 in Aarhus. On the basis of a broad consensus, it was decided to establish a single annual federated spring conference in the slot that was then occupied by TAPSOFT and CAAP/ESOP/CC, comprising a number of existing and new conferences and covering a spectrum from theory to practice. ETAPS’98, the ?rst instance of the European Joint Conferences on Theory and Practice of Software, is taking place this year in Lisbon. It comprises ?ve conferences (FoSSaCS, FASE, ESOP, CC, TACAS), four workshops (ACoS, VISUAL, WADT, CMCS), seven invited lectures, and nine tutorials.
Posted in:

Recent Trends in Algebraic Development Techniques

In F. Parisi Presicce, editor, Recent trends in algebraic development techniques. Proc. 12th International Workshop, LNCS 1376, pages 333–348. Springer, 1998. 34. P. D. Mosses. CoFI: The Common Framework Initiative for Algebraic ...

Author: Martin Wirsing

Publisher: Springer Science & Business Media

ISBN: 9783540205371

Category: Computers

Page: 456

View: 533

Download →

This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Algebraic Development Techniques, WADT 2002, held at Frauenchiemsee, Germany in September 2002. The 20 revised full papers presented together with 6 invited papers were carefully improved and selected from 44 workshop presentations during two rounds of reviewing. The papers are devoted to topics like formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed, and mobile systems, and algebraic and co-algebraic methods.
Posted in:

Recent Trends in Algebraic Development Techniques

In J. L. Fiadeoiro, P. D. Mosses, and F. Orejas, editors, Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-30, 2004, Revised Selected Papers, LNCS.

Author: José Luiz Fiadeiro

Publisher: Springer

ISBN: 9783540319597

Category: Computers

Page: 280

View: 280

Download →

This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques.
Posted in:

Recent Trends in Algebraic Development Techniques

The 21st International Workshop on Algebraic Development Techniques (WADT 2012) was held in Salamanca, Spain, ... a platform for presenting recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends.

Author: Narciso Martí-Oliet

Publisher: Springer

ISBN: 9783642376351

Category: Computers

Page: 283

View: 128

Download →

This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain. The 16 revised papers presented were carefully reviewed and selected from 25 presentations. The workshop deals with the following topics: foundations of algebraic specification; other 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.
Posted in: