Author | : Francesco Parisi-Presicce |
Publisher | : Springer Science & Business Media |
Total Pages | : 452 |
Release | : 1998-03-11 |
Genre | : Computers |
ISBN | : 9783540642992 |
Spine title: WADT '97.
Author | : Francesco Parisi-Presicce |
Publisher | : Springer Science & Business Media |
Total Pages | : 452 |
Release | : 1998-03-11 |
Genre | : Computers |
ISBN | : 9783540642992 |
Spine title: WADT '97.
Author | : Martin Wirsing |
Publisher | : Springer Science & Business Media |
Total Pages | : 466 |
Release | : 2003-11-24 |
Genre | : Computers |
ISBN | : 3540205373 |
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.
Author | : José Luiz Fiadeiro |
Publisher | : Springer |
Total Pages | : 278 |
Release | : 2005-02-26 |
Genre | : Computers |
ISBN | : 354031959X |
This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques.
Author | : Jose L. Fiadeiro |
Publisher | : Springer |
Total Pages | : 346 |
Release | : 2003-07-31 |
Genre | : Computers |
ISBN | : 3540484833 |
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.
Author | : Didier Bert |
Publisher | : Springer |
Total Pages | : 491 |
Release | : 2004-02-02 |
Genre | : Computers |
ISBN | : 3540446168 |
This book constitutes the thoroughly refereed post-workshop proceedings of the 14th International Workshop on Algebraic Development Techniques, WADT'99, held in Toulouse, France in September 1999. The 23 revised full papers presented together with three invited papers were carefully reviewed and selected from 69 workshop presentations. The papers address the following topics: algebraic specification and other specification formalisms, test and validation, concurrent processes applications, logic and validation, combining formalisms, subsorts and partiality, structuring, rewriting, co-algebras and sketches, refinement, institutions and categories, and ASM specifications.
Author | : Mihai Codescu |
Publisher | : Springer |
Total Pages | : 178 |
Release | : 2015-12-29 |
Genre | : Computers |
ISBN | : 3319281143 |
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.
Author | : Maura Cerioli |
Publisher | : Springer Science & Business Media |
Total Pages | : 353 |
Release | : 2002-01-23 |
Genre | : Computers |
ISBN | : 3540431594 |
. . . . . . . . . . . . . . . . 328 D. Sannella AuthorIndex . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 345 InteractiveRule-BasedSpeci?cationwithan ApplicationtoVisualLanguageDe?nition 1 1 2 Roswitha Bardohl , Martin Große-Rhode , and Marta Simeoni 1 Institutfur ̈ SoftwaretechnikundTheoretischeInformatik,TUBerlin, {rosi,mgr}@cs. tu-berlin. de 2 DipartimentodiInformatica,Universit`aCa`FoscaridiVenezia, simeoni@dsi. unive. it Abstract. Inarule-basedapproachthecomputationstepsofasystem arespeci?edbyrulesthatcompletelyde?nehowthesystem’sstatemay change. Foropensystemsamoreliberalapproachisrequired,wherethe statechangesareonlypartlyspeci?ed,and–interactively–otherc- ponents may contribute further information on how the transformation isde?nedcompletely.
Author | : Alexandre Madeira |
Publisher | : Springer Nature |
Total Pages | : 186 |
Release | : |
Genre | : |
ISBN | : 3031433459 |
Author | : Markus Roggenbach |
Publisher | : Springer Nature |
Total Pages | : 165 |
Release | : 2021-04-10 |
Genre | : Computers |
ISBN | : 3030737853 |
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).